Representación de conocimiento

LOGICAS, INDUCCION, DEDUCCION, ABDUCCION, DIFUSA, NO-MONOTONICA

LOGICA
La lógica es una ciencia formal y una rama de la filosofí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".
Historia de lógica
Históricamente se considera a Aristóteles el fundador de la lógica como propedéutica o herramienta básica para todas las Ciencias,[] ya que fue el primero en formalizar completamente el campo.
La lógica formal, como un análisis explícito de los métodos de razonamientos, se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el Siglo V y el Siglo I a. C.
Tipos de lógica
Lógicas clásicas
Los sistemas lógicos clásicos son los más estudiados y utilizados de todos, y se caracterizan por incorporar ciertos principios tradicionales que otras lógicas rechazan.
Entre los sistemas lógicos clásicos se encuentran:
Lógica proposicional
Lógica de primer orden
Lógica de segundo orden
Lógicos no clásicas
Los sistemas lógicos no clásicos son aquellos que rechazan uno o varios de los principios de la lógica clásica. Algunos de estos sistemas son:
Lógica difusa: Es una lógica plurivalente que rechaza el principio del tercero excluido y propone un número infinito de valores de verdad.
Lógica relevante: Es una lógica para consistente que evita el principio de explosión al exigir que para que una implicación sea válida, el antecedente y el consecuente deben compartir al menos una variable.
Lógica cuántica: Desarrollada para lidiar con razonamientos en el campo de la mecánica cuántica; su característica más notable es el rechazo de la propiedad distributiva.
Lógica no monotónica: Una lógica no montónica es una lógica donde, al agregar una fórmula a una teoría cualquiera, es posible que el conjunto de consecuencias de esa teoría se reduzca.
Lógicas modales
Las lógicas modales están diseñada para tratar con expresiones que califican la verdad de los juicios. Así por ejemplo, la expresión "siempre" califica a un juicio verdadero como verdadero siempre. No es lo mismo decir "está lloviendo" que decir "siempre está lloviendo".
Lógica modal: Trata con las nociones de necesidad, posibilidad, imposibilidad y contingencia.
Lógica deóntica: Se ocupa de las nociones morales de obligación y permisibilidad.
Lógica temporal: Abarca operadores temporales como "siempre", "nunca", "antes", "después", etc.
Lógica epistémica: Es la lógica que formaliza los razonamientos relacionados con el conocimiento.
Lógica doxástica: Es la lógica que trata con los razonamientos acerca de las creencias.
INDUCCION
El razonamiento inductivo es una modalidad del razonamiento no deductivo que consiste en obtener conclusiones generales a partir de premisas que contienen datos particulares.
Ejemplos de induccion
El razonamiento inductivo tiene dos formas: inducción por analogía y la inducción por causa y efecto.
Ejemplo de inducción por analogía:
A Julio, a Juan y a mí nos gustan la música, la pintura y la escultura. A mí me gusta también la literatura; luego, a Julio y a Juan debe gustarles también la literatura.
Ejemplo de inducción por relación causa y efecto:
Una vez mi esposa se asustó mucho a causa de una tormenta igual a la de esta noche. Mejor me voy a casa, porque debe estar muy asustada.

ABDUCCION
"La 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). Un determinado objeto presenta una combinación extraordinaria de caracteres para la que nos gustaría una explicación. El que haya uninación? Pues el número de nombres del directorio ni se acerca siquiera a la multitud de posibles leyes de atracción que hubieran dado cuenta de las leyes de Kepler del movimiento de los planetas y que, por delante de la verificación mediante la predicción de perturbaciones, etc., las habrían explicado a la perfección. Newton, se dirá, supuso que la ley sería una sola y simple. Pero, ¿cómo llegó a esto sino acumulando adivinación sobre adivinación? Con seguridad, son muchísimos más los fenómenos de la naturaleza complejos que los simples.