UNIVERSIDAD TCNICA DEL NORTE FICA-CISIC

INTELIGENCIA ARTIFICIAL Fecha: 27 de mayo de 2013

Encadenamiento hacia delante:

En el encadenamiento hacia adelante el motor de inferencia inicia con la informacin introducida por el usuario y busca en la base de reglas para llegar a la conclusin. Basado en modus ponens: A, AB |- B La base de hechos (BH) se inicializa con los hechos conocidos inicialmente. Se obtienen las consecuencias derivables de la BH: o se comparan los hechos de la BH con la parte izquierda de las reglas; se seleccionan las reglas aplicables: las que tienen antecedentes conocidos (que estn en la BH); o las nuevas conclusiones de las reglas aplicadas se aaden a la BH (hay que decidir cmo); o se itera hasta encontrar una condicin de finalizacin.. Problemas: o No focaliza en el objetivo o Explosin combinatoria Ventajas: o Deduccin intuitiva o Facilita la formalizacin del conocimiento al hacer un uso natural del mismo

Ejemplo de lenguaje: OPS-5 L. Brownston, R. Farrell, E. Kant, y N. Martin. Programming Expert Systems in OPS-5. Addison-Wesley, 1985.

Encadenamiento hacia atrs:

Este est basado en el mtodo inductivo: va guiado por un objetivo que es la conclusin (o hiptesis) que se trata de validar reconstruyendo la cadena de razonamiento en orden inverso. Cada paso implica nuevos sub-objetivos: hiptesis que han de validarse. Funcionamiento: Se inicializa la BH con un conjunto inicial de hechos; Se inicializa el conjunto de hiptesis (CH) con los objetivos a verificar; Mientras existan hiptesis a validar en CH se escoge una de ellas y se valida: o se comparan los hechos de la BH y la parte derecha de las reglas con las hiptesis; o si una hiptesis est en BH eliminarla de CH; o si no: buscar reglas que tengan como conclusin la hiptesis. Seleccionar una, aadir las premisas no satisfechas a CH como sub-objetivos.

El encadenamiento hacia atrs es un tipo de razonamiento dirigido por el objetivo, slo se considera lo necesario para la resolucin del problema. El proceso de resolucin consiste en la exploracin de un rbol. Ejemplo de lenguaje: Prolog W. F. Clocksin y C. S. Mellish . Programming in Prolog: Using the ISO Standard. Springer, 2003 (primera edicin de 1981).

Encadenamiento mixto

Partes de la cadena de razonamiento que conduce de los hechos a los objetivos se construyen deductivamente y otras partes inductivamente: exploracin bi direccional El cambio de estrategia suele llevarse a cabo a travs de meta-reglas. Ejemplos: Funcin del nmero de estados iniciales y finales Funcin de la direccin de mayor ramificacin Funcin de la necesidad de justificar el proceso de razonamiento

Se evita la explosin combinatoria del razonamiento deductivo. En el encadenamiento mixto se combinan los mtodos guiados por datos con los guiados por objetivos.

Bsqueda en profundidad y a lo ancho

Como ya sabemos dado un estado inicial, se van generando estados a travs de la aplicacin de un conjunto de reglas, las cuales al aplicarse originan un nuevo estado, as sucesivamente hasta alcanzar el estado final. Habr en consecuencia un estado inicial y un estado final que sern definidos como: 1. 2. 3. Una base de hechos en la cual aparecer un hecho que satisface ciertas caractersticas. Una base de hechos en la cual habrn desaparecido todos los hechos a establecer. Una base de hechos tal que ninguna regla puede aportar una nueva modificacin.

Los puntos 1 y 3 son comnmente adoptados por los motores de encadenamiento hacia delante, mientras el 2 es adoptado por motores con encadenamiento hacia atrs.

Busqueda primero en profundidad

Busqueda primero a lo ancho

Ejemplo de bsqueda primero en profundidad Tomemos el ejemplo de las tinas, donde se parte de dos tinas y se quiere lograr que la de 4 galones tenga 2 galones Vamos a definir algunas reglas de forma general: Restricciones 1) 2) Si una tina se lleno hasta el tope, no llenar la otra. Si una tina se acaba de llenar hasta el tope, no se puede botar.

Orden de las reglas: 1ro. Aplicar reglas para el criterio de solucin. 2do. Aplicar reglas para llenar las tinas. 3ro. Aplicar reglas para vaciar de una para otra. 4to. Aplicar reglas para botar el contenido de una de ella. Criterio de solucin R1: Si <la tina de 4> <tiene> <dos galones> entonces SOLUCION. R2: Si <la tina de 3> <tiene> <dos galones> y <la tina de 4> <esta vacia> entonces <vaciar el contenido> <para> <la tina de 4> R3: Si <la tina de 3> <tiene> <dos galones> y <la tina de 4> <no> <esta vacia> entonces <botar el contenido de><la tina de 4> La bsqueda en profundidad de acuerdo a las condiciones impuestas seria: <0,0> <0, 4> (lleno una de las tinas) (orden de las reglas) <1,3> (vaco la de 4 para la de 3) (por estar llena la de 4) <3,3> (lleno la de 3) (ya que ninguna de las dos esta llena hasta el tope) <2,4> (vaco la de 3 para la de 4) (por estar llena la de 3 y orden de las reglas) <2,0> (aplicando criterio de solucin regla 3) <0,2> (aplicando criterio de solucin regla 2) SOLUCION (aplicando criterio de solucin regla 1)