TESIS-MAG-0201.pdf

En lo que resta del capítulo se formalizará el algoritmo de búsqueda que la
herramienta implementará y la forma en que ella incorpora conocimiento estructural.
3.2.2 Algoritmo de búsqueda propuesto.
En esta sección se formalizarán los conceptos introducidos en la sección
previa, lo cual permitirá construir el algoritmo de búsqueda y establecer qué
conocimiento adicional se requiere para especificarlo completamente.
Defmición 3.13 : Heurística de búsqueda local.
Sean V(x) = (P(z,x),C(x), j(m)) la tupla que especiflca la vecindad para el
problema, 8H el criterio de detención y aH el de aceptación de la heurística.
Adicionalmente se definirá una función A(x") que calcula la caracterización del
problema ¿ = {é1(xk )} y una función que ajusta parámetros. Entonces una
heurística de búsqueda local corresponde a la tupla H(x)=(V, 5H, cxg,A,9V•.
Lo anterior quiere decir que dada una estructura de control para la búsqueda
local, la heurística queda determinada por la tupla de la definición 3.13. En adelante
consideraremos la estructura de control como la que se describió en la figura 1 .5a,
puesto que los algoritmos a), b) y c) descritos en la sección 1.1.1 corresponden a un caso
particular de un algoritmo de tabu search. Por otra parte, anteriormente se introdujo el
concepto de heurística contextual. A continuación, se definirá con mayor precisión
dicho concepto.
Definición 3.14. : Estado de la búsqueda, heurística contextual, precondición y
efecto.
Sea s un vector de variables (s1 ,. • ., s,,) que representa el estado del sistema,
al que se denominará estado de la búsqueda. Sea f'(s) es una condición que el estado s
61