Гребінник Василь Анатолійович. Трикомпонентна модель подання знань для проектування інтелектуальних агентів та експертних систем: дисертація канд. техн. наук: 05.13.23 / Харківський національний ун-т радіоелектроніки. - Х., 2003.
Анотація до роботи:
Гребінник В. А. Трикомпонентна модель подання знань для проектування інтелектуальних агентів та експертних систем . – Рукопис.
Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.23 – системи та засоби штучного інтелекту - Харківський національний університет радіоелектроніки, Харків, 2002.
Дисертація присвячена питанням розробки комплексної трикомпонентної моделі подання знань для проектування інтелектуальних систем. В роботі розроблена і досліджена комплексна трикомпонентна модель подання знань, що складається з граматики, числення предикатів і таблиць рішень, запропонована методика побудови баз знань на основі цієї моделі для інтелектуальних систем, що функціонують у мовному інформаційному середовищі. Розроблено механізм взаємодії між різними компонентами запропонованої моделі подання знань, удосконалено механізм логічного виведення методом резолюцій у предикатній моделі за рахунок модифікації алгоритму уніфікації і керування процесом логічного виведення за допомогою таблиць рішень. Дано чисельну оцінку використовуваних у процесі логічного виведення алгоритмів обробки атрибутних синтаксичних дерев і формування фактів, керування логічним виведенням у численні предикатів, виконання таблиць рішень. Розроблена СУБЗ для проектування БЗ на основі запропонованої комплексної моделі і методика їх використання для проектування експертних систем, інтелектуальних агентів та інших інтелектуальних програм, що функціонують у мовному інформаційному середовищі. Розроблені і досліджені в дисертації моделі, алгоритми і програмні компоненти використані в навчальному процесі в Первомайському ПТУ-29, у виробничому процесі ТОВ “Промінвест” м. Харків.
У дисертації наведено теоретичне узагальнення і нове вирішення наукової задачі, яка полягає в розробці комплексної моделі подання знань для використання в інтелектуальних системах, що функціонують у мовному інформаційному середовищі. Вирішення даної задачі полягає у використанні відомих моделей представлення знань, таких як граматики, числення предикатів і таблиці рішень, для опису знань різної природи і розробці механізмів їхньої взаємодії в рамках комплексної моделі. Розроблені алгоритми дозволяють успішно вирішувати задачі маніпулювання знаннями в інтелектуальних системах, що функціонують у мовних інформаційних середовищах. У зв'язку з цим у дисертаційній роботі:
Проаналізовано існуючі моделі представлення знань, способи логічного виведення в них, проблеми, що виникають при логічному виведенні, структури й існуючі технології побудови експертних систем і інтелектуальних агентів.
Розроблено та досліджено комплексну трикомпонентну модель подання знань, складовими частинами якої є граматика, числення предикатів та система зв’язаних таблиць рішень, яка дозволила подавати лінгвістичні знання, знання про предметну область і правила прийняття рішень, метазнання для контекстного узгодження лінгвістичних і предметних знань, знання для керування стратегією логічного виведення відповідними їм моделями подання знань у рамках однієї комплексної бази знань для проектування інтелектуальних систем, що дає можливість більш зручної формалізації знань різної природи та дозволяє спростити і прискорити процес побудови баз знань.
Вдосконалено метод логічного виведення у предикатній моделі за рахунок модифікації алгоритму уніфікації, розроблено правила уніфікації функціоналів з відомим алгоритмом обчислення у вигляді функцій процедурних мов програмування, що дає можливість спростити формалізацію процедурних знань у численні предикатів.
Розроблено методи керування процесом логічного виведення методом лінійної резолюції на основі динамічного визначення пріоритетів між парами можливих диз’юнктів для утворення резольвенти за допомогою системи зв’язаних таблиць рішень, реалізація якого у вигляді алгоритмів дає можливість урахувати евристичні знання та значно підвищити ефективність процесу логічного виведення.
Досліджено процес взаємодії між різними компонентами у розробленій комплексній моделі та запропонована методика побудови баз знань на основі цієї моделі. Дано чисельну оцінку використовуваних у процесі логічного виведення алгоритмів виконання таблиць рішень, обробки атрибутних синтаксичних дерев і формування фактів, керування логічним виведенням у численні предикатів, що дозволило отримати чисельну оцінку ефективності розробленого методу керування.
Розроблено структуру СУБЗ для формування баз знань на основі запропонованої моделі подання знань, методику наповнення БЗ за допомогою даної СУБЗ, показана застосовність на практиці запропонованих моделей і методів маніпулювання знаннями.
На основі запропонованої моделі представлення знань розроблена БЗ для ЕС логічного контролю знань в універсальній системі для дистанційного навчання, яка впроваджена в навчальному процесі у Первомайському ПТУ-29; БЗ для ІА налагодження виробничої лінії цеху кабельного пластикату, впровадженого у фірмі «Промінвест» ТОВ. Отримані в роботі результати впроваджені в навчальний процес у курсах «Теорія алгоритмів і математичні основи подання знань» і «Проектування трансляторів» на кафедрі програмного забезпечення ЕОМ Харківського національного університету радіоелектроніки.
Публікації автора:
Гребинник В.А., Шевелин В.Н. Программно-технологический комплекс для построения экспертных систем различного назначения // Проблемы бионики. – Харьков, 1998. –Вып.48. – С. 150-158.
Дюбко Г.Ф., Шевелин В.Н., Гребинник В.А. Применение экспертных систем в компьютерном обучении // Радиоэлектроника и информатика. – Харьков, 1998. –№ 1(2). – С. 123-126.
Гребинник В.А. Использование процедурных знаний в логической модели представления знаний. Унификация функционалов // Проблемы бионики. – Харьков, 2000. –Вып. 52. – С. 73-76.
Дюбко Г.Ф., Гребінник В.А. Використання таблиць рішень для керування процесом логічного виведення методом резолюцій // Проблемы бионики. – Харьков, 2002. –Вып. 55. – С 9-11.
Гребинник В.А., Шевелин В.Н. Технология построения экспертных систем, ориентированных на обработку языковых запросов для широкого круга задач. // Актуальні проблеми сучасної науки у дослідженнях молодих вчених м. Харкова : Збірник доповідей Першої міської науково-практичної конференції – Харків: АТ “Бізнес Інформ”, 1997.
Дюбко Г.Ф., Гребинник В.А., Шевелин В.Н. Логический подход к автоматическому анализу программ // 4-я Международная конференция «Теория и техника передачи, приема и обработки информации» («Новые информационные технологии»); научные труды / ХТУРЭ, Харьков, 1998.
Дюбко Г.Ф., Гребинник В.А., Шевелин В.Н. Использование стандартного обеспечения для организации распределенных компьютерных обучающих систем и дистанционного обучения // 2-а науково-методична конференція “Використання комп’ютерних технологій у навчальному процесі”. Наукові праці / ХТУРЕ, Харків, 1998.
Дюбко Г.Ф., Гребинник В.А., Шевелин В.Н. Стратегии принятия решений в некоторых выводящих системах // 5-я Международная конференция «Теория и техника передачи, приема и обработки информации» («Телекоммуникации. Радиотехника. Электроника»); научные труды / ХТУРЭ, Харьков, 1999.
Дюбко Г.Ф., Шевелин В.Н., Гребинник В.А. Дистанционное обучение программированию с использованием технологий Интернет // 5-я Международная конференция «Теория и техника передачи, приема и обработки информации» («Телекоммуникации. Радиотехника. Электроника»); научные труды / ХТУРЭ, Харьков, 1999.
Гребинник В.А. Использование трехкомпонентной модели представления знаний для проектирования интеллектуальных агентов, функционирующих в языковой информационной среде // Искусственный интеллект – 2002; Материалы Международной научно-технической конференции. Т.2. Таганрог: Изд-во ТРТУ, 2002.
