Преимущества эс. Задачи эс

Вид материала

Реферат

Содержание Основные инструментальные средства Методы разработки

Подобный материал:

• Планирование привлечения и высвобождения работников. Преимущества и недостатки внутризаводского, 28.01kb.
• Тема: Введение. Предмет, цели и задачи прогнозирования и оценки мпи. Преимущества комплекса, 144.58kb.
• Преимущества и недостатки мультимедийной презентации, 11.42kb.
• Преимущества лизинга, 37.09kb.
• Лекция религия и невроз, 7200.62kb.
• Общественным Советом Министерства промышленности и торговли проводит круглый стол под, 470.98kb.
• 1. Каждый темперамент имеет свои преимущества, 73.33kb.
• Менеджмент (бакалавриат) Основные преимущества обучения , 69.74kb.
• Курсовая работа по дисциплине: маркетинг На тему: Анализ состояния рынка минеральной, 464.13kb.
• Культурная революция, 222.61kb.

Уровень опытной эксплуатации. Это достаточно большие программы, которые не один раз пересматривались. Они умеренно надежны, имеют удобный и дружественный интерфейс и ориентированны на нужды конкретного пользователя. Содержат 500-1000 правил, опробованы на всех тестах и требуют на разработку 2-3 года.

Промышленный прототип – эти системы представляют большие программы, подвергнутые интенсивной проверке в условиях опытной эксплуатации, переписанные на более высоком эффективном языке с целью увеличения скорости работы и уменьшения необходимой машинной памяти. Типичный промышленный тип – это программы, охватывающие 500-1500 правил, обеспечивающих точное, быстрое и эффективное решение. Требует на разработку 2-4 года.

Коммерческая система – это немногие ЭС, эксплуатируемые на регулярной коммерческой основе. Такие системы содержат свыше 3000 правил, частота правильных заключений 90-95% и требует на разработку 4-6 лет.


Контрольные вопросы:

1. На каком этапе происходит выбор продукционной модели представления знаний ЭС?
   
2. Главная цель этапа идентификации задачи.
   
3. Как оценивается качество работы ЭС?
   
4. Как оценивается полезность, разработанной ЭС?
   
5. Для чего предназначен демонстрационный прототип ЭС?
   
6. В чем особенности промышленного прототипа ЭС?
   

Лекция 11 ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ПОСТРОЕНИЯ ЭС.


План лекции:

1. Основные инструментальные средства.
   
2. Вспомогательные инструментальные средства.
   
3. Методы разработки ЭС.
   

Ключевые слова:

Метод прямой разработки, основные ИС, вспомогательные ИС, языки инженерии знаний, скелетные языки, универсальные языки разработки ЭС.


Разработка любой системы управления БЗ или ЭС – большая и сложная работа, требующая привлечение квалифицированных специалистов-экспертов и разработчиков-программистов. Естественно, что для создания подобных систем разрабатываются различные инструментальные средства. По инструментальным возможностям эти средства можно разделить на основные и вспомогательные. Основные средства образуют языки, предназначенные для описания компонентов ЭС и системы программирования, поддерживающие эти языки. Вспомогательные средства предназначены для упрощения отдельных этапов разработки или тестирования тех иных компонентов ЭС. Например, для наполнения и модификации БЗ, содержащей факты и правила.

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


ОСНОВНЫЕ ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА.


Языки программирования, применяемые для работы в области ЭС, – это, как правило, проблемно-ориентированные языки как PASCAL, FORTRAN или языки обработки текстов – LISP и PROLOG. Проблемно-ориентированные языки разработаны для специального класса задач: например в научных, математических и статистических исследованиях. Языки обработки текстов разработаны для прикладных областей искусственного интеллекта. Например, LISP имеет механизмы для манипулирования символами в форме списковых структур. LISP и PROLOG неуклонно завоевывают популярность. Популярность языков основывается на нескольких их свойствах: легком манипулировании символами, автоматическим управлением памятью, развитом редактировании и средств отладки, едином подходе в представлении программ.

Лисп существует в двух вариантах: Интерлисп, Мэклисп (имеют различные средства поддержки).

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

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





Рис.26. Компоненты поддерживающей среды.


Языки инженерии можно разделить на скелетные и универсальные.

Скелетный язык – это ‘раздетые’ ЭС без специальных предметных знаний.

Скелетные системы обеспечивают структуризацию знаний и готовые механизмы выводов. Но им не хватает общности и гибкости. Они приложены только к узкому классу проблем и сильно ограничивают возможности разработчика ЭС.

Универсальные языки могут быть применены к проблемам различного типа в различных прикладных областях. Они обеспечивают большие возможности управления поиском данных и доступом к ним, чем скелетные системы, но их труднее использовать.

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

• средства проектирования систем;
  
• средства приобретения знаний.
  

Системы AGE, TIMM, EXPERTEASE – это примеры средств проектирования системы. TEIRESIAS ROGET – это пример средства приобретения знаний.

