Marcus Aurelius [Book]

скоро исправлю все проблемы пока

Сопровождение причин[1][2] — это подход к представлению знаний для эффективной обработки предполагаемой информации, которая хранится в явном виде. Поддержание разума различает базовые факты, которые можно опровергнуть, и производные факты. Как таковой он отличается от пересмотра убеждений, который в своей основной форме предполагает, что все факты одинаково важны. Сопровождение причин изначально разрабатывалось как метод реализации решателей проблем.[2] Он включает в себя множество методов, которые имеют общую архитектуру: [3] два компонента — блок рассуждений и система обслуживания причин — взаимодействуют друг с другом через интерфейс. Рассуждающий использует систему поддержания причин для записи своих выводов и обоснований («причин») выводов. Аргументатор также информирует систему обслуживания причин, которые в настоящее время являются действительными базовыми фактами (предположениями). Система обслуживания причин использует эту информацию для вычисления значения истинности хранимых производных фактов и для восстановления согласованности в случае обнаружения несоответствия.

Система поддержания истины, или TMS, представляет собой метод представления знаний для представления как убеждений, так и их зависимостей, а также алгоритм, называемый «алгоритмом поддержания истины», который манипулирует зависимостями и поддерживает их. Поддержание истинности имени связано со способностью этих систем восстанавливать согласованность.