Búsqueda en un espacio de estados

Definificion de Espacio de estados Espacio de Estados: Formalismo para representar problemas. Ideas clave: Abstraer problemas reduciéndolos a un conjunto de estados y operadores. Resolver problema revisando posibles alternativas (¿todas?). • Analogía con forma de actuar humanos Estado: • Representación completa de la situación del mundo/problema en un momento dado. • Contiene toda la info. relevante (y nada más). Operador: • Se suponen deterministas ◦ Se sabe de antemano como sería el estado del mundo/problema después de aplicarlos. • Se suponen discretos ◦ No es relevante lo que “pasa” mientras se ejecutan.

Caracterización de un Problema PROBLEMA = Terna de 3 componentes (I, O, M) Estado/s inicial (I): Descripcion de la situacion de partida Conjunto de operadores pertinentes (O): Descripcion de los medios de los que disponemos para lograr el fin deseado Acciones que se pueden emprender, dado un estado, para alcanzar otro distino. Tienen 2 componentes: Precondiciones: condicion que debe cumplir un estado para que pueda aplicarse el operador sobre el. Postcondiciones: descripcion de las caracterısticas del nuevo estado al que se transita. Pueden ser interpretados como reglas”: (patron + accion) Conjunto de estados meta (M):

Caracterización de un Problema Estados del problema que satisfacen los requisitos para ser considerados como soluciones. Pueden expresarse en forma de lista de estados o como una funcion booleana (prueba de meta) que basandose en las propiedades de un estado indica si es meta o no. (I) y (O) determinan el espacio de estados del problema. Conjunto de todos los posibles estados admisibles del problema.

BÚSQUEDA DE SOLUCIONES Solucion: Secuencia ordenada de operadores (S ε O∗) que posibilita transito desde estados iniciales (I) a finales (O). Conseguir un ”plan de accion” que permita pasar de (I) a (M) Objetivo: Encontrar la ”mejor” solucion (o una aceptable)

ESTRATEGIAS DE BUSQUEDA Tambien estrategias de control o ”mecanismo de inferencia”. Secuencia de pasos a seguir para encontrar el conjunto de operadores deseado. • Estrategia es independiente del conocimiento. • Estrategia debe de ser: Sistematica y facilmente reproducible Producir movimientos validos en el espacio de estados Producir nuevos estados (para poder avanzar) • Necesidad de estructuras adicionales. Indicar cuando es aplicable un operador Indicar cuando se ha utilizado un operador Indicar cuando un operador produce un estado final Indicar cuando un operador produce un estado no nuevo Indicar si la solucion es aceptable