La lógica por defecto es una lógica no monotónica propuesta por Raymond Reiter para formalizar el razonamiento con hipótesis por defecto.
La lógica por defecto puede expresar hechos como "de forma predeterminada, algo es cierto", por el contrario, la lógica estándar sólo puede expresar que algo es cierto o que algo es falso. Esto es un problema porque el razonamiento con frecuencia implica que los hechos son ciertos en la mayoría de los casos, pero no siempre. Un ejemplo clásico es el siguiente: "las aves suelen volar". Esta regla puede expresarse en lógica estándar, ya sea por "todas las aves vuelan", que es incompatible con el hecho de que los pingüinos no vuelan, o por "todas las aves que no son pingüinos y no son avestruces y ... vuelan ", que exige que se determinen todas las excepciones a la regla. La lógica por defecto apunta a la formalización de las reglas de inferencia como esta sin mencionar explícitamente todas sus excepciones.
Bibliografía
Schmidt, Charles F. (en inglés). Archivado desde el original el 22 de septiembre de 2014. Consultado el 10 de agosto de 2004.
Koons, Robert. «Defeasible Reasoning». En Edward N. Zalta, ed. Stanford Encyclopedia of Philosophy(en inglés) (Winter 2009 Edition).
Datos:Q842421
Octubre 28, 2021
lógica, defecto, lógica, defecto, lógica, monotónica, propuesta, raymond, reiter, para, formalizar, razonamiento, hipótesis, defecto, lógica, defecto, puede, expresar, hechos, como, forma, predeterminada, algo, cierto, contrario, lógica, estándar, sólo, puede,. La logica por defecto es una logica no monotonica propuesta por Raymond Reiter para formalizar el razonamiento con hipotesis por defecto La logica por defecto puede expresar hechos como de forma predeterminada algo es cierto por el contrario la logica estandar solo puede expresar que algo es cierto o que algo es falso Esto es un problema porque el razonamiento con frecuencia implica que los hechos son ciertos en la mayoria de los casos pero no siempre Un ejemplo clasico es el siguiente las aves suelen volar Esta regla puede expresarse en logica estandar ya sea por todas las aves vuelan que es incompatible con el hecho de que los pinguinos no vuelan o por todas las aves que no son pinguinos y no son avestruces y vuelan que exige que se determinen todas las excepciones a la regla La logica por defecto apunta a la formalizacion de las reglas de inferencia como esta sin mencionar explicitamente todas sus excepciones Bibliografia EditarSchmidt Charles F Default Logic en ingles Archivado desde el original el 22 de septiembre de 2014 Consultado el 10 de agosto de 2004 Koons Robert Defeasible Reasoning En Edward N Zalta ed Stanford Encyclopedia of Philosophy en ingles Winter 2009 Edition Datos Q842421 Obtenido de https es wikipedia org w index php title Logica por defecto amp oldid 117939453, wikipedia, wiki, leyendo, leer, libro, biblioteca,
