UNIDAD DIDCTICA 2 LOS SISTEMAS DE BUSQUEDA.

OBJETIVO GENERAL Ofrecer una introduccin a las tcnicas bsicas de la bsqueda en inteligencia artificial (IA), bajo una orientacin prctica orientada a la resolucin de problemas en este rea. OBJETIVOS ESPECIFICOS Tratar con mayor detalle la resolucin general de problemas y las tcnicas de representacin del conocimiento (bsqueda de la solucin en un espacio de estados, heurstica, inferencia y control) Una parte fundamental de la Inteligencia Artificial es su aspecto prctico, para ello se Estudiarn y desarrollarn programas que permitan comprobar su inters desde el punto de vista informtico. Se utilizar el lenguaje Common Lisp en la programacin de dichos trabajos. Estructura temtica
Segunda Unidad Captulos 2.LOS SISTEMAS 2.1 Introduccin a los DE BUSQUEDA sistemas de bsquedas Temas 2.1.1 El papel de la bsqueda en la Inteligencia Artificial. 2.1.2 Componentes de un sistema de bsqueda 2.1.3 Clasificacin. 2.2.1 Algoritmos generales de bsqueda. 2.2.2 Estrategias de bsqueda. 2.2.3 Bsqueda heurstica 2.3.1 Algoritmos Genticos 2.3.2 Bsqueda en sistemas de juegos

2.2 Bsquedas en espacios de estados

2.3 Otros tipos de bsquedas

UNIDAD DIDCTICA 2 LOS SISTEMAS DE BUSQUEDA.

Introduccin Tcnicas de bsqueda de soluciones aplicando Inteligencia Artificial [1] Un aspecto importante de la hiptesis del sistema simblico propuesto por Newell y Simon[2] , es que los problemas resueltos por medio de la bsqueda entre varias alternativas, se basan en la aplicacin del sentido comn humano. Los humanos generalmente consideran un nmero de estrategias alternas que las guen a la solucin de problemas. De este modo, se han establecido diferentes alternativas o cursos de accin que conduzcan a la solucin en dependencia de las caractersticas del espacio de estados del problema a resolver. El espacio de estados (EE) se define como la representacin de un problema o situacin que abarca todas las posibles situaciones que se pueden presentar en la solucin del mismo as como las relaciones que existen entre ellas. Est formado de nodos que describen situaciones particulares del problema y arcos que conectan pares de nodos y representan los movimientos legales o reglas que rigen el EE; ellos determinan si es posible pasar de una situacin del problema a otra (Luger y Stubblefield, 1989). De esta forma, la solucin al problema se establece como un algoritmo de bsqueda que analiza los nodos del EE y se representa por el conjunto definido de la siguiente forma [N, A, I,D] (Luger y Stubblefield, 1989) donde:

N es el conjunto de nodos del EE. Estos corresponden a los estados en el proceso de solucin del problema.

A es el conjunto de arcos o ligas entre nodos. Corresponden a los pasos en el proceso de solucin del problema. I es un subconjunto no vaco de N que contiene el los estados iniciales del problema. D es un subconjunto no vaco de N que contiene el los estados finales o la solucin al problema, los cuales pueden ser obtenidos usando una propiedad medible de los estados encontrados durante la bsqueda una propiedad de la ruta recorrida durante la bsqueda.

La funcin de un algoritmo de bsqueda es encontrar una trayectoria que conduzca a una solucin del problema por medio del EE.

[1] Bruno Lpez Takeyas, Instituto Tecnolgico de Nuevo Laredo, Reforma Sur 2007, C.P. 88250, Nuevo Laredo, Tamps. Mxico, http://www.itnuevolaredo.edu.mx/takeyas , E-mail: takeyas@itnuevolaredo.edu.mx [2] por la poca del computacionalismo clsico liderado por Newell y Simon (Newell, Shaw y Simon, 1958) haban logrado quellos modelos simblicos resolvieran teoremas lgicos utilizando el clculo proposicional. Estos resultados favorables hicieron que prosperara la bsqueda de representaciones de tipo simblico y que los logros alcanzados por los modelos paralelos cayeran en el olvido.

