Эти правила соответствуют этапу эвристического сопоставления.
Содержание книги
- Обратите внимание на то, что если бы в теле процедуры отсутствовал предикат ввс, то программа очень быстро зациклилась.
- Occur)U, Exprl, 2), collect(U, Exprl, Expr2), isolate(U, Expr2, Ans).
- I) ни один Человек не является островом. (джон донн (john donne))
- Глава 9. Представление неопределенности знаний и данных
- В более общей форме правило байеса имеет вид
- Можно с уверенностью Т заключить, что пациент страдает заболеванием DI.
- Множество, определенное такой характеристической функцией, представляется формулой
- Которая после подстановки дает
- Какова вероятность того, что из полной колоды будет вытянута одна из старших карт (король, дама или валет).
- Преимущество использования такой программы — снижение трудоемкости процесса, поскольку перенос знаний от эксперта к системе осуществляется в один прием.
- В основу оболочки KADS положено пять базовых принципов.
- Оболочки CommonKADS и KASTUS
- Сопровождение и редактирование баз знаний с помощью программы teiresias
- В составе teiresias Имеются и средства, которые помогают оболочке emycin следить за поведением экспертной системы в процессе применения набора имеющихся правил.
- Графический интерфейс модели предметной области
- В модели предметной области можно выделить четыре основных аспекта, которые явились следствием применения онтологического анализа, как отмечалось в разделе 10. 1. 3.
- Эффективность программы OPAL
- Обсуждение проблем машинного обучения мы отложим до главы 20, поскольку это слишком сложный материал для той части книги, которую мы рассматриваем как вводную.
- Если: Имеется решение менее радикальное, чем
- ГЛАВА 11. Эвристическая классификация (I)
- Классификация задач экспертных систем
- Теперь посмотрим, как соотносится описанная ранее классификация экспертных систем с предложенной Кленси иерархической схемой операций.
- Общность эвристической классификации
- В разделе упражнений вы встретите набор правил на языке clips, которые соответствуют определению, сформулированному в рассматриваемом документе.
- Кленси утверждает, что его работа может следующим образом, повлиять на исследования в области экспертных систем.
- Эти правила соответствуют этапу эвристического сопоставления.
- Разработайте правило selection, которое выбирает вино с наивысшим рейтингом и предлагает его Пользователю.
- Ранее мы уже упоминали о таких особенностях mycin, как отказ от обратного прослеживания в пользу деструктивной модификации рабочей памяти и использование стратегии исчерпывающего поиска.
- При проектировании программ эвристической классификации, таких как MUD или mycin, процесс уточнения правил является, по существу, шестиэтапным.
- ТО существует солевое загрязнение.
- Использование коэффициентов уверенности в программе MORE
- Каждое из таких предположений основано на стремлении сохранить взаимную согласованность коэффициентов в правилах одного семейства.
- ЕСЛИ: 1) заражение — менингит,
- Кленси утверждает, что поведение neomicyn ближе к модели поведения человека при диагностировании, чем поведение mycin.
- Почему в системах, основанных на правилах, сложно выполнять обратное прослеживание на большую глубину.
- Формирование суждений на базе модели в системе internist
- Структурированные объекты в CENTAUR
- Каждый управляющий слот можно рассматривать как консеквентную часть правила, условная часть которого сопоставима с ситуацией, описанной компонентами прототипа
- Формирование суждений на базе модели в системе internist
- База знаний программы internist формируется следующим образом.
- Проблемы, обнаруженные в процессе эксплуатации системы INTERNIST
- Рабочая среда инженерии знаний TDE
- Что понимается под прототипом в системе centaur. Какие функции возлагаются на прототипы.
- Severe-restrictive-defect. Present
- Области применения методов конструктивного решения проблем
- Программа R1 разбивает задачу конфигурирования на шесть подзадач, каждая из которых, в свою очередь, может быть разбита на более мелкие подзадачи.
- Стратегии разрешения конфликтов LEX и МЕА
- Формирование суждений с учетом ограничений: метод Match
- Извлечение знаний в системе R1/XCON
- Включить в систему НМД RA60,
Правило steak является примером сопоставления вида мясного блюда с классом вин.
(defrule steak
?task <- (task dish) (meal
(property meat-type) (is steak)) =>
(assert (wine (property color) (is red)
(cert 1.0))) (assert (wine (property body) (is full)
(cert 1.0))) (assert (wine (property flavor) (is dry)
(cert 0.7))) (assert (wine (property flavor) (is sweet)
(cert 0.2))) (retract?task)
(assert (task attributes)))
;;Такие же правила можно написать и для других
;;видов мясных блюд: из телятины (veal),
;;баранины (lamb) и т.д.
;;Задача dish удалена, поскольку известно,
;;какого типа блюдо.
;;Затем устанавливается задача принятия решения
;;о характеристиках вина.
;;Для блюд из мяса, рыбы и птицы нужно
;;определить правила по умолчанию
;;(default rules), которые будут относиться к
;;любому типу соответствующего исходного
;;продукта (например, подходят и для блюда из
;;аллигатора, если последний отнесен
;;к мясным продуктам).
;;ПРАВИЛА РАБОТЫ С КОЭФФИЦИЕНТАМИ УВЕРЕННОСТИ
;;Если в модели среды существуют две структуры с
;;одними и теми же значениями для одних и тех же
;;атрибутов, но отличаются коэффициентами
;;уверенности, то правило
;;attribute-update создает из них третью
;;структуру с новым значением и удаляет две
;;исходные.
;;Новое значение коэффициента уверенности CF
;;вычисляется по формуле:
;;cf = cfl + с£2(1 - cfl)
(defrule attribute-update (task attributes)
?winel <- (property?attribute) (is?value)
(cert?certl))?wine2 <- (property?attribute) (is?value)
(cert?cert2)) (<>?crtl?cert2) =>
(bind?newcert (+?certl (?cert2
(- 1?certl)))) (assert (wine (property?attribute)
(is?value) (cert?newcert))) (retract?winel) (retract?wine2))
;;Разработайте правило preference, к которому
;;следует обращаться только в том случае, если в
;;рабочей памяти существует больше одного
;;возможного значения для некоторого атрибута.
;;Это правило должно запросить у пользователя,
;;какое значение атрибута из существующих для
;;него предпочтительнее, соответственно
;;изменить коэффициент уверенности в выбранном
;;сочетании атрибут-значение, а другое значение
;;удалить из памяти.
;Разработайте правило choose-value, которое
;;будет активизироваться в том случае, если в
;;рабочей памяти существуют две структуры,
;;характеризуемые разными значениями одного и
;;того же атрибута. Правило должно
;;выбирать структуру, у которой коэффициент
;;уверенности больше, а другую удалять.
;Разработайте правило unique, которое будет
;;активизироваться в том случае, если существует
;;только одна структура с определенным значением
;;атрибута. Это правило объявляет, что атрибут
;;окончательно определен.
;Разработайте правило unity, которое будет
;;активизироваться в том случае, если существует
;;структура, обладающая коэффициентом
;;уверенности, равным 1.
;;Это правило объявляет, что атрибут
;;окончательно определен.
;;Если все атрибуты вина определены, вывести отчет,
(defrule all-attributes-done?task.
<- (task attributes)?col
<- (color done)?bod
<- (body done)?fla
<- (flavor done) (wine (property color)
(is?color)) (wine (property body)
(is?body)) (wine (property flavor)
(is?flavor)) =>
(printout t crlf
"Try a "?flavor " "?color " wine with a "?body " body"
;; "Попробуйте "?f lavor " "?color " вино с
;; "?body " консистенцией."
T crlf)
(retract?col) (retract?bod) (retract?fla)
(retract?task) (assert (task brand)))
;;ПРАВИЛА, ИМЕЮЩИЕ ОТНОШЕНИЕ К ВИНУ.
;;Выбор вина по заданному описанию значений;атрибутов.
;;Правила этой группы соответствуют этапу
;;"конкретизация решения".
;;Прежде чем предложить пользователю выбрать
;;желаемый продукт, нужно сформировать список
;;кандидатов.
;;Разработайте правило go-choose, которое
;;выбирает вино с наивысшим рейтингом, если не
;;активизируются никакие другие правила,
;;дополняющие список вин.
;;Правило soave является примером правила
;;дополнения списка новым названием вина
;;(в данном случае "soave").
;;Разработайте другие аналогичные правила.
(defrule soave (task brand)
(wine (property color) (is white))
(wine (property flavor) (is dry)
(cert?certl)) (wine (property body) (is fine)
(cert?cert2)) =>
(assert (wine (property brand) (is soave)
(cert (min?certl?cert2))))
)
;; ПРАВИЛА, ОРГАНИЗУЮЩИЕ ВЫБОР ПОЛЬЗОВАТЕЛЕМ ИЗ
;; СПИСКА.
Пользователь отвечает на выводимый запрос вводом "yes" или "по".
|