1. Science
  2. Publications
  3. Scientific Works of Kharkiv National Air Force University
  4. 4(37)'2013
  5. Development of concepts logical connections predicative models

Development of concepts logical connections predicative models

S.Yu. Shabanov-Kushnarenko, Kudhair Abed Tamer, I.A. Leschynskaya
Annotations languages:

Application of logical mathematics is considered for the non-obvious knowledge formalization. The eventual predicates algebra language and predicates operations algebra are used as description instrument. The decision of this task will allow to build the predicative representation of non-obvious knowledge.
Keywords: theory of intelligence, algebras of finite predicates and predicate operations, non-obvious knowledge