Формальна база математичного апарату теорії інтелекту

• Main Author: Abed Thamer Khudhair
• Format: Article
• Language: English
• Published: National Technical University "Kharkiv Polytechnic Institute" 2017-09-01
• Series: Сучасні інформаційні системи
• Subjects: теорія інтелекту; алгебра скінченних предикатів; компараторна ідентифікація
• Online Access: http://ais.khpi.edu.ua/article/view/115781

Мета Головне завдання теорії інтелекту - математично описати закони, що регулюють інтелектуальну діяльність людини. Для цього необхідно отримати фізичні та об'єктивні методи отримання формального опису суб'єктивних станів людини, достатньо повних для практичних цілей. Людські думки, відчуття, сприйняття та усвідомлення - це всі суб'єктивні стани. У цій статті поставлено завдання розробити багатовимірну предикатну модель компараторної ідентифікації - основного експериментального методу теорії інтелекту, і обґрунтувати аксіоматику цієї моделі. Методи. Метод компараторної ідентифікації, розроблений в даній статті, дає можливість отримати об'єктивне знання суб'єктивних станів людського інтелекту. За методом компараторної ідентифікації з його поведінкою суб'єкт реалізує деякий кінцевий предикат, властивості якого експериментально вивчені та математично описані. Метод компараторної ідентифікації заснований на методах алгебри скінченних предикатів, булевої алгебри і аксіоматичному методі. Результати. Застосування методу компараторної ідентифікації дає математичний опис досліджуваних суб'єктивних станів людини, а також вид функції, що лежить в основі перетворення фізичних предметів в породжувані нею суб'єктивні образи. Висновки. Результати роботи математично обґрунтовують можливості застосування методу компараторної ідентифікації при моделюванні інтелекту людини.