Marcus Aurelius [Book]

tidak lama lagi akan menyelesaikan semua isu buat masa ini

Penyelenggaraan sebab[1][2] ialah pendekatan perwakilan pengetahuan untuk pengendalian maklumat yang disimpulkan secara cekap yang disimpan secara eksplisit. Penyelenggaraan sebab membezakan antara fakta asas, yang boleh dikalahkan, dan fakta terbitan. Oleh itu, ia berbeza daripada semakan kepercayaan yang, dalam bentuk asasnya, menganggap bahawa semua fakta adalah sama penting. Penyelenggaraan sebab pada asalnya dibangunkan sebagai teknik untuk melaksanakan penyelesai masalah.[2] Ia merangkumi pelbagai teknik yang berkongsi seni bina yang sama:[3] dua komponen—penaakulan dan sistem penyelenggaraan sebab—berkomunikasi antara satu sama lain melalui antara muka. Penaakulan menggunakan sistem penyelenggaraan sebab untuk merekodkan inferens dan justifikasi ("sebab" untuk) inferens. Penaakulan juga memaklumkan sistem penyelenggaraan sebab yang merupakan fakta asas (andaian) yang sah pada masa ini. Sebab sistem penyelenggaraan menggunakan maklumat untuk mengira nilai kebenaran fakta terbitan yang disimpan dan untuk memulihkan konsistensi jika ketidakkonsistenan diperoleh.

Sistem penyelenggaraan kebenaran, atau TMS, ialah kaedah perwakilan pengetahuan untuk mewakili kedua-dua kepercayaan dan kebergantungan mereka dan algoritma yang dipanggil "algoritma penyelenggaraan kebenaran" yang memanipulasi dan mengekalkan kebergantungan. Nama penyelenggaraan kebenaran adalah kerana keupayaan sistem ini untuk memulihkan konsistensi.