• Глава 19. Система отслеживания истинности предположений

• 19.1. Отслеживание зависимостей

  • 19.1.1. Релаксация в сети

  • 19.1.2. Пересмотр допущений

• 19.2. Пересмотр теорий высказываний

• 19.3. Немонотонное обоснование

• 19.4. Работа со множеством контекстов

  • 19.4.1. Отслеживание истинности предположений, основанное на анализе допущений

  • 19.4.2. Использование систем отслеживания истинности предположений для диагностирования на основе моделей

• 19.5. Сравнение различных вариантов организации систем отслеживания истинности предположений

• Рекомендуемая литература

• Упражнения

Глава 19.

Система отслеживания истинности предположений

• 19.1. Отслеживание зависимостей

• 19.2. Пересмотр теорий высказываний

• 19.3. Немонотонное обоснование

• 19.4. Работа со множеством контекстов

• 19.5. Сравнение различных вариантов организации систем отслеживания истинности предположений

• Рекомендуемая литература

• Упражнения

Во всех экспертных системах мы тем или иным образом стремимся представить модель окружающего нас мира или, по крайней мере, какой-либо предметной области этого мира. Думаю, не следует тратить время на доказательство того очевидного факта, что программе нельзя позволять выполнять произвольные манипуляции над представлением мира, которое в ней имеется. Как правило, предположения в таком представлении влияют друг на друга, и существуют ограничения, которым должно удовлетворять любое множество предположений. Если такое влияние и ограничения игнорировать, то могут возникнуть серьезные расхождения между представлением мира в программе и реальностью. Системы, располагающие механизмом отслеживания зависимостей между предположениями и выявления их несовместимости, получили название систем отслеживания истинности предположений (truth maintenance systems). В литературе можно встретить и аналогичный по смыслу термин система отслеживания причинности (reason maintenance systems).

В этой главе мы в общих чертах представим вычислительные методы, которые используются для отслеживания зависимостей между представлением в программе состояний, действий и предположений. Начнем мы с относительно простых систем, затем перейдем к более сложным. Там, где без этого можно обойтись, мы будем пренебрегать строгими математическими формулировками и заменять их менее формальным описанием того, что делается в системе, почему делается именно так и какую пользу из этого можно извлечь.

 

19.1. Отслеживание зависимостей

В главе 15 рассказывалось о том, что в экспертной системе VT для фиксации зависимостей между решениями, принимаемыми в процессе проектирования, используется сеть зависимостей. В такой сети узлы соответствуют присвоению значений конструктивным параметрам, причем между узлами существуют два вида связей— связи содействия (contributes-to) и связи принуждения (constrains). Узел А содействует узлу В, если значение параметра А появляется в результате вычисления значения В, а узел А принуждает узел В, если значение параметра A запрещает параметру В принимать определенные значения. В дальнейшем для некоторой формализации изложения будем обозначать узлы прописными буквами, а строчными— значения соответствующих параметров. Например, значение, присваиваемое узлу (параметру) А в какой-либо момент времени, будем обозначать как а.