Sistemas de mantenimiento de verdad

• razones para quitar una sentencia de la KB (RETRACT)
  • el hecho ya no es importante y queremos olvidarlo
  • el sistema mantiene el estado actual del mundo, no importa el pasado y el mundo cambia
  • el sistema supuso (o llegó a la conclusión de) la verdad de un hecho y ahora supone (o ha llegado a la conclusión de) la falsedad del hecho
• no es lo mismo RETRACT(KB, P) y
  • con TELL podremos concluir p y notp, con RETRACT no podemos concluir ni p ni notp
  • supongamos que la KB tiene , y que se ha inferido Q y añadido a la KB, con RETRACT(KB, P) deben quitarse P y Q para mantener la consistencia; pero si hay otra relación independiente que lleva a creer Q, por ejemplo , entonces no hay que quitar Q
• mantenimiento de verdad: hay que saber que proposiciones adicionales hay que quitar cuando se quita P
• primera aproximación: backtracking cronológico. El sistema vuelve al estado anterior al que se añadió P. Ineficiente, tiene que volver de ese estado al actual reconstruyéndolo todo
• TMS : guarda las dependencias entre sentencias para que la operación RETRACT sea más eficiente. Tareas de un TMS:
  • permite backtracking por dependencia directa para evitar la ineficiencia del cronológico
  • proporciona explicaciones de las proposiciones: si no puede ser por prueba, por suposiciones. Una explicación E de una sentencia P es un conjunto de sentencias tal que , las sentencias de E deben ser ciertas o son supociones que ha hecho el TMS. E debe ser el conjunto minimal: que no haya otro subconjunto de E que permita la explicación
  • razonamiento por defecto y tratamiento de inconsistencias
• JTMS
  • cada sentencia de la KB se anota con una identificación de las sentencias con las que ha sido inferida . Permite que RETRACT actue de modo selectivo
  • implementación con in, out para mantener todas las cadenas de inferencias
• ATMS
  • un JTMS representa un estado consistente en un momento. Permite cambiar de estado con RETRACT y TELL
  • un ATMS representa todos los estados que han sido considerados en el mismo instante
  • cada sentencia se etiqueta con un conjunto de suposiciones que hacen que la sentencia sea cierta
  • cuando un razonamiento falla en lugar de hacer RETRACT se añaden nuevas suposiciones y se chequean las condiciones para que un sentencia sea cierta
• TMS, al igual que la inferencia proposicional es NP-hard