Una lógica del razonamiento consistente

Abstract

Se ha señalado a menudo que hay una diferencia fundamental entre la manera en que los seres humanos manejan la información inconsistente y la manera en que esta es tratada en la mayoría de los sistemas lógicos. Siendo la inconsistencia en la información la norma más bien que la excepción, los seres humanos son bastante hábiles en razonar con la parte "segura" de una información que contiene inconsistencias locales. Esta manera de tratar la información inconsistente parece más eficiente que la estrategia de revisar la información para desembarazarse de las inconsistencias, dado que la verificación y el mantenimiento de la consistencia en una base de conocimiento grande puede ser un procedimiento muy costoso en términos de los recursos requeridos. En este trabajo caracterizaremos semánticamente la relación de inferencia de un sistema no-monótono para el razonamiento consistente.