1. Science
  2. Publications
  3. Scientific Works of Kharkiv National Air Force University
  4. 3(44)'2015
  5. About knowledge formalization based algebra of finite predicates

About knowledge formalization based algebra of finite predicates

S.Yu. Shabanov-Kushnarenko, O.V. Kalynychenko, A.I. Kovalenko, A.A. Shmatko
Annotations languages:

The problem of justification of the choice of approach for the formalization of the meaning of texts in the naturalgovernmental language. Analyzed the communication basis of knowledge and meaning of natural language texts, ap-ing receivable, presentation and formalization of knowledge. The basics of using the device al-algebra of finite predicate and relational networks to formalize the meaning of natural language texts.
Keywords: meaning of the text, the predicate model, knowledge, formalization