PART5 (1156541), страница 2

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 2)

Доводка системы

Э предлагает ИЗ/прототипу_ЭС характерные задачи

цель: ИЗ проверяет сформированную совокупность знаний (БЗ).

Оценивание системы

Э анализирует и оценивает правила, стратегии, систему понятий ПО

цель: Э оценивает точность работы ИЗ и правильность сформированной БЗ.

Проверка системы

ИЗ предлагает независимым экспертам протоколы решения задач Э и прототипом_ЭС

цель: объективная оценка результатов работы ИЗ и Э (и сформированной БЗ).

Пример: Оценка размера страховых выплат.

Ситуация.

Беседа Инженера_знаний с Экспертом.

Некоторые правила:

Если повреждение истца действительно требует, чтобы он носил очки

и и истец до повреждения не носил очков

увеличить фактор неудобства на 2500$

Если истец действительно имеет вероятность заболеть глаукомой

и эта вероятность была вызвана повреждением

и величина этой вероятности равна 10%

увеличить фактор осложнений в будущем на 30000$

Программная поддержка ЭС

Средства реализации ЭС:

экспертные системы-оболочки - EMYCIN (на базе ЭС MYCIN)

лиспоподобные языки высокого уровня - различные диалекты/версии Лиспа

языки логического программирования - Пролог

языки объектно-ориентированного программирования - SMALL-TALK

языки на основе фреймов - KRL

универсальные языки программирования - C/C++, Java, Паскаль

языки, ориентированные на доступ - LOOPS

(используют специальные процедуры - демоны,

которые активируются при получении СООБЩЕНИЙ)

Пример: ЭС моделирования воздушного боя SWIRL

(LOOPS) движущиеся объекты: бомбардировщик,

истребитель,

ракета,

самолет системы AWACS

радары: радар зенитно-ракетного комплекса,

самолет системы AWACS

. . .

Cамолет системы AWACS обнаружил самолет-нарушитель

 посылка СООБЩЕНИЯ всем центрам дешифровки

 посылка СООБЩЕНИЯ командному центру

 посылка СООБЩЕНИЯ истребителям / зенитно-ракетным комплексам

Редакторы баз знаний:

штатные текстовые редакторы

автоматические журналы

средства синтаксического контроля

средства контроля содержания

Средства отладки: трассировка, остановы, автоматизация тестирования

Характеристики

Список файлов лекций