Обратное прослеживание
Cтраница 1
Обратное прослеживание по зависимостям служит чем-то вроде шаблона для построения более специализированных процедур пересмотра. Эти специализированные процедуры необходимы почти для всех практических приложений. Они выходят за рамки общей процедуры, поскольку учитывают форму тех допущений, которые они проверяют в тех случаях, когда выбирают отвергаемое предположение. [1]
Система обратного прослеживания по зависимостям прослеживает основания N5 для нахождения двух предположений, N1 и N3; оба предположения являются максимальными. [2]
В противоположность методу обратного прослеживания от конечного нежелательного события к вызывающим его причинам, метод анализа видов и влияний неисправностей действует в прямом направлении, определяя и оценивая различные виды неисправностей и их эффекты или воздействия на другие части процесса. [3]
Для того чтобы спрятать механизм выбора от системы обратного прослеживания, мы выбираем представителя класса эквивалентности, используя подтверждения типа условного доказательства. Для каждой из вершин R, представляющих членов класса эквивалентности, мы создаем две новые вершины: PR, которая означает, что R / является возможным представителем, и SR, которая означает, что R, является выбранным представителем. Программа не выводит прямо подтверждений для R-вершин, а вместо этого предлагает значения возможных представителей, подтверждая соответствующие PR-вершины. [4]
Обоснованная отмена предположений помогает при определении одного класса процедур обратного прослеживания, которые пересматривают множество текущих предположений в тех случаях, когда выясняется их несовместность. Одну из процедур такого рода мы, следуя Столлмену и Сассмену [53], называем процедурой обратного прослеживания по зависимостям. [5]
 |
Модель событий.| Модель событий. [6] |
Почему в системах, основанных на правилах, сложно выполнять обратное прослеживание на большую глубину. [7]
Для вопросов такого типа вам, наверное, пригодится рамка обратного прослеживания; и возможно, укрупнение на более высокий уровень. [8]
В режиме локализации отказа с помощью управляемого логического зонда пользователю предоставлен словарь сигнатур и реч: им обратного прослеживания ошибки. Словарь сигнатур дает возможность контролировать состояние схемы в произвольном порядке, отыскивая неправильные или нестабильные сигнатуры. В этом режиме решена задача оптимизации поиска, на каждом шаге контроля АС ГД производит анализ алгоритма с целы увеличения быстродействия и корректирует набор контрольных точок. Запуск и остановка сигнатурного анализатора, а также сброс его в исходное состояние при нарушении контактирования зонда происходит автоматически. При этом текущие значения управлявших и информационных сигналов заломи аотся. Локализации отказов АСТД ЮС учета нефти завершает четким диагнозом на уровне компонента. После устранения найденного дефекта выполняется, заключительная проверка исправности ОД. [9]
Как уже отмечалось, основной слабостью системы MOLGEN является то, что в ней отсутствует достаточно совершенный механизм обратного прослеживания. Другими словами, если вспомнить о наименовании стратегии предложение и пересмотр, то эта система сильна в выработке предложений, но слаба в их пересмотре, а потому ей не всегда удается выкарабкаться из ситуации, которая складывается после неудачного предложения. [10]
В результате формируется план, т.е. последовательность операторов, приводящая к достижению цели, причем за основу берется стратегия обратного прослеживания. [11]
Хотя система R1 и формирует иногда несколько вариантов решения одной и той же задачи, в ней никогда не выполняется обратное прослеживание. Иными словами, в ней никогда не формируется промежуточный вариант решения, к которому затем можно вернуться и отменить. На любой стадии процесса решения задачи система располагает достаточными знаниями для того, чтобы сделать следующий шаг. [12]
В главе 19 мы рассмотрим системы обработки правдоподобия ( truth maintenance) - усовершенствованный механизм фиксации решений, который существенно облегчает выполнение обратного прослеживания. В тех случаях, когда обратного прослеживания избежать невозможно, желательно, по крайней мере, быстро определить, в какую именно точку вычислений нужно вернуться, а не отменять по очереди все предыдущие операции, анализируя каждый раз последствия такой отмены. [13]
Если TMS находит другие аргументы и противоречивая вершина С остается внутри и после добавления нового подтверждения для D /, то повторить процедуру обратного прослеживания. [14]
В программе, решающей проблемы подобного класса, будут использованы широкие возможности средств программирования правил в языке CLIPS и продемонстрированы некоторые интересные приемы, например использование контекстов и обратного прослеживания. Мы также покажем, как конструировать и тестировать прототипы, которые приблизительно воспроизводят поведение окончательной программы. [15]
Страницы: 1 2 3 4