Lógica.
Es una ciencia formal y una rama de la filosifía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo (logike), que significa "dotado de razón, intelectual, dialéctico, argumentativo", que a su vez viene de (logos), "palabra, pensamiento, idea, argumento, razón o principio".
Inducción.
El razonamiento inductivo es una modalidad del razonamiento no deductivo que consiste en obtener conclusiones generales a partir de premisas que contienen datos particulares.
Deducción.
La deducción formal o lógica consiste en que a partir de unas premisas, representadas con símbolos, y a través de unas reglas, obtenemos una conclusión (deducimos la conclusión).
Abducción.
Es aquella clase de operación que sugiere un enunciado que no está en modo alguno contenido en los datos de los que procede. Hay un nombre más familiar para ella que el de abducción, pues no es ni más ni menos que adivinar (guessing).
Difusa.
La lógica difusa o lógica borrosa se basa en lo relativo de lo observado. Este tipo de lógica toma dos valores aleatorios, pero contextualizados y referidos entre sí. Así, por ejemplo, una persona que mida 2 metros es claramente una persona alta, si previamente se ha tomado el valor de persona baja y se ha establecido en 1 metro. Ambos valores están contextualizados a personas y referidos a una medida métrica lineal.
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 fórmula a una teoría nunca se produce una reducción de su conjunto de consecuencias. Intuitivamente, la monotonicidad indica que el agregar nuevos conocimientos no se reduce el conjunto de las cosas conocidas. Simbólicamente:
- Si
, entonces 
Donde A es una fórmula cualquiera y Γ y Δ son conjuntos de fórmulas cualesquiera.
Una lógica monotónica no puede manejar varios tipos de razonamiento tales como el razonamiento por defecto (los hechos pueden ser conocidos únicamente por la carencia de evidencia de lo contrario), el razonamiento abductivo (los hechos sólo se deducen en calidad de explicaciones probables), el razonamiento acerca del conocimiento (la ignorancia de un hecho debe ser retractada cuando el hecho sea conocido), y la revisión de creencias (nuevo conocimiento puede contradecir creencias anteriores, obligando a revisarlas). Estas limitaciones son un inconveniente en gran cantidad de problemas que se presentan en inteligencia artificial, que tienen un carácter no monótono.
No hay comentarios:
Publicar un comentario