C&SA | Contents

Volume 59 >>> № 2 MARCH — APRIL 2023

-->

UDC 51.681.3

S. Kryvyi¹, N. Darchuk², T. Skrypnyk³

¹ Taras Shevchenko National University of Kyiv, Kyiv, Ukraine

sl.krivoi@gmail.com

² Taras Shevchenko National University of Kyiv, Kyiv, Ukraine

nataliadarchuk@gmail.com

³ Khmelnytskyi National University, Khmelnytskyi, Ukraine

tkskripnik1970@gmail.com

NATURAL LANGUAGES ANALYSIS: ANTIMEMS, CONTRADICTIONS, ONTOLOGIES

Abstract. Problems of the analysis of natural-language texts are considered. In particular, algorithms for the partial solution of problems of logical consistency/inconsistency of facts derived from the text, search for antimems, and construction of ontologies based on the results of linguistic (semantic-syntactic) analysis of the text are proposed. Logical analysis of the text is performed on the basis of propositional calculus and methods of proof in this calculus.

Keywords: antimems, ontologies, knowledge base.

full text

REFERENCES

Kleene S. Mathematical logic [Russian translation]. Moscow: Mir, 1973. 480 p.

Bergmann M. An introduction to many-valued and fuzzy logic. Cambridge University Press, 2008. 329 p.

Darchuk N.P. Computer annotation of Ukrainian text: results and prospects [in Ukrainian]. Kyiv: Osvita Ukrayiny, 2013. 543 p.

Kryvyi S.L., Darchuk N.P., Provotar O.I. Ontology-like systems for the analysis of natural language texts. Problemy prohramuvannya. 2018. N 2-3. P. 132–139.

The description logic handbook. Baader F., Calvanese D., McGuinness D.L., Nardi D., Patel-Schneider P.F. (Eds.)Cambridge: University Press, 2010. 601 p.

Shreider Yu.A. The logic of sign systems [Russian translation]. Moscow: Znanie, 1974. 64 p.

Kulik B.A. The logic of natural reasoning [in Russian]. St. Petersburg: Nevsky Dialect, 2001. 128 p.