Lógica derrotable

Lógica no monótona de reglas estrictas y derrotables y de derrotadores que las socavan

La lógica derrotable es una lógica no monótona propuesta por Donald Nute para formalizar el razonamiento derrotable . En la lógica derrotable, hay tres tipos diferentes de proposiciones:

reglas estrictas

especificar que un hecho es siempre consecuencia de otro;

reglas anulables

especificar que un hecho es típicamente una consecuencia de otro;

socavando a los derrotadores

especificar excepciones a las reglas anulables.

Se puede dar un orden de prioridad sobre las reglas anulables y las anuladoras. Durante el proceso de deducción, siempre se aplican las reglas estrictas, mientras que una regla anulable se puede aplicar solo si ninguna anuladora de mayor prioridad especifica que no debe aplicarse.

Véase también

• Sentido común
• Lógica por defecto

Referencias

• D. Nute (1994). Lógica derrotable. En Handbook of logic in artificial intelligence and logic programming , volumen 3: Nonmonotonic reasoning and certain reasoning, páginas 353–395. Oxford University Press.
• G. Antoniou, D. Billington, G. Governatori y M. Maher (2001). Resultados de representación para lógica derrotable. ACM Transactions on Computational Logic , 2(2):255–287.