El mantenimiento de razones [1] [2] es un enfoque de representación del conocimiento para el manejo eficiente de 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, supone que todos los hechos son igualmente importantes. El mantenimiento del Reason 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 sistema razonador y un sistema de mantenimiento de razones) se comunican entre sí a través de una interfaz. El razonador utiliza el sistema de mantenimiento de la razón para registrar sus inferencias y justificaciones ("razones") de las inferencias. El razonador también informa al sistema de mantenimiento de motivos cuáles son los hechos base (supuestos) actualmente válidos. El sistema de mantenimiento de razones utiliza la información para calcular el valor de verdad de los hechos derivados almacenados y para restaurar la coherencia 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 mantenimiento de la verdad se debe a la capacidad de estos sistemas para restaurar la coherencia.
Un sistema de mantenimiento de la verdad mantiene la coherencia entre el conocimiento creído antiguo y el conocimiento creído actual en la base de conocimiento (KB) a través de la revisión. Si las afirmaciones actuales contradicen el conocimiento de la base de conocimiento, entonces la base de conocimiento se actualiza con el nuevo conocimiento. Puede suceder que se vuelvan a creer los mismos datos y se requieran los conocimientos previos en la KB. Si los datos anteriores no están presentes, pueden ser necesarios para una nueva inferencia. Pero si el conocimiento previo estaba en la base de conocimientos, entonces no es necesario volver sobre el mismo conocimiento. El uso de TMS evita dicho retroceso; realiza un seguimiento de los datos contradictorios con la ayuda de un registro de dependencia. Este registro refleja las retracciones y adiciones que hacen que el motor de inferencia (IE) sea consciente de su conjunto de creencias actual.
Cada afirmación que tiene al menos una justificación válida pasa a formar parte del conjunto de creencias actual. Cuando se encuentra una contradicción, se identifica(n) la(s) declaración(es) responsable(s) de la contradicción y los registros se actualizan adecuadamente. Este proceso se denomina retroceso dirigido a la dependencia.
El algoritmo TMS mantiene los registros en forma de red de dependencia. Cada nodo en la red es una entrada en la KB (una premisa, antecedente o regla de inferencia, etc.). Cada arco de la red representa los pasos de inferencia a través de los cuales se derivó el nodo.
Una premisa es una creencia fundamental que se supone que es cierta. No necesitan justificaciones. El conjunto de premisas es la base a partir de la cual se derivarán las justificaciones de todos los demás nodos.
Hay dos tipos de justificación para un nodo. Ellos son:
Existen muchos tipos de sistemas de mantenimiento de la verdad. Dos tipos principales son el mantenimiento de la verdad en contexto único y en contexto múltiple. En los sistemas de contexto único, la coherencia se mantiene entre todos los hechos en la memoria (KB) y se relaciona con la noción de coherencia que se encuentra en la lógica clásica . Los sistemas multicontexto apoyan la paraconsistencia al permitir que la consistencia sea relevante para un subconjunto de hechos en la memoria, un contexto, de acuerdo con la historia de la inferencia lógica. Esto se logra etiquetando cada hecho o deducción con su historia lógica. Los sistemas de mantenimiento de la verdad con múltiples agentes realizan el mantenimiento de la verdad en múltiples memorias, a menudo ubicadas en diferentes máquinas. El sistema de mantenimiento de la verdad basado en suposiciones de de Kleer (ATMS, 1986) se utilizó en sistemas basados en KEE en la máquina Lisp . Mason y Johnson crearon el primer TMS multiagente. Era un sistema multicontexto. Bridgeland y Huhns crearon el primer sistema multiagente de contexto único.