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