Lógica retractable


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

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.

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Lógica no monotónica — Una lógica no monotónica, o lógica no monótona, es un sistema lógico cuya relación de consecuencia lógica es no monotónica. La mayoría de los sistemas lógicos tienen una relación de consecuencia monotónica, lo que quiere decir que el agregar una… …   Wikipedia Español

  • Light Finding Operation — The mecha in the anime series Eureka Seven are called LFOs, which stands for Light Finding Operation. LFOs are bio mechanical hybrids: armor and control systems are built upon an organic humanoid skeletons excavated from the Scub Coral. The LFOs… …   Wikipedia

  • List of Eureka Seven mecha — The mecha in the anime series Eureka Seven are called LFOs, which stands for Light Finding Operation. LFOs are bio mechanical hybrids: armor and control systems are built upon an organic humanoid skeleton excavated from the Scub Coral. The LFOs… …   Wikipedia