Hispanopedia WikiLa 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
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.
