Lógica retractable

La lógica retractable es una lógica no monotónica propuesta por Donald Nute para formalizar el razonamiento retractable. En esta lógica hay tres tipos diferentes de proposiciones:

• Reglas estrictas: especifican que un hecho siempre es consecuencia de otro
• Reglas de retractación: especifican que un hecho típicamente es consecuencia de otro
• Subcotización de retractores: especifican excepciones a las reglas de retractación

Puede darse un orden de prioridad entre las reglas de retratación y los retractores. Durante el proceso de la deducción, las reglas estrictas son siempre aplicadas, mientras que una regla retractable puede aplicarse sólo si no hay un retractador de una mayor prioridad que especifique que no debe.

Véase también

• Sentido común
• Lógica no monotónica
• Lógica por defecto

Referencias

• D. Nute (1994). Defeasible logic. In Handbook of logic in artificial intelligence and logic programming, volume 3: Nonmonotonic reasoning and uncertain reasoning, pages 353-395. Oxford University Press.
• G. Antoniou, D. Billington, G. Governatori, and M. Maher (2001). Representation results for defeasible logic. ACM Transactions on Computational Logic, 2(2):255-287.