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.
theory of intelligence, algebras of finite predicates and predicate operations, non-obvious knowledge
Kudkhayr Abed Tamer,
"Razrabotka predykatnыkh modelei lohycheskykh sviazei poniatyi" [Development of concepts logical connections predicative models],
Scientific Works of Kharkiv National Air Force University,