| Property |
Value |
| dbo:abstract
|
- 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. (es)
- 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. (es)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:apellido
|
- Schmidt (es)
- Koons (es)
- Schmidt (es)
- Koons (es)
|
| prop-es:edición
|
- Winter 2009 Edition (es)
- Winter 2009 Edition (es)
|
| prop-es:editor
|
- Edward N. Zalta (es)
- Edward N. Zalta (es)
|
| prop-es:enciclopedia
|
- Stanford Encyclopedia of Philosophy (es)
- Stanford Encyclopedia of Philosophy (es)
|
| prop-es:fechaacceso
| |
| prop-es:idioma
| |
| prop-es:nombre
|
- Robert (es)
- Charles F (es)
- Robert (es)
- Charles F (es)
|
| prop-es:sined
| |
| prop-es:título
|
- Defeasible Reasoning (es)
- Defeasible Reasoning (es)
|
| prop-es:url
| |
| prop-es:urlarchivo
|
- https://web.archive.org/web/20140922141232/http://www.rci.rutgers.edu/~cfs/472_html/Logic_KR/DefaultTheory.html|fechaarchivo=22 de septiembre de 2014 (es)
- https://web.archive.org/web/20140922141232/http://www.rci.rutgers.edu/~cfs/472_html/Logic_KR/DefaultTheory.html|fechaarchivo=22 de septiembre de 2014 (es)
|
| dct:subject
| |
| rdfs:comment
|
- 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 excepcio (es)
- 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 excepcio (es)
|
| rdfs:label
|
- Lógica por defecto (es)
- Lógica por defecto (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
