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

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

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

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

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

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

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

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

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

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

5. Отримані методи побудови логічних мереж впроваджені у комп’ютерному комплексі для автоматизованого керування фірмою та узгодження роботи її відділів (ТОВ фірма „Регіон. Будзв’язок”, акт впровадження від 09.06.2007). Результати, які отримано в дисертаційній роботі, знайшли своє практичне застосування при розв’язанні задачі знаходження гіпотетично зв’язаних абонентів АСКР інтегрованої інформаційно-обчислювальної системи підприємства електрозв’язку ВАТ «Укртелеком» (акт впровадження від 09.03.2006 р.). Теоретичні результати дисертації були використані у навчальному процесі на кафедрах програмного забезпечення ЕОМ та прикладної математики ХНУРЕ під час підготовки курсів лекцій «Теорія інтелекту» та «Алгебраїчна логіка» для спеціальності «Програмне забезпечення автоматизованих систем»(акт впровадження від 12.06.2007 р.).

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

1. Синельникова О.И., Вечирская И.Д. Представление многоместных отношений в виде композиции бинарных отношений // Радиоэлектроника и информатика. – 2001. – № 3. – С.147 – 150.

2. Вечирская И.Д., Дударь З.В., Иванилов А.А., Лещинский В.А. Линейные логические операторы в виде схем и графов // Бионика интеллекта. – 2004. – № 1 (61). – С. 38 – 41.

3. Вечирская И.Д. Действия над линейными логическими преобразованиями // Новые технологии. – 2005. – № 1 - 2 (7 - 8). – С. 162 – 168.

4. Вечірська І.Д., Дудар З.В. Розв’язання задачі ідентифікації довільного лінійного логічного перетворення // Східно-Європейський журнал передових технологій. – 2006. – № 5/2 (23). – С.63 – 66.

5. Вечирская И.Д. О решении обратной задачи для линейных логических преобразований // Бионика интеллекта. – 2006. – № 2 (65). – С.36 – 40.

6. Вечирская И.Д., Шабанов-Кушнаренко Ю.П. О методе нахождения n-ого линейного логического преобразования // Искусственный интеллект. – 2007. – № 3. – С. 382 – 389.

7. Вечирская И.Д., Дударь З.В., Иванилов А.А., Лещинский В.А. О категорном анализе алгебры предикатов // Вестник НТУ «ХПИ»: Сб. науч. трудов. – Харьков: НТУ «ХПИ», 2002. – № 20. – С. 38 – 42.

8. Вечирская И.Д., Иванилов А.А. О вычислении линейных логических преобразований // Вестник НТУ «ХПИ»: Сб. науч. трудов. – Харьков: НТУ «ХПИ», 2005. – № 18. – С. 29 – 32.

9. Вечірська І.Д., Шабанов-Кушнаренко Ю.П. Про дослідження властивостей лінійних логічних перетворень // Системи обробки інформації: Зб. наук. праць. – Харків: ХУПС, 2007. – № 6. – С. 86 – 90.

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

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

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

13. Вечирская И.Д., Шабанов-Кушнаренко Ю.П. Об общем виде линейных логических преобразований // Дни науки 2005: междунар. науч.-практич. конф. Днепропетровск, 15–27 апреля 2005 г. – Днепропетровск; Кривой Рог; Запорожье; Желтые Воды; Белгород; Прага, 2005 – Т. 18. – С. 21 – 22.

14. Вечирская И.Д. Об обратной задаче и задаче идентификации для линейных логических преобразований // Научные исследования и их практическое применение. Современное состояние и пути развития: междунар. науч.-практич. конф. Одесса, 1 – 15 октября 2005 г. – Одесса, 2005 – Т. 9. – С. 74 – 75.

15. Вечирская И.Д., Валенда Н.А., Колтун Ю.Н., Токарев В.В., Четвериков Г.Г. О формальных аспектах реализации фрагмента русского языка логической сетью // Горизонты прикладной лингвистики и лингвистических технологий: междунар. науч. конф. Партенит, 23 – 29 сентября 2007 г. – М.; Симферополь; К.; Харьков; СПб., 2007. – С. 257 – 259.