Причина технического обслуживания
-
Обоснование знаний
- Обоснование различает базовые и производные факты, отличаясь от пересмотра убеждений.
- Техническое обслуживание Reason разработано для решения проблем и включает в себя логическое устройство и систему обслуживания причин.
-
Система обслуживания причин
- Система поддержки аргументации используется для записи выводов и обоснований.
- Система обслуживания причин информирует о действительности базовых фактов.
- Система TMS поддерживает согласованность между знаниями и их зависимостями.
-
Алгоритм поддержания истинности
- TMS отслеживает противоречивые данные через запись зависимостей.
- Каждое утверждение с обоснованием становится частью текущего набора убеждений.
-
Типы систем поддержания истины
- Одноконтекстные системы поддерживают согласованность всех фактов в памяти.
- Мультиконтекстные системы поддерживают параконсистентность, привязывая факты к логической истории.
-
Примеры систем поддержания истины
- ATMS (1986) использовалась в системах KEE на компьютере Lisp.
- Мейсон и Джонсон создали первую мультиагентную TMS с многоконтекстным подходом.
- Бриджленд и Хьюнс разработали первую мультиагентную TMS с одним контекстом.