Іванілов А. О. Реляційні засоби побудови моделей логічних мереж та їх застосування в штучному інтелекті

Дисертація присвячена розробці формальних засобів побудови моделей логічних мереж. Ці засоби засновані на теоремах з розділу нормалізації теорії реляційних баз даних і дозволяють перетворювати довільні рівняння алгебри предикатів у моделі логічних мереж. Апаратна реалізація логічних мереж на програмувальних логічних інтегральних схемах утворює нові високопродуктивні процесори, що обробляють моделі природної мови. Упе-рше розроблений метод формального опису операцій реляційної алгебри на мові алгебри скінченних предика-тів. Одержав подальший розвиток метод декомпозиції предикатів, який засновано на твердженнях про функціо-нальні, багатозначні залежності та залежності з'єднання реляційних відношень, теоремах Хеза та Фейгина і твер-дженнях про предикатні залежності. Уперше розробле-ний і обґрунтований метод бінарної декомпозиції функ-ціональних предикатів. Побудована модель логічної ме-режі для флективної обробки дієслівних словоформ. Ви-конано оцінку розмірів отриманої моделі й представлені результати апаратного моделювання логічної мережі на інтегральних схемах програмувальної логіки. Побудова-на в роботі модель логічної мережі впроваджена в систе-мі граматичної обробки дієслівних закінчень російської мови. Ця система була описана мовою VHDL і реалізова-на у вигляді IP-core.о та апаратного забезпечення логічних мереж пара-лельної дії.