Motivo del mantenimiento

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 razones distingue entre hechos base, que pueden ser refutados , y hechos derivados. Por lo tanto, 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 ]} Engloba una variedad de técnicas que comparten una arquitectura común: ^{[ 3 ]} dos componentes —un 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 razones para registrar sus inferencias y justificaciones de las ("razones" para) las inferencias. El razonador también informa al sistema de mantenimiento de razones cuáles son los hechos base (suposiciones) 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 consistencia si se deriva una inconsistencia.

Un sistema de mantenimiento de la verdad ( TMS , por sus siglas en inglés) es un método de representación del conocimiento que permite representar tanto las creencias como sus dependencias, y un algoritmo denominado "algoritmo de mantenimiento de la verdad" que manipula y mantiene dichas dependencias. El nombre de mantenimiento de la verdad se debe a la capacidad de estos sistemas para restablecer la coherencia.

Un sistema de mantenimiento de la verdad (TMS) mantiene la coherencia entre el conocimiento antiguo y el conocimiento actual en la base de conocimiento (BC) mediante revisiones. Si las afirmaciones actuales contradicen el conocimiento en la BC, esta se actualiza con el nuevo conocimiento. Puede ocurrir que se vuelvan a considerar los mismos datos, y que se requiera el conocimiento previo en la BC. Si los datos previos no están presentes, pero pueden ser necesarios para una nueva inferencia, no es necesario volver a rastrearlos. El uso de TMS evita este rastreo, ya que realiza un seguimiento de los datos contradictorios mediante un registro de dependencias. Este registro refleja las retractaciones y adiciones, lo que permite al motor de inferencia (IE) conocer su conjunto de creencias actual.

Cada enunciado que tenga al menos una justificación válida se incorpora al conjunto de creencias actual. Cuando se detecta una contradicción, se identifican los enunciados responsables y se actualizan los registros correspondientes. Este proceso se denomina retroceso dirigido por dependencias.

El algoritmo TMS mantiene los registros en forma de red de dependencias. Cada nodo de la red es una entrada en la base de conocimiento (una premisa, un antecedente, una 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 da por cierta. No necesita justificación. El conjunto de premisas constituye la base a partir de la cual se derivarán las justificaciones para todos los demás nodos.

Existen dos tipos de justificación para un nodo. Son los siguientes:

1. Lista de soporte [SL]
2. Prueba condicional (PC)

Existen muchos tipos de sistemas de mantenimiento de la verdad. Dos tipos principales son el mantenimiento de la verdad de contexto único y el mantenimiento de la verdad de contexto múltiple. En los sistemas de contexto único, la consistencia se mantiene entre todos los hechos en la memoria (KB) y se relaciona con la noción de consistencia que se encuentra en la lógica clásica . Los sistemas de contexto múltiple admiten la paraconsistencia al permitir que la consistencia sea relevante para un subconjunto de hechos en la memoria, un contexto, de acuerdo con el historial de inferencia lógica. Esto se logra etiquetando cada hecho o deducción con su historial lógico. Los sistemas de mantenimiento de la verdad multiagente 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 supuestos de de Kleer (ATMS, 1986) se utilizó en sistemas basados ​​en KEE en la máquina Lisp . El primer TMS multiagente fue creado por Mason y Johnson. Era un sistema de contexto múltiple. Bridgeland y Huhns crearon el primer sistema multiagente de contexto único .

• Inteligencia artificial
• Revisión de creencias
• Adquisición de conocimientos
• Representación del conocimiento
• El barco de Neurath

• Bridgeland, DM y Huhns, MN, Mantenimiento de la verdad distribuida. Actas de la AAAI-90: Octava Conferencia Nacional sobre Inteligencia Artificial, 1990.
• J. de Kleer (1986). Un TMS basado en supuestos. Inteligencia Artificial , 28:127–162.
• J. Doyle. Un sistema de mantenimiento de la verdad. IA. Vol. 12. Núm. 3, págs.  251–272. 1979.
• U. Junker y K. Konolige (1990). Cálculo de las extensiones de lógicas autoepistémicas y por defecto con un sistema de mantenimiento de la verdad. En Actas de la Octava Conferencia Nacional sobre Inteligencia Artificial (AAAI'90) , páginas 278–283. MIT Press .
• Mason, C. y Johnson, R. DATMS: Un marco para el razonamiento basado en supuestos, en Inteligencia artificial distribuida , vol. 2, Morgan Kaufmann Publishers , Inc., 1989.
• DA McAllester. Un sistema de mantenimiento de tres valores. Instituto Tecnológico de Massachusetts , Laboratorio de Inteligencia Artificial. Memorando de IA 473. 1978.
• GM Provan (1988). Un análisis de complejidad de los sistemas de mantenimiento de la verdad basados ​​en supuestos. En B. Smith y G. Kelleher, editores, Reason Maintenance Systems and their Applications , páginas 98–113. Ellis Horwood, Nueva York.
• GM Provan (1990). La complejidad computacional de los sistemas de mantenimiento de la verdad en contextos múltiples. En Actas de la Novena Conferencia Europea sobre Inteligencia Artificial (ECAI'90) , páginas 522–527.
• R. Reiter y J. de Kleer (1987). Fundamentos de los sistemas de mantenimiento de la verdad basados ​​en supuestos: Informe preliminar. En Actas de la Sexta Conferencia Nacional sobre Inteligencia Artificial (AAAI'87) , páginas 183-188. PDF

• Revisión de creencias y TMS en la Enciclopedia de Filosofía de Stanford