Marcus Aurelius [Book]

pronto solucionará todos los problemas por ahora

El mantenimiento de la razón[1][2] es un enfoque de representación del conocimiento para el manejo eficiente de la información inferida que se almacena explícitamente. El mantenimiento de la razón distingue entre hechos básicos, que pueden ser derrotados, y hechos derivados. Como tal, difiere de la revisión de creencias que, en su forma básica, asume que todos los hechos son igualmente importantes. El mantenimiento de razones se desarrolló originalmente como una técnica para implementar solucionadores de problemas.[2] Abarca una variedad de técnicas que comparten una arquitectura común:[3] dos componentes, un razonador y un sistema de mantenimiento de la razón, se comunican entre sí a través de una interfaz. El razonador usa el sistema de mantenimiento de razón para registrar sus inferencias y justificaciones de ("razones" para) las inferencias. El razonador también informa al sistema de mantenimiento de la razón cuáles son los hechos base (supuestos) actualmente válidos. El sistema de mantenimiento de razón utiliza la información para calcular el valor de verdad de los hechos derivados almacenados y para restaurar la consistencia si se deriva una inconsistencia.

Un sistema de mantenimiento de la verdad, o TMS, es un método de representación del conocimiento para representar tanto las creencias como sus dependencias y un algoritmo llamado "algoritmo de mantenimiento de la verdad" que manipula y mantiene las dependencias. El nombre de mantenimiento de la verdad se debe a la capacidad de estos sistemas para restaurar la consistencia.