11. Классификация языков и инструментальных средств для разработки сии.

Инструментальные средства можно разделить на следующие типы:

1. Системы программирования на языках высокого уровня;

2. Системы программирования на языках представления знаний;

3. Оболочки систем искусственного интеллекта;

4. Средства автоматизированного создания экспертных систем.

1. Системы программирования на языках высокого уровня, такие как С, С++, Паскаль, Фортран, Бейсик, Forth, Refal, SmallTalk , LISP, не содержат средств для представления и обработки знаний. Тем не менее, достаточно большая доля СИИ разработана с помощью языков традиционного программирования. Наиболее используемые - SmallTalk и. LISP.

LISP разработан в 1960г. Дж. Маккарти для доказательства теорем и использовался первоначально в проекте «Принимающий советы» для управления сложной системой, в которой данные задавались фразами на английском языке. Широкое использование языка LISP объясняется наличием развитых средств работы со списками и поддержкой механизма рекурсии, важных для характерной в в СИИ обработки символьной информации. Заложенные в языке LISP идеи, способ описания данных оказали влияние на ряд языков ИИ: CONNIVER, PLANNER, PROLOG. С помощью языка LISP разработан ряд распространенных экспертных систем, таких как MYCIN, DENDRAL, PROSPECTOR

2. Системы программирования на языках представления знаний содержат собственные средства представления знания (в соответствии с определенной моделью) и поддержки логического вывода.

Языки представления знаний в логических моделях - CONNIVER, PLANNER, PROLOG, во фреймовых моделях - KRL, FRL, в продукционных моделях - OPS 5, KEE, KAPPA, CLIPS.

3. Оболочки систем искусственного интеллекта или «пустые экспертные системы» представляют собой готовые ЭС без базы знаний. Технология создания оболочки заключается в том, что из готовой ЭС удаляются знания из базы знаний.

4. Средства автоматизированного создания экспертных систем представляют собой гибкие программные системы, допускающие несколько моделей представления знаний, способов логического вывода и видов интерфейса.

11. Экспертные системы (эс): назначение, отличия от других сии и программных продуктов.

Принципиальным отличием данной системы от аналогов является то, что она полностью реализована на языке С. Причем исходные тексты ее программ опубликованы в сети Интернет.

В СLIPS используется оригинальный LISP-подобный язык программирования, ориентированный на разработку ЭС. Кроме того, СLIPS поддерживает еще две парадигмы программирования: объектно-ориентированную и проце­дурную. Аспекты объектно-ориентированного программирования в СLIPS нами рассматриваться не будут.

Широкое распространение системы CLIPS объясняется тем, что CLIPS представляет собой комбинацию продукционного и объектно-ориентированного и фреймового подходов и обладает следующими ее преимуществами:

• относительная дешевизна;

• использование множества опробованных на практике конструкций из других инструментальных средств;

• наличие четко сформулированного синтаксиса, позаимствованного у LISP;

• высокая производительность;

• возможность использования внешних функций, написанных на других языках программирования;

• включение средств, позволяющих комбинировать правила и объекты.

СLIPS использует продукционную модель представления знаний и поэтому содержит три основных элемента:

1. базу фактов;

2. базу правил;

3. блок вывода.

База фактов представляет исходное состояние проблемы. Блок вывода CLIPS сопоставляет факты и правила и выясняет, какие из правил можно активизировать. Это выполняется циклически, причем каждый цикл состоит из трех шагов:

1. сопоставление фактов и правил;

2. выбор правила, подлежащего активизации;

3. выполнение действий, предписанных правилом.

Такой трехшаговый циклический процесс называют «циклом распознавание – действие».