SISTEMAS DE INFERENCIA

Cristian Camacho
William Varón
Kelly cuervo
INFERE
NCIA..
Que es?
 Concepto....

“ CAPACIDAD DE OBTENER
INFORMACION O
ESTABLECER
CONCLUSIONES QUE NO
ESTAN EXPRESADAS DE
FORMA EXPLICITA A LA
QUE SE LLEGA TOMANDO
 Concepto....

“En lógica una

Una premisa
inferencia se
también se define
define como el
como una
proceso de
proposición dada
derivar
como cierta y de
consecuencias
la cual se saca una
lógicas de las
conclusión.
Historia & tipos de inferencia…

Charles Sanders Peirce

DEDU INDU
hacia CCION CCION
(inferencia desde las causas (que recorre el
los efectos, o desde lo camino inverso)
universal hacia lo particular)

ABDUCCIO
N
MOTORES DE INFERENCIA
 Concepto

Programa de control cuya función es

seleccionar las reglas posibles a satisfacer el
problema, para realizar esto un motor de
inferencias utiliza estrategias de control o
estrategias heurísticas. Los motores de
inferencia utilizan conocimientos para resolver
un problema, esto lo realiza con datos que se
encuentran en una base de hechos del sistema
La idea general de un Motor de
inferencias es:
• Seleccionar,
• Decidir,
• Interpretar,
• Activar
• Aplicar el conocimiento de la base de
conocimientos sobre la base de
hechos con el fin de obtener la
REGLAS DE INFERENCIA
REGLAS DE INFERENCIA
 Reglas

El motor de inferencia usa tanto los datos (hechos o

evidencia) como el conocimiento (el conjunto de reglas
almacenado en la base de conocimiento), para obtener nuevas
conclusiones o hechos.
Por ejemplo, si la premisa de una regla es cierta, entonces la
conclusión de la regla debe ser también cierta.

Para obtener conclusiones, los expertos utilizan diferentes tipos

MODUS PONENS M ODUS TOLLENS R ESOLUCION
de reglas y estrategias de inferencia y control.
MODUS PONENS (MPP o MP)

Se utiliza para
obtener
conclusiones
simples.
En ella, se
examina la
premisa de la
regla, y si es
cierta, la
MODUS PONENS (MPP o MP)

A→B
A
-----
B
MODUS TOLLENS (TT)

se examina la
conclusión y si es
falsa, se concluye
que la premisa
también es falsa
MODUS TOLLENS (TT)
 RESOLUCION
Etapas:
1.Las Reglas son
sustituidas por
expresiones lógicas
equivalentes.
2.Estas expresiones
lógicas se combinan en
otra expresión lógica.
3.Esta ultima expresión se
utiliza para obtener la
 RESOLUCION

• Estas etapas involucran

conceptos tales como la
combinación y simplificación
de expresiones lógicas.
• Cabe señalar que la Resolución
no siempre conduce a
conclusiones, pues no siempre
se puede conocerla verdad o
falsedad de ciertas
expresiones.
 FUENTES

• Inference. (s/f). En Dictionary.com Unabridged. Recuperado el 27 de noviembre

de 2017, de dictionary.com
• Bellucci, F. y Pietarinen, A. V. (s/f). Charles Sanders Peirce: Logic. Internet
Encyclopedia of Philosophy. Recuperado el 27 de noviembre de 2017, de
iep.utm.edu
• Kulkarni, P. y Joshi, P. (2015). Artificial intelligence: Building Intelligent Systems.
Delhi: PHI Learning.
• https://catalinasist.wordpress.com/2011/04/02/motor-y-reglas-de-
inferencia/?fbclid=IwAR3g81nc3iY6HoIgXF_wDTnKKNiVrl4jP8kmZ-
cTHUmqYiSKab6MaI0H1MI
• https://lgicaepn.blogspot.com/2011/12/reglas-de-
inferencia.html?fbclid=IwAR1j_t5CCw-plCinVIayX3quLV__Br9muh-
sYGZMInn32XL1L31g31vcgIE
Gracias por su
atención.