La lógica anulable es una lógica no monótona propuesta por Donald Nute para formalizar el razonamiento anulable . En lógica anulable, 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 consecuencia de otro;
- socavando derrotadores
- especificar excepciones a las reglas anulables.
Se puede dar un orden de prioridad sobre las reglas anulables y los derrotadores. Durante el proceso de deducción, las reglas estrictas se aplican siempre, mientras que una regla anulable se puede aplicar solo si ningún derrotador de mayor prioridad especifica que no debería hacerlo.
Ver también
Referencias
- D. Nute (1994). Lógica anulable. En Manual de lógica en inteligencia artificial y programación lógica , volumen 3: Razonamiento no monotónico y razonamiento incierto, páginas 353–395. Prensa de la Universidad de Oxford.
- G. Antoniou, D. Billington, G. Governatori y M. Maher (2001). Resultados de representación para lógica anulable. Transacciones ACM sobre lógica computacional , 2 (2): 255–287.