This article is cited in 1 paper

Semi-Automated Methods of Transforming Sentences from Natural Language into Quantifier-Free Formulas of Predicate Logic

E. O. Nenasheva^a, D. E. Pal'chunov<sup>ba

a</sup> Novosibirsk State University, 1 Pirogov St., Novosibirsk, 630090, Russian Federation
^b Institute of Mathematics SB RAS, 4 Academician Koptyug Ave., Novosibirsk, 630090, Russian Federation

Abstract: The article is devoted to the development of semi-automated methods for extracting and formal representation of knowledge from natural language texts. To solve this problem, we developed methods for converting natural language sentences into quantifier-free formulas of predicate logic. The knowledge extracted from texts is formalized. It is presented in the form of sets of atomic sentences forming fragments of atomic diagrams of algebraic systems. We developed methods for representing semantics of sentences of a natural language using binary predicates and integrating knowledge contained in several sentences of the text. Also we developed methods for eliminating missing knowledge by filling the empty places of predicates.

Keywords: knowledge extraction, representation of knowledge, knowledge integration, analysis of natural language texts, atomic diagram, ontology, theory "Meaning - text".

UDC: 004.89

DOI: 10.25205/1818-7900-2017-15-3-49-63