Используемые для разработки СИИ, в том числе ЭС, инструментальные средства можно разделить на следующие типы:
Системы программирования на языках высокого уровня (ЯВУ), такие как C++, Паскаль, Фортран, Бэйсик, Forth, Refal, SmallTalk, Лисп и др., в наименьшей степени ориентированы на решение задач искусственного интеллекта. Они не содержат средств, предназначенных для представления и обработки знаний. Тем не менее, достаточно большая, но со временем снижающаяся, доля СИИ разрабатывается с помощью традиционных ЯВУ В приведенном перечне можно выделить языки Лисп и SmallTalk, как наиболее удобные и широко используемые для создания СИИ. В частности, широкое использование языка Лисп объясняется наличием развитых средств работы со списками и поддержкой механизма рекурсии, важных для характерной в СИИ обработки символьной информации. С помощью языка Лисп разработан ряд распространенных ЭС, таких, как MYCIN, DENDRAL, PROSPECTOR.
Системы программирования на языках представления знаний имеют специальные средства, предназначенные для создания СИИ. Они содержат собственные средства представления знаний (в соответствии с определенной моделью) и поддержки логического вывода. К числу языков представления знаний можно отнести FRL, KRL, OPS5, LogLisp, Пролог и др. Разработка СИИ с помощью систем программирования на ЯПЗ основана на технологии обычного программирования. От разработчика
302
требуются соответствующие программистские навыки и квалификация. Наибольшее распространение из числа названных языков получили язык логического программирования Прологи OPS5.
Средства автоматизированного создания ЭС представляют собой гибкие программные системы, допускающие использование нескольких моделей представления знаний, способов логического вывода и видов интерфейса, и содержащие вспомогательные средства создания ЭС.
В качестве примеров рассматриваемого класса средств можно назвать следующие системы: EXSYS (предназначена для создания прикладных ЭС классификационного типа), 1st-Class, Personal Consultant Plus, ПИЭС (программный инструментарий экспертных систем), GURU (интегрированная среда разработки ЭС), Xi Plus, OPS5+. Построение ЭС с помощью рассматриваемых средств заключается в формализации исходных знаний, записи их на входном языке представления знаний и описании правил логического вывода решений. Далее экспертная система наполняется знаниями.
К рассматриваемому классу систем можно отнести также специальный программный инструментарий. К примеру, сюда относятся библиотеки и надстройки над языком Лисп: КЕЕ (Knowledge Engeneering Environment - среда инженерии знаний), FRL (Frame Represantation Language - язык представления фреймов), KRL (Knowledge Represantation Language - язык представления знаний) и др. Они повышают возможности и гибкость в работе с заготовками экспертных систем.
Оболочки, или "пустые" экспертные системы представляют собой готовые экспертные системы без базы знаний. Примерами оболочек ЭС, получивших широкое применение, являются зарубежная оболочка EMYCIN (Empty MYCIN - пустой MYCIN) и отечественная оболочка Эксперт-микро, ориентированная на создание ЭС решения задач диагностики. Технология создания и использования оболочки ЭС заключается в том, что из готовой экспертной системы удаляются знания из базы знаний, затем база заполняется знаниями, ориентированными на другие приложения. Достоинством оболочек является простота применения - специалисту нужно только заполнить оболочку знаниями, не занимаясь созданием программ. Недостатком применения оболочек является возможное несоответствие конкретной оболочки разрабатываемой с ее помощью прикладной ЭС.
303
300 :: 301 :: 302 :: 303 :: Содержание