Дослідження моделей категорного аналізу при побудові логічних мереж

Abstract

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