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

Краткое описание

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

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

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

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