Marcus Aurelius [Book]

sẽ sớm khắc phục tất cả các vấn đề ngay bây giờ

Duy trì lý do [1] [2] là một cách tiếp cận biểu diễn tri thức để xử lý hiệu quả thông tin suy luận được lưu trữ rõ ràng. Sự duy trì lý do phân biệt giữa sự kiện cơ sở, sự kiện có thể bị đánh bại và sự kiện có nguồn gốc. Vì vậy, nó khác với việc sửa đổi niềm tin, ở dạng cơ bản, giả định rằng tất cả các sự kiện đều quan trọng như nhau. Bảo trì lý do ban đầu được phát triển như một kỹ thuật để triển khai các trình giải quyết vấn đề. [2] Nó bao gồm nhiều kỹ thuật có chung một kiến ​​trúc: [3] hai thành phần — một hệ thống lý luận và một hệ thống bảo trì lý do — giao tiếp với nhau qua một giao diện. Người lập luận sử dụng hệ thống duy trì lý do để ghi lại các suy luận và biện minh của ("lý do" cho) các suy luận. Người lý giải cũng thông báo lý do hệ thống bảo trì là các dữ kiện cơ sở hiện có giá trị (giả định). Hệ thống bảo trì lý do sử dụng thông tin để tính toán giá trị trung thực của các dữ kiện có nguồn gốc được lưu trữ và để khôi phục tính nhất quán nếu phát sinh sự không nhất quán.

Hệ thống duy trì sự thật, hoặc TMS, là một phương pháp biểu diễn tri thức để đại diện cho cả niềm tin và sự phụ thuộc của chúng và một thuật toán được gọi là "thuật toán duy trì sự thật" để thao tác và duy trì sự phụ thuộc. Việc duy trì sự thật tên là do khả năng khôi phục tính nhất quán của các hệ thống này.