The intelligence theory mathematical apparatus formal base

Abstract

Purpose. The main task of the theory of intelligence is to describe mathematically the laws governing the intellectual activity of a human. This requires to obtain using physical and objective methods to obtain formal description of the subjective states of a human sufficiently complete for practical purposes. Human thoughts, sensations, perceptions and awareness are all subjective states. This paper is tasked to develop a multidimensional predicate model of comparator identification - the basic experimental method of the intelligence theory and to substantiate the axiomatics of this model. Methods. The comparator identification method developed in this paper provides the possibility of obtaining objective knowledge of subjective states of human intelligence. According to the comparator identification method with his behavior the subject realizes some finite predicate, the properties of which are experimentally studied and mathematically described. The comparator identification method is based on the algebra of finite predicates, Boolean algebra and the axiomatic method. Results. As a result of the comparator identification method application, we obtain a mathematical description of the studied subjective states of a subject, as well as the form of the function underlying the transformation of physical objects into subjective images generated by them. Conclusions. The results of this paper provide a mathematical substantiation of the possibility of using the comparator identification method in human intelligence modeling.Мета Головне завдання теорії інтелекту - математично описати закони, що регулюють інтелектуальну діяльність людини. Для цього необхідно отримати фізичні та об'єктивні методи отримання формального опису суб'єктивних станів людини, достатньо повних для практичних цілей. Людські думки, відчуття, сприйняття та усвідомлення - це всі суб'єктивні стани. У цій статті поставлено завдання розробити багатовимірну предикатну модель компараторної ідентифікації - основного експериментального методу теорії інтелекту, і обґрунтувати аксіоматику цієї моделі. Методи. Метод компараторної ідентифікації, розроблений в даній статті, дає можливість отримати об'єктивне знання суб'єктивних станів людського інтелекту. За методом компараторної ідентифікації з його поведінкою суб'єкт реалізує деякий кінцевий предикат, властивості якого експериментально вивчені та математично описані. Метод компараторної ідентифікації заснований на методах алгебри скінченних предикатів, булевої алгебри і аксіоматичному методі. Результати. Застосування методу компараторної ідентифікації дає математичний опис досліджуваних суб'єктивних станів людини, а також вид функції, що лежить в основі перетворення фізичних предметів в породжувані нею суб'єктивні образи. Висновки. Результати роботи математично обґрунтовують можливості застосування методу компараторної ідентифікації при моделюванні інтелекту людини.