Cтраница 3
Группа, работавшая с системой EMYCIN, решила, что только несколько подзадач оказываются разрешимыми в несколько ограниченных рамках системы EMYCIN. К ним относятся оценка последствий утечки, определение вытекшего вещества и локализация источника утечки. Так как поиск утечки представлял собой простую задачу, то группа работала почти исключительно над задачей локализации источника. [31]
Структура данной главы следующая: в следующем параграфе мы обсудим общую феноменологию локализации. В данной главе мы не будем касаться формализма Ландауэра, несмотря на то что он оказывается чрезвычайно полезным для изучения некоторых вопросов локализации. Этот формализм и его применения к задачам локализации и мезоскопики подробно описаны в гл. [32]
Эти две системы сильно отличаются друг от друга. ROSIE с ее англоподобным синтаксисом существенно облегчает проблему представления по сравнению с системой OPS5, имеющей Лисп-подобный синтаксис. Однако OPS5 обеспечивает большую гибкость управления, чем ROSIE, а это облегчает динамическое исправление правил. Модели, разработанные с помощью систем OPS5 и ROSIE, практически решали только задачу локализации источника утечки, используя для поиска сложные эвристики, чтобы исключить те участки дренажной сети, которые наименее вероятно содержат источник. В обеих моделях имелось довольно много подпрограмм, связанных с вводом / выводом, чего не требовали системы EMYCIN, KAS и EXPERT. Пользователь взаимодействовал с системой OPS5 традиционным образом ( группа OPS5 могла бы реализовать в модели асинхронный ввод / вывод тем же способом, что и в системе ROSIE, если бы имелось достаточно времени), в то время как модель ROSIE моделировала асинхронную обработку вопросов и ответов. [33]
Но остается самый важный вопрос: можно ли построить полное множество монотонных цепей для произвольного ППЛГ G. Ответ на этот вопрос отрицательный. Однако мы покажем, что ППЛГ допускает построение полного множества монотонных цепей, если удовлетворяет довольно слабому ограничению. Кроме того, мы покажем, что произвольный ППЛГ можно легко преобразовать в такой граф, к которому применима процедура построения цепей. Эта процедура создает несколько новых искусственных областей, которые не мешают, однако, эффективному решению задачи локализации точки. [34]