Marcus Aurelius [Book]

akan segera memperbaiki semua masalah untuk saat ini

Pemeliharaan alasan[1][2] adalah pendekatan representasi pengetahuan untuk penanganan yang efisien dari informasi yang disimpulkan yang disimpan secara eksplisit. Pemeliharaan alasan membedakan antara fakta dasar, yang dapat dikalahkan, dan fakta turunan. Karena itu berbeda dengan revisi keyakinan yang, dalam bentuk dasarnya, mengasumsikan bahwa semua fakta sama pentingnya. Pemeliharaan alasan pada awalnya dikembangkan sebagai teknik untuk mengimplementasikan pemecah masalah.[2] Ini mencakup berbagai teknik yang memiliki arsitektur yang sama:[3] dua komponen—sistem pemeliharaan alasan dan alasan—berkomunikasi satu sama lain melalui antarmuka. Penalaran menggunakan sistem pemeliharaan alasan untuk mencatat kesimpulannya dan pembenaran ("alasan" untuk) kesimpulannya. Penalaran juga menginformasikan sistem pemeliharaan alasan yang merupakan fakta dasar (asumsi) yang valid saat ini. Alasan sistem pemeliharaan menggunakan informasi untuk menghitung nilai kebenaran dari fakta turunan yang disimpan dan untuk mengembalikan konsistensi jika inkonsistensi diturunkan.

Sebuah sistem pemeliharaan kebenaran, atau TMS, adalah metode representasi pengetahuan untuk mewakili keyakinan dan ketergantungan mereka dan algoritma yang disebut "algoritma pemeliharaan kebenaran" yang memanipulasi dan memelihara dependensi. Nama kebenaran pemeliharaan adalah karena kemampuan sistem ini untuk mengembalikan konsistensi.