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.
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.
Datos:Q542504
Abril 21, 2024
lógica, retractable, lógica, retractable, lógica, monotónica, propuesta, donald, nute, para, formalizar, razonamiento, retractable, esta, lógica, tres, tipos, diferentes, proposiciones, reglas, estrictas, especifican, hecho, siempre, consecuencia, otro, reglas. La logica retractable es una logica no monotonica propuesta por Donald Nute para formalizar el razonamiento retractable En esta logica hay tres tipos diferentes de proposiciones Reglas estrictas especifican que un hecho siempre es consecuencia de otro Reglas de retractacion especifican que un hecho tipicamente es consecuencia de otro Subcotizacion de retractores especifican excepciones a las reglas de retractacion Puede darse un orden de prioridad entre las reglas de retratacion y los retractores Durante el proceso de la deduccion las reglas estrictas son siempre aplicadas mientras que una regla retractable puede aplicarse solo si no hay un retractador de una mayor prioridad que especifique que no debe Vease tambien editarSentido comun Logica no monotonica Logica por defectoReferencias editarD 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 nbsp Datos Q542504 Obtenido de https es wikipedia org w index php title Logica retractable amp oldid 117939458, wikipedia, wiki, leyendo, leer, libro, biblioteca,
