TESIS-MAG-0201.pdf

debe cumplir y I(s) genera el estado s ' . Entonces se define heurística contextual
como a la tupla Hc(x,$)=(1H,2). La condición 's) se denomma precondición y la
función E(s) se conoce como efectos.
La historia del proceso es el conjunto de estados de la búsqueda visitados
por el algoritmo y corresponde a la sucesión de estados L, ={s 0, s1,..., sk} a la cual se le
denominará bitácora de la búsqueda.
Definición 3.15 : Grafo de heurísticas.
Se defme como grafo de heurística GH N,bA), al grafo dirigido y
acíclico compuesto por un conjunto de nodos N, cada uno de los cuales corresponde a
una heurística contextual H(x,$) según la definición 3.13 y un conjunto de arcos
A{(u,w) 1 U,V E N} que unen dichos nodos defmiendo la precedencia entre heurísticas
contextuales•.
La bitácora se genera por la aplicación del efecto sobre el estado actual de la
búsqueda, por lo tanto, depende del orden en que los nodos hayan sido visitados.
Defmición 3.16 : Heurísticas sucesoras.
Sean GH —(N,A) un grafo de heurística, s un estado de la búsqueda y Hc(x,$)
una heurística contextual perteneciente al conjunto de nodos Nif, entonces al conjunto
Suc(s,Hc) = {u = (VH,) E N 13 (Hc,u) E A A í'('s)) se le denominará de heurísticas
sucesoras U.
Por lo tanto, dado un grafo de heurísticas GH =(NH,AH), un estado inicial de
la búsqueda s y una solución inicial factible x, el algoritmo consiste en generar una
sucesión finita de soluciones Xk{X, x1,..., xk} a partir de la bitácora de la búsqueda
62