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.
meaning of the text, the predicate model, knowledge, formalization
"O formalyzatsyy znanyi na baze alhebrы konechnыkh predykatov" [About knowledge formalization based algebra of finite predicates],
Scientific Works of Kharkiv National Air Force University,