РАЗРАБОТКА МЕТОДА УПРАВЛЕНИЯ ПРОГРАММАМИ НА ЕСТЕСТВЕННОМ ЯЗЫКЕ
The paper describes a new method of constructing recommender systems with natural-language interface. This method is based on the theory of K-representations (knowledge representations) - a new theory of designing semantic-syntactic analyzers of natural language texts with the broad use of formal means for representing input, intermediary, and output data. The current version of the theory is set forth in a monograph (the author is V.A. Fomichov) published by Springer in 2010. The stated approach is implemented in the programming environment PHP + MySQL: an experimental recommender system has been developed.
The first starting point of this paper is the broadly accepted idea of employing, as a promising methodology, an artificial semantic language-intermediary for the realization of automatic cross-lingual intelligent information access to natural language (NL) texts on the Web. The second one is the emergence in computational semantics during 2013-2016 of great interest in the semantic formalism (more exactly, notation) called Abstract Meaning Representation (AMR). This formalism was introduced in 2013 in an ACL publication by a group consisting of ten researchers from UK and USA. This paper shows that much broader prospects for creating semantic languages-intermediaries in comparison with AMR are opened by the theory of K-representations (TKR), developed by V. A. Fomichov. The basic mathematical model of TKR describes the regularities of NL structured meanings. The mathematical essence is that this model introduces a system consisting of ten partial operations on conceptual structures. Initial version of this model was published in 1996 in Informatica (Slovenia). The second version of the model (stated in a monograph released by Springer in 2010) defines a class of formal languages called SK-languages (standard knowledge languages). It is demonstrated that SK-languages allow us to simulate all expressive mechanisms of AMR. The advantages in comparison with AMR are, in particular, the possibilities to construct semantic representations of compound infinitive constructions (expressing goals, commitments, etc), of compound descriptions of notions and sets, and of complex discourses and knowledge pieces.
The paper describes a new method of constructing semantic expansions of search requests about the achievements and failures of active systems (organizations, people) for improving the results of Web search. This method is based on the theory of K-representations (knowledge representations), proposed by V.A. Fomichov - a new theory of designing semantic-syntactic analysers of natural language texts with the broad use of formal means for representing input, intermediary, and output data. The method uses an original formal model of a goals base – a knowledge base containing the information about the goals of active systems. The stated approach is implemented with the help of the Web programming language Java: an experimental search system AOS (Aspect Oriented Search) has been developed and tested.