Marcus Aurelius [Book]

risolverà presto tutti i problemi per ora

La manutenzione del motivo[1][2] è un approccio di rappresentazione della conoscenza alla gestione efficiente delle informazioni dedotte che sono esplicitamente archiviate. Il mantenimento della ragione distingue tra fatti di base, che possono essere sconfitti, e fatti derivati. In quanto tale differisce dalla revisione delle credenze che, nella sua forma di base, presuppone che tutti i fatti siano ugualmente importanti. La manutenzione del motivo è stata originariamente sviluppata come tecnica per l'implementazione di risolutori di problemi.[2] Comprende una varietà di tecniche che condividono un'architettura comune:[3] due componenti, un ragionatore e un sistema di manutenzione del motivo, comunicano tra loro tramite un'interfaccia. Il ragionatore usa il sistema di mantenimento della ragione per registrare le sue inferenze e giustificazioni delle ("ragioni" per) le inferenze. Il ragionatore informa anche il sistema di manutenzione del motivo che sono i fatti di base attualmente validi (ipotesi). Il sistema di manutenzione del motivo utilizza le informazioni per calcolare il valore di verità dei fatti derivati ​​memorizzati e per ripristinare la coerenza se viene derivata un'incoerenza.

Un sistema di mantenimento della verità, o TMS, è un metodo di rappresentazione della conoscenza per rappresentare sia le credenze che le loro dipendenze e un algoritmo chiamato "algoritmo di mantenimento della verità" che manipola e mantiene le dipendenze. Il mantenimento della verità del nome è dovuto alla capacità di questi sistemi di ripristinare la coerenza.