Вечірська І. Д. Лінійні логічні перетворення та їх застосування в штучному інтелекті

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