Solucin de Problemas en AI

Muchos de los problemas en inteligencia artificial involucran un proceso de bsqueda de la solucin.

INTELIGENCIA ARTIFICIAL = REPRESENTACION DE CONOCIMIENTO + BUSQUEDA

Un problema de bsqueda es caracterizado por un estado inicial y un estado final as como un conjunto de operadores. Un operador transforma un estado en otro diferente. El objetivo del proceso es llevar al sistema de su estado inicial a un estado final utilizando una secuencia de operadores.

Solucin de Problemas en IA

Solucin de problemas como bsqueda en un espacio de estados:

Transformaciones

Estado Inicial Estados Finales

Ejemplo 8-Puzzle
538 4 6 721 38 546 721 3 8 546 721 538 46 721 538 4 6 721 5 8 436 721 538 426 7 1 538 746 21 538 746 2 1

348 5 6 721

38 546 721

538 461 72

53 468 721

58 436 721

538 426 71

538 426 71

538 7 6 241

538 746 21

Sistemas de Producciones

La mayora de los sistemas en inteligencia artificial estn basados en algn proceso de bsqueda. La arquitectura de sistemas de produccin provee una clara separacin entre los distintos componentes de un sistema de inteligencia artificial. Un sistema de producciones consiste de tres partes:

una base de datos global, un conjunto de reglas o producciones, y un sistema de control.

Sistemas de Producciones

Vista general de un sistema de producciones

Regla 1 Regla 2 Regla 3
...

Base de datos global

Regla n

Sistema de control

Sistemas de Producciones

La BASE DE DATOS GLOBAL (DBG) representa la estructura de datos central del sistema.

La DBG inicial es una representacin del estado inicial del problema. La forma de la DBG depende del problema especfico y puede ser tan simple como una matriz o compleja como una base de datos relacional. La BDG se transforma con la aplicacin de las producciones generando nuevos estados.

Sistemas de Producciones

Las PRODUCCIONES son reglas de la forma:

SI <precondiciones> ENTONCES <acciones>

Las precondiciones deben ser satisfechas por la BDG para que las acciones correspondientes puedan ser aplicadas. La aplicacin de cada regla modifica la BDG generando un nuevo estado de la misma. Toda regla (o produccin) puede acceder la BDG; ninguna parte de la BDG es local a ninguna regla. Toda la comunicacin entre reglas esta prohibida, toda comunicacin se realiza a travs de la DBG.

Sistemas de Producciones

El SISTEMA DE CONTROL (SC) esta encargado de dirigir el mtodo de bsqueda que ser aplicado.

El SC determina que reglas son aplicables a la BDG. El SC selecciona que regla, dentro de las que son aplicables, ser ejecutada. El SC determina cuando la condicin de terminacin se ha cumplido.

Sistemas de producciones
Ejemplos:

a). El acertijo de los 8-tildes (8-puzzle):

3 5 1 2 8 6 4 7

3 5 1 2 8 6 4 7

3 1 2 5 8 6 4 7

La base de datos global consiste en una matriz de nmeros. Existen 4 reglas o producciones:

Mover Mover Mover Mover

el el el el

blanco blanco blanco blanco

un un un un

cuadro cuadro cuadro cuadro

hacia hacia hacia hacia

arriba abajo la derecha la izquierda

Condicin de terminacin:

1 2 3 8 4 7 6 5

Sistemas de produccin especializados

Sistemas de produccin conmutativos Bajo ciertas condiciones, el orden en el cual una secuencia de reglas aplicables es aplicado a la BDG no es importante; si este es el caso, el sistema de producciones es llamado conmutativo.

Sistemas de produccin especializados

Def. Un sistema de producciones es conmutativo si satisface las siguientes propiedades con respecto a una base de datos D.

Cada miembro del conjunto de reglas aplicable a D es tambin aplicable a cualquier base de datos resultado de aplicar una regla aplicable a D. Si la condicin de terminacin es satisfecha por D, entonces tambin es satisfecha por cualquier base de datos generada a partir de aplicar cualquiera de las reglas a D. La base de datos que resulta de aplicar a D cualquier secuencia compuesta de reglas aplicables a D es invariante bajo permutaciones de la misma secuencia.

Sistemas de producciones especializados

Ejemplos de problemas conmutativos: a). Armar un rompecabezas. No importa la pieza que elija para acomodar, ninguna otra podr reemplazarla, por lo que no importa el orden en el cual las aplique.

Sistemas de producciones especializados

Sistema de producciones divisible (decomposable)

Una forma de evitar la exploracin de rutas redundantes en el rbol de bsqueda consiste en reconocer que la base de datos inicial puede ser dividida o separada en componentes que pueden ser procesados de manera independiente. Un sistema que satisface esta propiedad es llamado un sistema de produccin divisible o separable. Para dividir la base de datos, es necesario poder dividir tambin la condicin de terminacin.

El caso ms importante se presenta cuando la condicin de terminacin final puede ser expresada como una conjuncin de las condiciones de terminacin de todas las bases de datos componentes.

Sistemas de producciones especializados

Ejemplos de problemas divisibles:

a). Derive la expresin: La derivada de una suma es igual a la suma de las derivadas.
X2 + 56 log X + sen(X) b). Considere el siguiente sistema: Reglas:
R1: C (D, L) R2: C (B, M) R3: B (M, M) R4: Z (B, B, M)

Bases de datos inicial: (C, B, Z) Condicin de terminacin: Una base de datos que contenga slo Ms.