Marcus Aurelius [Book]

yakında şimdilik tüm sorunları çözecek

Sebep bakımı[1][2], açıkça saklanan çıkarsanan bilgilerin verimli bir şekilde ele alınmasına yönelik bir bilgi temsili yaklaşımıdır. Akıl yürütme, yenilebilir temel gerçekler ile türetilmiş gerçekler arasında ayrım yapar. Bu itibarla, temel biçiminde tüm gerçeklerin eşit derecede önemli olduğunu varsayan inanç revizyonundan farklıdır. Sebep bakımı, başlangıçta sorun çözücüleri uygulamak için bir teknik olarak geliştirilmiştir.[2] Ortak bir mimariyi paylaşan çeşitli teknikleri kapsar:[3] iki bileşen—bir akılcı ve bir akıl yürütme sistemi—bir arayüz aracılığıyla birbirleriyle iletişim kurar. Akıl yürüten kişi, çıkarımlarını ve çıkarımların ("nedenlerini") gerekçelerini kaydetmek için neden bakım sistemini kullanır. Akıl yürüten kişi aynı zamanda geçerli temel gerçekler (varsayımlar) olan neden bakım sistemini de bilgilendirir. Bakım sisteminin, saklanan türetilmiş gerçeklerin doğruluk değerini hesaplamak ve bir tutarsızlık türetilirse tutarlılığı yeniden sağlamak için bilgiyi kullanmasının nedeni.

Bir gerçeği koruma sistemi veya TMS, hem inançları hem de bağımlılıklarını temsil etmek için bir bilgi temsil yöntemi ve bağımlılıkları manipüle eden ve sürdüren "gerçeği koruma algoritması" adı verilen bir algoritmadır. Doğruluk bakımı adı, bu sistemlerin tutarlılığı geri yükleme yeteneğinden kaynaklanmaktadır.