Abstract
The purpose of the work is development of various algorithms of mapping predicates and formulas of the first-order predicate calculus to the texts in a natural language. The results of the work can be used in the computer-aided systems for processing the texts in a natural language, and for constructing the theory of the text sense, that is a subject of research, first of all in linguistics, and also in mathematical logic.
Chapter PDF
Similar content being viewed by others
References
Melchuk, I.A.: Experience of Theory of Linguistic Models like Sence < — > Text, Moscow (1974) (in Russian)
Apresyan, U.D.: Experimental Semantic Invesigation of a Russian Verb. Nauka, Moscow (1967) (in Russian)
Markus, S.: Set-theoretical Models of Languages. Nauka, Moscow (1970) (in Russian)
Beloshapkova, V.A.: Modern Russian Language: Manual for Philology Students of Institutes of Higher Education. Azbukovnik, Moscow (1997) (in Russian)
Rosental, D.E.: Modern Russian Language: Manual for Philology Students of Institutes of Higher Education. MSU Edition, Moscow (1971) (in Russian)
Sokirko, A.V.: The semantic dictionaries in automatic text processing. Thesis. MG-PIIA, Moscow (2000) (in Russian)
Sacks, G.E.: Saturated Model Theory. W. A. Benjamin Inc.(1972)
Batura, T.V., Erkayeva, O.N., Murzin, F.A.: To the problem of analysis of texts in a natural language. In: New information technologies in science and Education, Institute of Informatics Systems, Novosibirsk (2003) (in Russian)
Batura, T.V., Murzin, F.A.: Logical methods of the sense representation for a text in a natural language. In: New information technologies in science and Education, Institute of Informatics Systems, Novosibirsk (2003) (in Russian)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Batura, T., Murzin, F. (2004). Logical Methods for Representing Meaning of Natural Language Texts. In: Bubak, M., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds) Computational Science - ICCS 2004. ICCS 2004. Lecture Notes in Computer Science, vol 3038. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24688-6_71
Download citation
DOI: https://doi.org/10.1007/978-3-540-24688-6_71
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22116-6
Online ISBN: 978-3-540-24688-6
eBook Packages: Springer Book Archive