Анотація до роботи:

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

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.23 – системи й засоби штучного інтелекту – Харківський національний університет радіоелектроніки, Харків, 2008.

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

Уперше розроблений метод формального опису операцій реляційної алгебри на мові алгебри скінченних предикатів. Одержав подальший розвиток метод декомпозиції предикатів, який засновано на твердженнях про функціональні, багатозначні залежності та залежності з'єднання реляційних відношень, теоремах Хеза та Фейгина і твердженнях про предикатні залежності. Уперше розроблений і обґрунтований метод бінарної декомпозиції функціональних предикатів. Побудована модель логічної мережі для флективної обробки дієслівних словоформ.

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

Перераховані нижче результати відображають рішення всіх поставлених у дисертації задач у повному обсязі.

1. Проаналізовано методи й моделі для опису природної мови, побудовані на базі алгебри скінченних предикатів, а також ефективного технічного засобу для моделювання мови на базі цього апарата - логічних мереж. Проаналізовано сучасний стан проблеми в області розробки логічних мереж і математичних засобів для побудови їх моделей. Виявлено недолік розроблених у цій області засобів. Обґрунтовано необхідність розробки засобів кон’юнктивної декомпозиції, заснованих на теорії нормалізації реляційних відношень і орієнтованих на подання предикатів у бінарній формі (придатної для побудови моделей логічних мереж).

2. Уперше розроблено метод формального опису операцій реляційної алгебри на мові алгебри скінченних предикатів. Завдяки цьому методу будь-яке вираження реляційної алгебри можна перетворити у вираження алгебри предикатів та значно підвищити швидкість обчислень операцій реляційної алгебри за рахунок їх апаратної реалізації у вигляді логічних мереж паралельної дії.

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

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

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

6. Розроблені засоби декомпозиції відношень впроваджені в науково-дослідному й проектному інституті транспорту газу при проектуванні інтегрованої автоматизованої системи керування діяльністю дочірньої компанії «Укртрансгаз» (акт впровадження від 17.03.2008 р.). Теоретичні результати дисертації були використані в навчальному процесі на кафедрах Програмного забезпечення ЕОМ і Прикладної математики (акт впровадження від 23.05.2008 р.).

Публікації автора:

1. Логическая сеть для модели глагольной флексии русского языка / [Дударь З.В., Иванилов А.А., Климушев В.В., Обризан В.И.] // Восточно-европейский журнал передовых технологий. - 2006. – № 4/2. – С. 80-89.

2. Иванилов А.А. Реляционные алгебры и алгебры предикатов / Иванилов А.А., Шабанов-Кушнаренко Ю.П. // Восточно-европейский журнал передовых технологий. - 2007. – № 4/2. – С. 43-48.

3. Иванилов А.А. Метод бинарной декомпозиции функциональных предикатов / Иванилов А.А. // Системи обробки інформації: Зб. наук. праць. –Харків, 2006. – №6. – С. 86-97.

4. Дударь З.В. Применение элементов теории баз данных к разработке средств декомпозиции предикатов / Дударь З.В., Иванилов А.А. // Системи управління, навігації та зв’язку: Зб. наук. праць. – К.: Центральний НДІ навігації і управління, 2007. – № 3. – С. 52-58.

5. Вечирская И.Д. Суперпозиция линейных преобразований предикатов / Вечирская И.Д., Иванилов А.А. // Наука і освіта – 2005. Том 22. Математика: VIII міжнар. наук.-практ. конф. Дніпропетровськ, 7-21 лютого 2005 р.: тези доп. – Дніпропетровськ, 2005. – С. 3-4.

6. Шабанов-Кушнаренко Ю.П. Логическая сеть как технология моделирования естественного языка / Шабанов-Кушнаренко Ю.П., Хаханов В.И., Процай Н.Т. и др. // Информационные технологии – в науку и образование: наук.-практ. конф. Харків, 21-22 березня 2005 г.: тези доп. – Харків, 2005. – С. 30–33.

7. Вечирская И.Д. Логическая сеть как метод решения системы бинарных уравнений алгебры предикатов / Вечирская И.Д., Иванилов А.А. // Радіоелектроніка і молодь в XXI ст.: 9-й міжнар. молодіжний форум, 19-21 квітня 2005 р.: тези доп. – Харків, 2005. – С. 441.