Universidad de San Carlos de Guatemala

Facultad de Ingeniería
Escuela de Ciencias y Sistemas
Inteligencia Artificial 1
Ing. Javier Gramajo López
Aux. Otto Roberto Ockrassa Morales

SISTEMAS BASADOS EN REGLAS:

INFERENCIA, MOTOR DE INFERENCIA

Josue Daniel Pirir Morales 200611089

José Manuel De Paz Estrada 200611316
Michael Anthony Colindres Hernández 200611415
INFERENCIA

Definimos a la inferencia como una proposición lógica que se encuentra relacionada

con dos o más objetos, la cual está conformada en dos partes: la premisa y la conclusión, cada
una expresión lógica representa a cada una de las partes, las cuales se encuentra conectadas
de igual manera por operadores lógicos.

Al referirnos a la inferencia lógica clásica, sabemos que dicha inferencia solo admite
dos valores: verdadero o falso. Podemos definir a la inferencia como la operación lógica
utilizada en los motores de inferencia de los Sistemas Expertos.

La inferencia es una operación por la que se obtiene conocimiento “nuevo” a partir del
conocimiento existen tres tipos: inferencia de deducción, inducción y abducción:

 Deducción: Es donde el nuevo conocimiento es cierto si, el punto de partida de la

inferencia es verdadera. Esta es la fuerza de la inferencia lógica.

) ))
} )
)

 Inducción: Es el mecanismo de aprendizaje automático. Presenta el problema de

“dudosa fiabilidad” del conocimiento inferido. Compara correlación con la causalidad.

) )
) )
) )

) ))
) ))

 Abducción: Se define como un conjunto de conocimiento se puede obtener un

conjunto de explicaciones posibles que, usando la deducción, harían coherente el
conocimiento de partida.

Conocimiento Explicaciones
Abducción
De partida posibles
MOTOR DE INFERENCIA

En los sistemas expertos existen dos tipos de elementos: los datos (que están
conformados por un conjunto de hechos o evidencia) y el conocimiento (que contiene el
conjunto de reglas almacenadas en la base de conocimiento).

El motor de inferencia se vale de las reglas almacenadas en su base de conocimiento, para

obtener nueva conclusiones o hechos, haciendo uso de la lógica clásica. El motor de inferencia
define que si una premisa es verdadera, la conclusión de la regla debe ser de igual manera
verdadera. Por lo cual podemos decir que cuando encontramos una premisa de una regla
como verdadera tenemos motivo para asumir que la conclusión será verdadera.

El motor de inferencia es el encargado de administrar y controlar de forma lógica el

manejo y la utilización del conocimiento almacenando en la base de conocimientos. “El
paradigma del motor de inferencia es la estrategia de búsqueda para producir el conocimiento
demandando”.

El motor de inferencia sigue los pasos siguientes:

1. Evaluación de las condiciones de las reglas con respecto a la base de conocimiento.

2. Si no se puede aplicar ninguna regla, se terminar sin éxito; en caso contrario se elige
cualquiera de las aplicables y se ejecuta su parte acción.
3. Si se llega al objetivo, se ha resuelto el problema; en caso contrario se vuelve al paso 1.

Según la definición de (Harmond, 1988) el motor de inferencia realiza dos tareas principales:

1. Examinar los hechos y las reglas y si es posible añadir nuevos hechos.

2. Decidir el orden en el que se harán las inferencias. Dicho de otra manera dirige la
conexión entre el ingeniero, el experto o el usuario establecen con un sistema.

Dichas estrategias las puede realizar empleando estrategias de inferencia y estrategias de

control.

Las estrategias de inferencia estarán subdividas en estrategias de inferencia y de control, las

primeras se dividen en: Modus ponens, razonamiento con incertidumbre y resolución.
Mientras que las estrategias de control estarán distribuidas en: encadenamiento hacia
adelante y hacía atrás, búsqueda en profundidad y en extensión, razonamiento monotónico y
no monotónico.
E JEMPLO D E MOTOR DE I NFERENCIA
Asumiendo las siguientes reglas:

R1: SI abrigo ENTONCES bingo.

R2: SI chaqueta ENTONCES dentista.
R3: SI bingo ENTONCES esposa.

El problema es determinar si se obtiene “esposa” sabiendo que se cumplen abrigo y chaqueta.

Utilizando encadenamiento hacia adelante.

Lo primero que se hace es introducir en la base de datos abrigo y chaqueta:

B.D. = {abrigo, chaqueta}

El sistema identifica las reglas aplicables:

R = {R1, R2}

Selecciona R1 y la aplica. Esto genera bingo que se añade a la base de datos:

B.D. = {abrigo, chaqueta, bingo}

Como no se ha solucionado el problema, vuelve a identificar un conjunto de reglas aplicables

(excepto la ya aplicada, que no cambiaría el estado de la base de datos): R = {R2, R3}

Selecciona y aplica R2 quedando:

B.D. = {abrigo, chaqueta, bingo, dentista}

El problema todavía no se ha solucionado, luego el sistema selecciona otro conjunto de reglas

aplicables: R = {R3}

Seleccionando y aplicando R3, la base de datos queda:

B.D. = {abrigo, chaqueta, bingo, dentista, esposa}

Como esposa se encuentra en ella, se ha llegado a la solución del problema.

BIBLIOGRAFÍA
1. Juan José Samper Márquez. (S.F). Sistemas Expertos. Recuperado el 04/05/2011.
http://www.redcientifica.com/doc/doc199908210001.html
2. Cesarí Matilde. (2009). Sistemas Expertos.
http://ai.frm.utn.edu.ar/micesari//files/SISTEMAS_BASADOS_REGLAS.pdf
3. Prof. Francklin Riva Echeverría. (2005). Sistemas Expertos.
http://webdelprofesor.ula.ve/economia/guillenr/inteligencia/sist_expert_2.pdf
4. Díaz de Santos. (Madrid 1988) Sistemas Expertos
5. Francisco Carrillo. (3 de abril de 2011). Motor de inferencia.
http://fecyman10.wordpress.com/2011/04/03/motor-de-inferencia/
6. Luis Álvarez Munárriz. (1994). Fundamentos de inteligencia artificial. EDITUM
7. Wikipedia. Inferencia, recuperado el 2 de mayo de 2011 desde
http://es.wikipedia.org/wiki/Inferencia