Система TEIRESIAS оказывает помощь в приобретении знаний от эксперта в БЗ.

Система приобретает новые правила из предметной области через диалог с экспертом.

Система AGE состоит из набора компонент, которые могут быть смонтированы, чтобы образовалась часть ЭС.

Вспомогательные средства включают также средства поддержки – вспомогательные программы, которые прилагаются к средствам построения ЭС, чтобы упростить его.

На рис. 26 приведены компоненты поддерживающей среды, которая также относится к вспомогательным средствам.

Рассмотрим подробнее средства объяснения. Некоторые системы имеют встроенный механизм объяснения, такие как ENYCIN. В других нет этого механизма рассуждения, а надо его использовать. Существует несколько типов механизма объяснения:

• ретроспективное распределение;
  
• гипотетическое распределение;
  
• контрафактическое распределение.
  

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


МЕТОДЫ РАЗРАБОТКИ.

В процессе разработки прикладной экспертной системы могут использоваться 3 метода:

1. Метод прямой разработки использованием универсального языка программирования. Примерами систем, разработанных по этому методу являются DENDRAL, MYCIN и др. На создание таких систем уходит много времени.
   
2. Основан на языке представления знаний или на языке разработки ЭС. Этот метод отличается простотой, позволяющей при наличии оболочки, затратить на разработку новой ЭС несколько дней. Обычно используется в первую очередь для ЭС на основе продукционной модели.
   
3. Классический метод с использованием языка представления знаний фреймового типа. Фреймовая модель обладает большой гибкостью и в ней возможно комбинировать декларативные и процедурные знания в одном фрейме.
   

При использовании фреймовой системы прежде всего необходимо в соответствии с прикладной задачей построить модель ЭС, выбрать иерархическую структуру, с помощью которой можно решить поставленную задачу. Языки этого типа (COMEX, имеют характер универсальных языков FMX) программирования более высокого уровня чем Пролог и Лисп. На рис.27 рассмотрена схема использования этих 3 методов и языков представления знаний.

В качестве инструментария для создания ЭС могут служить:

• процедурные языки программирования, ориентированные на обработку символьной информации (LISP, INTERLISP и др.);
  
• языки инженерии знаний, т.е. языки ориентированные на разработку любой ЭС (PROLOG, OPS-5, KRL, LOOPS, ПЛЭНЕР и др.);
  
• средства автоматизации процесса конструирования, использования и модификации ЭС (RLL, HEARSAY-III, TEIRESIAS и др.);
  
• пустые базовые ЭС, не содержащие знаний конкретной области (EMYCIN, KAS, GURU, ЭКСПЕРТ-МИКРО).
  

Рис.27. Методы представления знаний.


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

При толковании ‘инструментарий’ включает не только программные средства, но и аппаратные. Наибольшее распространение получила аппаратная реализация диалектов языков LISP, PROLOG, т.е. разработка ЭВМ, внутренним языком которых являет LISP, PROLOG.

Под инструментарием понимается также и специализации участников создания ЭС. Это:

1. эксперт той предметной области;
   
2. инженер по знаниям – специалист по разработке ЭС;
   
3. программист, осуществляющий модификацию и согласование инструментальных средств.
   

Контрольные вопросы:

1. Какие средства называются основными?
   
2. В чем отличия алгоритмических языков программирования от логических?
   
3. Какие функции выполняют вспомогательные инструментальные средства?
   
4. Какие средства поддержки вы знаете?
   
5. Какой из методов разработки ЭС наиболее быстрый?
   
6. Какой из методов разработки ЭС наиболее трудоемкий?
   

Лекция 12 СПОСОБЫ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ И МЕТОДЫ РАЗРАБОТКИ


План лекции:

1. Описание основных инструментальных средств.
   
2. Средства, ориентированные на доступ.
   
3. Средства, ориентированные на объекты
   
4. Средства, ориентированные на логику.
   

Ключевые слова:

Лисп-процедура, логика предикатов, средства, ориентированные на объекты, методы ориентированные на доступ, графические шкалы.


Таблица 4.

Инструменталь- ные средства	Способы представления знаний	Описание
1. EMYCIN	Основанный на правилах	Реализует прямую и обратную цепочку рассуждений
2. SRL	Основанный на фреймах	Использует иерархию фреймов для наследования свойств и привязки процедур
3. KAS	Семантические сети + правила	Использует семантические сети
4. LISP	Ориентирован на процедуры	Использует вложенные подпрограммы для организации и управления ее выполнением
5. ROSIE	правила + Лисп-процедуры
6. SMALL-TALK	Ориентирован на объекты (используется для моделирования ситуации в военной стратегии)	Использует элементы, называемые объектами, которые связаны с другими объектами через сообщения
7. PROLOG	Основан на логике	Использует исчисление предикатов для структуризации программы и управления ее выполнением
8. LOOPS	Ориентирован на доступ (использование законов) фреймовые системы	Использует датчики, включающие новые вычисления при изменении данных или их для того чтобы следить за выполнением программы или внешних устройств