Llògica retractable
La llògica retractable és una llògica no monotónica proposta per Donald Nute per a formalisar el raonament retractable. En esta llògica hi ha tres tipos diferents de proposicions:
Regles estrictes: especifiquen que un fet sempre és conseqüència d'un atre Regles de retractament: especifiquen que un fet típicament és conseqüència d'un atre
- Subcotización de retractores: especifiquen excepcions a les regles de retractament
Pot donar-se un orde de prioritat entre les regles de retratación i els retractores. Durant el procés de la deducció, les regles estrictes són sempre aplicades, mentres que una regla retractable pot aplicar-se només si no hi ha un retractador d'una major prioritat que especifique que no deu.
Vore també
[editar | editar còdic]Referències
[editar | editar còdic]- 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.
- Este artícul conté una traducció derivada de «Lógica retractable» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.