II.-Representacion del conocimiento

2.1.-Logicas, induccion, deduccion, abduccion, difusa, no monotonica.

Mediante lógica.
La inferencia1 se realizaría utilizando la deducción natural y las reglas de resolución.
En lógica de predicados, existen tres métodos básicos de razonamiento: deductivo, abductivo e inductivo.
• Deducción. Es el razonamiento a partir de un principio conocido hacia un desconocido; de lo general, a lo específico, o de la premisa a la conclusión lógica. La deducción realiza inferencias lógicamente correctas. Esto significa que la deducción a partir de premisas verdaderas, garantiza el resultado de conclusiones también verdaderas.

• Abducción. Es un método de razonamiento comúnmente utilizado para generar explicaciones. A diferencia de la inducción, la abducción no garantiza
que se puedan lograr conclusiones verdaderas.

• Inducción. Se define como el razonamiento a partir de hechos particulares o
casos individuales, para llegar a una conclusión general. El método inductivo
es la base de la investigación científica.

En un sistema monotónico todos los axiomas utilizados se conocen como verdaderos por sus propios méritos, o pueden ser
derivados de otros hechos conocidos como verdaderos. Los axiomas no pueden
cambiar, ya que una vez que se los conoce como verdaderos, siempre permanecen así
y no pueden ser modificados o retractados.

Leer mas