Кафедри
Постійне посилання на розділhttps://repository.kpi.kharkov.ua/handle/KhPI-Press/35393
Переглянути
1 результатів
Результати пошуку
Документ Relations and operations on predicates in the theory of intelligence(NTU "KhPI", 2017) Khudhair, Abed ThamerThe purpose of the paper is to develop a formal technique of the theory of intelligence, namely, to develop the model and axiomatics in the language of algebra of finite predicates (AFP); to introduce a system of operations on relations; to construct of the algebra of relations. The methods of algebra of finite predicates, Boolean algebra and axiomatic method are used in the paper. In the paper the mathematical apparatus of the theory of intellect was further developed. The models and axiomatics of relations in the language of algebra of finite predicates (AFP) are developed, operations on relations such as the injection, equivalence, surjection, quasi-order, partial order, circulation and product of the relation are introduced. The algebra of relations is constructed. The system of operations on p redicates in the algebra of finite predicates, namely, the Boolean negation, disjunction, conjunction, implication, equivalence is axiomatically assigned. The basic predicates (predicates of object recognition) are introduced. The predicates of different orders correspond to concepts of a different level of abstraction. The solution of the AFP equations can be interpreted as a creative activity of a person. Due to the presence of such a wide and meaningful interpretation, even the purely mathematical development of the AFP allows at the same time to impel the development of the theory of intelligence. The minimization, decomposition, solution of equations, identical transformation of formulas are important tasks of the theory of intelligence.