Мы поможем в написании ваших работ!
ЗНАЕТЕ ЛИ ВЫ?
|
Стратегии разрешения конфликтов LEX и МЕА
Содержание книги
- Теперь посмотрим, как соотносится описанная ранее классификация экспертных систем с предложенной Кленси иерархической схемой операций.
- Общность эвристической классификации
- В разделе упражнений вы встретите набор правил на языке 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,
- Совершенствование системы XCON
- В чем преимущество использования более явного представления стратегии, реализованного при модернизации системы XCON.
- Оператор resume во многом похож на оператор focus. Отличие состоит в том, что он не формирует новые задачи, А старается выявить ранее приостановленные и повторно запустить их на выполнение.
- Door-opening, platform-width и opening-width
- Приобретение знаний с помощью системы salt
- Итоги анализа систем решения проблем конструирования
- Ваша задача — разработать три новых управляющих правила, которые организуют работу правил clash, start и finish.
- Использование индексации правил, которая дает возможность извлечь определенное правило в ответ на вопрос, содержащийся в пользовательском запросе.
- Формирование пояснений в системах, производных от MYCIN
- Формирование пояснений на основе фреймов
- Суммирование и вывод результатов.
- Диагноз: обтурация воздухоносных путей астматического типа в серьезной форме. Консультация завершена.
- Использование мультимедийного интерфейса для формирования пояснений
- Автоматическое программирование в системе XPLAN
- Другим оператором, смысл которого более понятен при анализе текста программы: (if (атом X) then X else (car X)).
- Перспективы дальнейших исследований методов формирования пояснений
- Почему формирование пояснений в системах, основанных на порождающих правилах, упрощается, если разделить используемые правила на группы по назначению.
- По своему назначению и функциональным возможностям инструментальные программы, применяемые при проектировании экспертных систем, можно разделить на четыре достаточно больших категории.
- Языки описания порождающих правил
- Объектно-ориентированные языки
- Языки логического программирования экспертных систем
В главе 5 были упомянуты стратегии разрешения конфликтов LEX и МЕА, реализованные в языке CLIPS. Ниже будет в общих чертах рассмотрена реализация стратегии МЕА, которая использована в системе R1/XCON.
Как было показано в главе 3, анализ "средство — анализ результата" является абстрактным режимом формирования цепочки обратного логического вывода в случае, когда определена некоторая цель. Этот режим позволяет выбрать операторы или правила, которые способны сократить "расстояние" между текущим и заданным целевым состоянием проблемы. Несложно показать, как этот режим можно использовать в контексте порождающей системы с обратной стратегией логического вывода, например MYCIN, когда весь процесс начинается с цели самого верхнего уровня общности (см. главу 3). В системах, использующих прямой логический вывод, которые строятся на основе языковых средств OPS5 или CLIPS, применяется стратегия разрешения конфликтов МЕА. Основанный на ней режим управления позволяет программе "продвигаться" по неявно заданному дереву целей, которые представлены специальными лексемами в рабочей памяти экспертной системы.
Алгоритм МЕА включает пять шагов. Напомним, что конфликтующее множество правил включает те конкретизированные правила, которые должны быть активизированы в течение одного и того же цикла вычислений. Конкретизация правила представляет собой совокупность обобщенной формулировки правила и значений используемых в нем переменных.
(1) Исключить из конфликтующего множества те правила, которые уже были применены в предыдущем цикле. Если после этого множество стало пустым, прекратить процесс.
(2) Сравнить "новизну" элементов в рабочей памяти, которые соответствуют первым элементам условий в конкретизированных правилах, оставшихся в конфликтующем множестве. Приоритет отдается тем правилам, которые обращаются к самым "свежим" элементам рабочей памяти,— эти правила "доминируют" над остальными. Если существует единственное такое правило, то оно выбирается для применения, после чего процесс должен быть прекращен. В противном случае, если имеется несколько доминирующих правил с
Равным приоритетом, они сохраняются в конфликтующем множестве, а прочие из него удаляются. Далее выполняется переход к шагу (3).
(3) Упорядочить конкретизированные правила по "новизне" остальных элементов условий в правилах. Если доминирует единственное правило, оно применяется и затем процесс прекращается. Если же доминируют два или несколько правил, то они остаются в конфликтующем множестве, а остальные удаляются из него. Затем выполняется переход к шагу (4),
(4) Если по критерию "новизны" элементов условий отобрано несколько правил с равными показателями, то сравнивается другой показатель правил — показатель специфики. Предпочтение отдается тому правилу, применение которого требует проверки наибольшего количества условий в рабочей памяти. Если "претендентов" окажется несколько, остальные удаляются из конфликтующего множества и выполняется переход к шагу (5).
(5) Применяется правило, выбранное произвольным образом из оставшихся в конфликтующем множестве, и процесс прекращается.
Таким образом, стратегия МЕА объединяет в едином алгоритме анализ таких показателей, как повторяемость, новизна и специфика. Алгоритм LEX практически идентичен алгоритму МЕА за одним исключением — в нем отсутствует шаг 2), а на шаге 3) сравниваются все элементы условий конкретизированных правил и связанных с ними элементов рабочей памяти. Первые элементы условий, которые использовались на шаге 2), являются, как правило, лексемами задач в рабочей памяти (в главе 5 приведен пример программы, которая манипулирует такими лексемами).
|
