?
Значение теории К-представлений для исследований по автоматическому выявлению семантических ролей
The paper shows an incompleteness of theoretical foundations of the Computational Semantics branches called Semantic Role Labeling and Frame-Semantic Parsing. This situation is a consequence of a seeming lack of a semantic formalism allowing to describe semantic structures of complex sentences and discourses pertaining to arbitrary application domains. It is concluded that the theory of K-representations (knowledge representations) provides a formalism of the kind, determining a new class of formal languages — the class of SK-languages (standard knowledge languages). Some new expressive mechanisms of SK-languages are illustrated. The central ideas of a method of semantic parsing of natural language (NL) texts proposed by the theory of K-representations are set forth. The method employs the class of SK-languages for constructing semantic representations of texts. The final part of the paper considers the application of the method to designing NL-interfaces for software management. A file manager with a NL-interface NLC-1 (Natural Language Commander — Version One) has been developed, the system is implemented with the help of the functional programming language Haskell.