Введение к работе
Актуальность темы. Прэдстазлекиз зкзкйй как методология моделирования и формализации концептуальных знаний, ориентированное на компьютерную обработку, является наряду с задачами приобретения и обработки знаний одной из основных и важных тем, относящихся к инженерии знаний. Б задачах искусственного интеллекта сформулированы два основных направления решения данной проблемы: когнитивное, основанное на принципах организации человеческой памяти и логическое, использующее строгую математическую формализацию и логическую полноту. Но с развитием каждого из указанных подходов выявились их недостатки и ограниченность, вследствие чего возникает проблема совмещения различных подходов. Ери этом необходимо либо введение многоуровневой архитектуры, имеющей на каждом уровне свой язык, либо создание иной модели знаний, позволяющей адекватным образом реализовывать основные конструкции известных моделей и совмещать их в рамках одной системы. В качестве такой модели представления знаний была выбрана функциональная модель, основанная на процессно-ориеятированных методах программирования, предложенных В. А. Тузовым. В основе этой модели лекит принцип активизации, сущность которого заключается в том, что исходные данные (знания) отображаются не на пассивные структуры - списки, деревья, и т. д., а на активные - функции, суперпозиции функций, и т.д. При этом актуальным становится выбор адекватных средств представления знаний, использующих функциональную модель и удовлетворяющих основным свойствам знания как специфического типа информации. В
- 4 -саяаи с тем, что функциональная модель может быть использована в качестве инструментального средства построения баз знаний, приобретает практическое значение исследование возможности реализацз: существующих моделей в рамках предложенного подхода и совмещение рамках одной системы преимуществ когнитивного представления и логического вывода.
Целью работы является :
развитие процеесно-ориентированных методов программирована предложенных В. L Туаовыы, 'применительно к представлению и обработ знаний ;
исследование возможности создания адекватного средства пре ставлення знаний, позболянцєго объединить преимущества известных моделей к методов ;
исследование возможности реализации функциональной модели представления семантической сети и фреймов ;
исследование вопросов, связанных с механизмом наследования и управления выводом в функциональной модели семантической сети и фреймах.
Научная новизна. Разработана альтернативная модель представления знаний, основанная ка процеесно-ориентированных методах программирования. Предложены способы реализации семантических сетей и фреймов и алгоритмы управления выводом на них.
Методика выполнения исследования. В качестве общей концепция построения функциональной модели знаний был выбран принцип активизации данных, лежащий в основе процеесно-ориентированных мето-дез программирования, используемых в диссертации при разработке и реализации моделей семантической сети и фреймоз. Показаны прей-
- Б -
мущества данного подхода при создании систем представления знаний, использующих совмещение когнитивного представления знаний и логического вывода.
фактическая ценность. Предложены модель и метод представления знаний, позволяющие совмещать преимущества известных подходов. Даны алгоритмы наследования и вывода в функциональных моделях семантической сети и фреймов.
Аппробация работы. Основные результаты работы были опубликованы в работах С 1,2 ], докладывались и обсуждались на научных семинарах и заседаниях кафедры технологии программирования и лаборатории функциональных методов программирования факультета прикладной математики - процессов управления Санкт-Петербургского государственного университета, на 1-ой Всесоюзной конференции по Форту: "Форт и его расширения з системах управления" ( г. Ленинград, 17-19 апреля 1991 г. ).
Структура и объем работы. Диссертация изложена на 113 страницах и состоит из введения, четырех глав, заключения, приложения и списка литературы, содер.жал^го 107 названий.