Cuando se intenta encontrar un nodo solucin analizando completamente el EE, se est aplicando un mtodo conocido como bsqueda exhaustiva (Luger y Stubblefield, 1989); sin embargo existen algunos problemas cuyos espacios de estados son demasiado complejos y extensos que resulta prcticamente imposible recorrerlos en forma completa, an por medio de dispositivos de cmputo demasiado poderosos. Los humanos no solo usan la bsqueda exhaustiva, es decir, tambin resuelven los problemas basados en la aplicacin de reglas de juicio que guen la bsqueda por aquellas porciones del EE que parezcan prometedoras. Estas reglas son conocidas como heursticas. Una heurstica es una estrategia de bsqueda selectiva en el espacio de un problema y gua la bsqueda a lo largo de las lneas que tienen una alta probabilidad de xito mientras que descartan aquellas trayectorias que no la ofrecen (Luger y Stubblefield, 1989).

Las heursticas no son infalibles, ya que no siempre garantizan una solucin ptima al problema, pero una buena heurstica puede y debe aproximarse lo ms que se pueda la mayora de las veces a ella. Lo ms importante es que emplea conocimiento relacionado con la naturaleza del problema para encontrar una solucin de manera eficiente. Si el EE proporciona un medio de formalizar el proceso de solucin a problemas, entonces las heursticas permiten manipular ese formalismo con inteligencia. Un Algoritmo Gentico es un ejemplo de un procedimiento de bsqueda que aplica eleccin aleatoria o heurstica como herramienta para guiarse a travs del anlisis del EE. El uso de eleccin aleatoria como la principal herramienta para dirigir el proceso de bsqueda parece extrao al principio, ya que, tradicionalmente se han usado tcnicas de bsqueda basadas en clculo y enumerativas para resolver problemas de optimizacin, sin embargo, existen numerosas aplicaciones que han demostrado que ofrece buen comportamiento para localizar o aproximarse a ptimos globales durante la solucin de problemas (Goldberg, 1989)

Problemas bsicos en Inteligencia Artificial Para construir un sistema bsico de inteligencia artificial capaz de resolver un problema especfico, es necesario realizar las siguientes acciones: Definir de una forma precisa el problema, incluyendo especificaciones de las condiciones iniciales y de las situaciones finales que pueden considerarse como soluciones aceptables al problema. Analizar el problema. Puede darse el caso de que unos muy pocos rasgos importantes puedan tener un gran impacto en la identificacin de la tcnica ms apropiada para resolver el problema. Identificar y representar el conocimiento que es necesario para resolver el problema. Escoger la mejor tcnica y aplicarla para la resolucin del problema. Definicin del Problema El primer paso hacia el diseo de un programa que resuelva un problema en IA, debe ser la creacin de una forma descriptiva formal y manipulable del problema, a partir de la descripcin informal del mismo. La definicin del problema como una bsqueda en el espacio de estados forma la base de la mayora de los mtodos que se utilizan para la solucin de problemas en IA. Los estados del sistema o descripcin de estados, son representaciones que contienen el conjunto de toda la informacin que describe la situacin actual del sistema. En cambio, el espacio de estado del sistema o espacio del problema, es el dominio que contiene todos los posibles estados del sistema. El espacio de estados puede ser finito o infinito. Los mecanismos que se emplean para modificar o transformar un estado del sistema, toman el nombre de operadores,producciones o acciones, y se utilizan para enlazar un estado actual, con otro estado objetivo. Cuando existen varias posibles soluciones, representadas por diversas secuencias de operadores que enlazan dos estados, es necesario desarrollar algoritmos de IA que sean capaces de identificar las mejores secuencias. En general, el posible nmero secuencias de operadores a ser exploradas en el desarrollo de una solucin puede ser muy grande, por lo que los algoritmos que se empleen no deben requerir la enumeracin de todas las secuencias posibles. Esto sugiere el empleo de un proceso de bsqueda para tratar de encontrar una solucin aceptable. La bsqueda es un proceso de gran importancia en la resolucin de problemas difciles para los que no se dispone de tcnicas ms directas. Los procesos de bsqueda estn cercanamente relacionados con los procesos de optimizacin.