- •Функции сии.
- •Функции сии
- •Архитектура сии.
- •Классификация языков и инструментальных средств для разработки сии.
- •Экспертные системы (эс): назначение, отличия от других сии и программных продуктов.
- •Особенности и функции эс.
- •Поколения эс.
- •Основные области применения эс.
- •Критерии возможности создания эс.
- •Отличия эс от экспертов-людей.
- •Группы участников разработки эс и требования к ним.
Классификация языков и инструментальных средств для разработки сии.
Инструментальные средства можно разделить на следующие типы:
Системы программирования на языках высокого уровня;
Системы программирования на языках представления знаний;
Оболочки систем искусственного интеллекта;
Средства автоматизированного создания экспертных систем.
Системы программирования на языках высокого уровня, такие как С, С++, Паскаль, Фортран, Бейсик, Forth, Refal, SmallTalk , LISP, не содержат средств для представления и обработки знаний. Тем не менее, достаточно большая доля СИИ разработана с помощью языков традиционного программирования. Наиболее используемые - SmallTalk и. LISP.
LISP разработан в 1960г. Дж. Маккарти для доказательства теорем и использовался первоначально в проекте «Принимающий советы» для управления сложной системой, в которой данные задавались фразами на английском языке. Широкое использование языка LISP объясняется наличием развитых средств работы со списками и поддержкой механизма рекурсии, важных для характерной в в СИИ обработки символьной информации. Заложенные в языке LISP идеи, способ описания данных оказали влияние на ряд языков ИИ: CONNIVER, PLANNER, PROLOG. С помощью языка LISP разработан ряд распространенных экспертных систем, таких как MYCIN, DENDRAL, PROSPECTOR
Системы программирования на языках представления знаний содержат собственные средства представления знания (в соответствии с определенной моделью) и поддержки логического вывода.
Языки представления знаний в логических моделях - CONNIVER, PLANNER, PROLOG, во фреймовых моделях - KRL, FRL, в продукционных моделях - OPS 5, KEE, KAPPA, CLIPS.
3. Оболочки систем искусственного интеллекта или «пустые экспертные системы» представляют собой готовые ЭС без базы знаний. Технология создания оболочки заключается в том, что из готовой ЭС удаляются знания из базы знаний.
4. Средства автоматизированного создания экспертных систем представляют собой гибкие программные системы, допускающие несколько моделей представления знаний, способов логического вывода и видов интерфейса.
Экспертные системы (эс): назначение, отличия от других сии и программных продуктов.
Принципиальным отличием данной системы от аналогов является то, что она полностью реализована на языке С. Причем исходные тексты ее программ опубликованы в сети Интернет.
В СLIPS используется оригинальный LISP-подобный язык программирования, ориентированный на разработку ЭС. Кроме того, СLIPS поддерживает еще две парадигмы программирования: объектно-ориентированную и процедурную. Аспекты объектно-ориентированного программирования в СLIPS нами рассматриваться не будут.
Широкое распространение системы CLIPS объясняется тем, что CLIPS представляет собой комбинацию продукционного и объектно-ориентированного и фреймового подходов и обладает следующими ее преимуществами:
относительная дешевизна;
использование множества опробованных на практике конструкций из других инструментальных средств;
наличие четко сформулированного синтаксиса, позаимствованного у LISP;
высокая производительность;
возможность использования внешних функций, написанных на других языках программирования;
включение средств, позволяющих комбинировать правила и объекты.
СLIPS использует продукционную модель представления знаний и поэтому содержит три основных элемента:
1. базу фактов;
2. базу правил;
3. блок вывода.
База фактов представляет исходное состояние проблемы. Блок вывода CLIPS сопоставляет факты и правила и выясняет, какие из правил можно активизировать. Это выполняется циклически, причем каждый цикл состоит из трех шагов:
сопоставление фактов и правил;
выбор правила, подлежащего активизации;
выполнение действий, предписанных правилом.
Такой трехшаговый циклический процесс называют «циклом распознавание – действие».