Введение к работе
'"-
Актуальность работы. В настоящее время с методами и средствами искусственного интеллекта связывается формирование одной из ведущих технологий научно-технического прогресса, направленной на автоматизацію интеллектуальной деятельности человека. Данное направление из стадии теоретических исследований все более уверенно переходит на рельсы широкого практического внедрения. В связи с его актуальностью развитие методов и средств искусственного интеллекта в индустриально развитых странах получает статус национальных программ. Интенсивность развития данной области делает необходимым переход к промышленным методам создания знание-ориентированных систем (т.е. систем, основанных на использовании знаний), что обусловливает все большее значение работ, связанных с технологией построения и использования таких систем и, в частности, с созданием инструментальных средств (ИС) автоматизации их проектирования. Таким образом задача создания инструментальных средств поддержки жизненного цикла различных классов знание-ориентированных систем, в дальнейшем назьгоаемых системами искусственного интеллекта (ИИ), представляет собой актуальную проблему, имеющую важное научно-прикладное значение. Именно этой актуальной проблематике г посвящена тема диссертационной работы.
Цель исследования. Целями диссертационной работы являлись :
исследование и разработка комплекса ИС для аатоматизаии" создания знание-ориентированных программных систем в области проектирования моделей сложных управляющих систем;
создание указанного выше комплекса ИС в операционном окружении МЕК "Эльбрус";
развитие принципов построения рассмотренного комплекса ИС с целью создания мобильных средств проектирования систем Ж.
Основными задачами диссертации, в частности, являлись :
1) исследование и разработка лингвистических средств для создания
систем ИИ;
2) разработка принципов построения гибридных ИС для автоматизации
проектирования систем ИИ, т. е. ИС, включающих как традиционные
средства программирования, так и средства представлений и обработки
знаний;
-
разработка интегрированного комплекса (семейства) ИС с открытой архитектурой, обеспечивающего развитые лингвистические и технологические средства проектирования систем ИИ;
-
разработка методов построения, алгоритмов и структур данных комплекса ИС, а также его реализация в среде общесистемного программного обеспечения (ССПО) МВД "Эльбрус";
б) разработка и реализация на МВК "Эльбрус" с использованием созданного по теме диссертации комплекса ИС системы спецификаций требований, предназначенной для автоматизации начальных этапов проектирования сложных управляющих систем;
6) развитие предложенного подхода и создание мобильных ИС для автоматизации проектирования систем ИИ на персональных ЭВМ. Научная новизна.
-
Исследованы вопросы создания интегрированных технологических средств автоматизации проектирования систем ИИ.
-
На основе выполненных исследований разработаны принципы построения комплекса ИС для проектирования систем ИИ, характеризующегося расширяемостью функциональных возможностей, наличием развитых языковых и технологических средств построения систем ИИ, в частности, экспертных систем.
.3. Предложен метод разработки продукционных языков представления
и обработки знаний, оснос=«инй на расширении традиционных языков
программирования.
4. Разработан и реализован оригинальный динамический язык,ориентиро-
ванный на описание продукционных моделей представления знаний.
-
Разработана знание-ориентированная система спецификаций требований, реализованная на МВК "Эльбрус" и предназначенная для автоматизации проектирования сложных управляющих систем.
-
Разработан комплекс мобильных ИС, основанный на использовании предложенных лингвистических средств и предназначенный для автоматизации проектирования систем ИИ на персональных ЭВМ.
Практическая чинность. На основе выполненных по теме диссертации исследований создан ряд технологических программных систем на ЭВМ разных типов (МВК "Эльбрус", персональных PC-совместимых ЭВМ, ДВК-4), в том числе:
комплекс ИС в составе систем Проба, Демаз, Топаз для МВК "Эльбрус";
комплекс мобильных ИС в составе систем Lopas, Expo, Cprod, для персональных ЭВМ.
Данные ИС нашли практическое применение при решении производственных задач и в учебно-научном процессе.
Апробация работы. Результаты, полученные' в работе, изложены в ряде печатных публикаций, докладывались на научных конференциях и семинарах, в частности, на :
школе-семинаре "Создание программного обеспечения вычислительных комплексов и систем новой архитектуры", Новосибирск, 1988 г.
школе-семинаре "Проблемы прикладной логики", Иркутск, 1988 г.
Всесоюзной конференции "Проблемы разработки и внедрения экспертных систем", Москва, 1989 г.
Структура и объем работы. Диссертация состоит из введения, четырех глав, заключения, списка литературы из 100 наименований и приложения. Объем диссертации составляет 137 страниц основного тексте и 82 страницы приложения.