Marcus Aurelius [Book]

곧 현재의 모든 문제를 해결할 것입니다.

이유 유지[1][2]는 명시적으로 저장된 유추 정보를 효율적으로 처리하기 위한 지식 표현 방식입니다. 이성 유지는 패배할 수 있는 기본 사실과 파생 사실을 구분합니다. 따라서 그것은 기본 형식에서 모든 사실이 동등하게 중요하다고 가정하는 신념 수정과 다릅니다. 이성 유지 관리는 원래 문제 해결사를 구현하기 위한 기술로 개발되었습니다.[2] 여기에는 공통 아키텍처를 공유하는 다양한 기술이 포함됩니다.[3] 두 가지 구성 요소(Reasoner와 Reason Maintenance System)는 인터페이스를 통해 서로 통신합니다. 추론자는 추론의 ("이유") 추론과 정당화를 기록하기 위해 이유 유지 시스템을 사용합니다. 추론자는 또한 현재 유효한 기본 사실(가정)인 이유 유지 시스템을 알려줍니다. 이유 유지 시스템은 저장된 파생 사실의 진실 값을 계산하고 불일치가 파생된 경우 일관성을 복원하기 위해 정보를 사용합니다.

진실 유지 시스템(TMS)은 신념과 그 의존성을 모두 나타내는 지식 표현 방법이며 의존성을 조작하고 유지하는 "진실 유지 알고리즘"이라는 알고리즘입니다. 이름 진실 유지 관리는 일관성을 복원하는 이러한 시스템의 능력 때문입니다.