Marcus Aurelius [Book]

wkrótce naprawi wszystkie problemy na razie

Utrzymanie przyczyny[1][2] to podejście polegające na reprezentacji wiedzy do wydajnego przetwarzania wywnioskowanych informacji, które są jawnie przechowywane. Utrzymanie rozumu rozróżnia między faktami podstawowymi, które można pokonać, a faktami pochodnymi. Jako taka różni się od rewizji przekonań, która w swojej podstawowej formie zakłada, że ​​wszystkie fakty są jednakowo ważne. Utrzymanie powodów zostało pierwotnie opracowane jako technika wdrażania rozwiązań problemów.[2] Obejmuje różne techniki, które mają wspólną architekturę:[3] dwa komponenty — system wnioskowania i system obsługi przyczyn — komunikują się ze sobą za pośrednictwem interfejsu. Wnioskujący używa systemu uzasadniania przyczyn, aby rejestrować swoje wnioski i uzasadnienia („przyczyny”) wniosków. Wnioskujący informuje również system uzasadniania przyczyn, które są aktualnie obowiązującymi faktami podstawowymi (założeniami). System obsługi przyczyn używa tych informacji do obliczenia wartości prawdziwej przechowywanych faktów pochodnych i przywrócenia spójności, jeśli zostanie wyprowadzona niespójność.

System utrzymania prawdy lub TMS to metoda reprezentacji wiedzy do reprezentowania zarówno przekonań, jak i ich zależności oraz algorytm zwany „algorytmem utrzymania prawdy”, który manipuluje i utrzymuje zależności. Utrzymanie prawdy nazwy wynika ze zdolności tych systemów do przywracania spójności.