Техническое обслуживание причины

Оглавление1 Причина технического обслуживания1.1 Обоснование знаний1.2 Система обслуживания причин1.3 Алгоритм поддержания истинности1.4 Типы систем поддержания истины1.5 Примеры систем поддержания истины1.6 […]

Причина технического обслуживания

  • Обоснование знаний

    • Обоснование различает базовые и производные факты, отличаясь от пересмотра убеждений. 
    • Техническое обслуживание Reason разработано для решения проблем и включает в себя логическое устройство и систему обслуживания причин. 
  • Система обслуживания причин

    • Система поддержки аргументации используется для записи выводов и обоснований. 
    • Система обслуживания причин информирует о действительности базовых фактов. 
    • Система TMS поддерживает согласованность между знаниями и их зависимостями. 
  • Алгоритм поддержания истинности

    • TMS отслеживает противоречивые данные через запись зависимостей. 
    • Каждое утверждение с обоснованием становится частью текущего набора убеждений. 
  • Типы систем поддержания истины

    • Одноконтекстные системы поддерживают согласованность всех фактов в памяти. 
    • Мультиконтекстные системы поддерживают параконсистентность, привязывая факты к логической истории. 
  • Примеры систем поддержания истины

    • ATMS (1986) использовалась в системах KEE на компьютере Lisp. 
    • Мейсон и Джонсон создали первую мультиагентную TMS с многоконтекстным подходом. 
    • Бриджленд и Хьюнс разработали первую мультиагентную TMS с одним контекстом. 

Полный текст статьи:

Техническое обслуживание причины — Википедия

Оставьте комментарий