Lógica por defecto


Lógica por defecto

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


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Lógica no monótona — Saltar a navegación, búsqueda Para otros usos de este término, véase Lógica (desambiguación). La lógica clásica tiene un carácter monótono. Es decir, dado un conjunto de sentencias S1 del que se puede inferir C, al añadir otro conjunto de… …   Wikipedia Español

  • Lógica no monotónica — Una lógica no monotónica, o lógica no monótona, es un sistema lógico cuya relación de consecuencia lógica es no monotónica. La mayoría de los sistemas lógicos tienen una relación de consecuencia monotónica, lo que quiere decir que el agregar una… …   Wikipedia Español

  • Lógica retractable — 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 …   Wikipedia Español

  • Lógica empírica — La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la antigua Grecia. El término empírico deriva del griego antiguo de experiencia, έμπειρία, que a su vez deriva de έυ… …   Wikipedia Español

  • Casos de pederastia por miembros de la Iglesia católica — Saltar a navegación, búsqueda A finales de la década de 1990 comenzaron a salir a la luz denuncias contra sacerdotes y religiosos católicos, principalmente en Estados Unidos y Australia, acusados de abusos sexuales a menores, cometidos durante la …   Wikipedia Español

  • Café (todos) — Wikipedia:Café (todos) Saltar a navegación, búsqueda Atajos WP:C …   Wikipedia Español

  • PIC16F87X — Los PIC16F87X forman una subfamilia de microcontroladores PIC (Peripheral Interface Controller) de gama media de 8 bits, fabricados por Microchip Technology Inc.. Cuentan con memoria de programa de tipo EEPROM Flash mejorada, lo que permite… …   Wikipedia Español

  • ASP.NET — es un framework para aplicaciones web desarrollado y comercializado por Microsoft. Es usado por programadores para construir sitios web dinámicos, aplicaciones web y servicios web XML. Apareció en enero de 2002 con la versión 1.0 del .NET… …   Wikipedia Español

  • Gráficos existenciales — Se denomina Gráficos existenciales (en inglés: existential graphs) al sistema lógico y de notación creado por el lógico y filósofo norteamericano Charles Sanders Peirce. El sistema comprende tanto una notación gráfica original de proposiciones… …   Wikipedia Español

  • Filosofía de la matemática — Saltar a navegación, búsqueda La filosofía de las matemáticas es una rama de la filosofía. Según Michael Dummett puede considerarse que hay cuatro preguntas fundamentales sobre el contenido de la filosofía de las matemáticas: ¿Cómo sabemos que… …   Wikipedia Español