Inteligencia

Inteligencia
Artificial I
Artificial I
Rafael Rivera Lpez
Departamento de Sistemas y
Computacin
Ago-Dic 2008
eracruz! er"
Departamento de Sistemas y
Computacin
Ago-Dic 2008
eracruz! er"
Ingeniera en Sistemas
Computacionales

#$cnicas de %&s'ueda y
Satisfaccin de
Restricciones
(nidad )

Satisfaccin de
Satisfaccin de
Restricciones
Restricciones
)-2

Introduccin
Los problemas pueden resolverse
buscando en un espacio de estados.
Desde el punto de vista del algoritmo
de bsqueda cada estado es una
ca*a negra sin estructura interna
discernible.
Solo es accesada por las rutinas
especficas del problema !la funcin
de sucesor la funcin "eurstica # la
prueba de meta$.

Introduccin
%n los problemas de satisfaccin de
restricciones (PSR) los estados tienen
una representacin est&ndar
estructurada # mu# simple.
Los algoritmos de bsqueda pueden
ser definidos de tal manera que tomen
venta'a de la estructura de los estados
# usen "eursticas de propsito general
en ve( de especficas del problema
para permitir la solucin de problemas
grandes.

)roblemas de Satisfaccin de
Restricciones
*n pro+lema de satisfaccin de
restricciones !o )SR$ se define por un
con'unto de varia+les X
+
X
,
- X
n
# un
con'unto de restricciones C
+
C
,
- C
m
.
Cada variable X
i
tiene un dominio no
vaco D
i
de posibles valores.
Cada restriccin C
i
involucra algn
subcon'unto de las variables # especifica
las combinaciones permisibles de
valores de ese subcon'unto.

)roblemas de Satisfaccin de
Restricciones
*n estado del problema se define por
una asignacin de valores a alguna o
todas las variables .X
i
/ v
i
X
j
/ v
j
-0.
*na asignacin que no viola ninguna
restriccin es llamada consistente o
legal.
*na asignacin completa es una en la
cual cada variable es mencionada.
*na solucin a un )SR es una
asignacin completa que satisface todas
las restricciones.

)roblemas de Satisfaccin de
Restricciones
)roblema1 Colorear el
mapa de Australia usando
los colores ro'o verde o
a(ul de tal forma que dos
regiones vecinas no tengan
el mismo color. Australia
del
Oeste
Territorio
del
Norte
Australia
del Sur
Queensland
Nueva Gales
del Sur
Victoria
Tasmania

)roblemas de Satisfaccin de
Restricciones
2ormulacin como )SR1

3ariables1 las regiones de Australia

A !Australia del 4este$

!" !5erritorio del 6orte$

# !7ueensland$

"$S !6ueva 8ales del Sur$

% !3ictoria$

AS !Australia del Sur$

! !5asmania$

)roblemas de Satisfaccin de
Restricciones
2ormulacin como )SR1

Dominios1 %l dominio de cada variable

es el con'unto .rojo& verde& a'ul0.

Restricciones1 Las restricciones

requieren que regiones vecinas tengan
distintos colores. )or e'emplo las
combinaciones permisibles para A # !"
son los pares1
.!rojo& verde$ !rojo a'ul$ !verde rojo$
!verde a'ul$ !a'ul rojo$ !a(ul verde$0

%sta restriccin puede representarse

como A !"(

)roblemas de Satisfaccin de
Restricciones
2ormulacin como )SR1

Solucin1 9a# muc"as soluciones

posibles como
.A ) rojo& !" ) verde& # ) rojo& "$S )
verde& % ) rojo& AS ) a'ul& ! ) rojo0

)roblemas de Satisfaccin de
Restricciones
%s til visuali(ar un
)SR como un grafo de
restricciones.
Los nodos del grafo
corresponden a las
variables del
problema # los arcos
corresponden a las
restricciones.
AO
TN
AS
Q
NGS
V
T

)roblemas de Satisfaccin de
Restricciones
%s til visuali(ar un
)SR como un grafo de
restricciones.
Los nodos del grafo
corresponden a las
variables del
problema # los arcos
corresponden a las
restricciones.
AO
TN
AS
Q
NGS
V
T

)roblemas de Satisfaccin de
Restricciones
%l tipo m&s simple de )SR involucra variables que son
discretas # tienen dominios finitos.
Los problemas de coloreo de mapas son de este tipo.
Incluso el problema de las : reinas puede plantearse
como )SR1

3ariables1 #
+
& *& #
:
!)osiciones de cada reina en las
columnas + - :$.

Dominios1 Cada variable tiene el dominio .+ , ; < =

> ? :0.
Los )SR de dominios finitos inclu#en a los ,SR
+ooleanos cu#as variables son verdadero o falso(

)roblemas de Satisfaccin de
Restricciones
Los tipos de restricciones que se pueden tener
son1

Restricciones unarias1 restringen el valor de una sola

variable.

%'emplo1 A la gente de Australia del Sur no le gusta el

color verde. AS verde

Cada restriccin unaria puede eliminarse simplemente

preprocesando el dominio de la variable correspondiente
para eliminar cualquier valor que viole la restriccin.

Restricciones binarias1 relacionan dos variables.

%'emplo1 Australia del Sur # 6ueva 8ales del Sur no

pueden tener el mismo color. AS "$S
*n )SR binario es uno que tiene slo
restricciones binarias # se puede representar
con un grafo de restricciones.

@squeda bac+trac+ing para los )SR
*sando la formulacin antes
mencionada para )SR cualquier
algoritmo de bsqueda visto
anteriormente puede ser usado para
resolverlos.
Suponiendo que se usa bsqueda
primero por amplitud el factor de
ramificacin en el nivel superior es
nd en el siguiente nivel es !n A +$d #
as sucesivamente para los n niveles.
Se genera un &rbol de nBd
n
"o'as.

@squeda bac+trac+ing para los )SR
La +&s'ueda +ac-trac-ing es una
bsqueda primero en profundidad
que elige valores para una variable a
la ve( # CregresaD !Cbac+tra+sD$
cuando a una variable no le quedan
valores legales para asignarle.

@squeda bac+trac+ing para los )SR
AO = rojo AO = verde AO = azul
AO = rojo
TN = verde
AO = rojo
TN = azul
AO = rojo
TN = verde
Q = rojo
AO = rojo
TN = verde
Q = rojo

@squeda bac+trac+ing para los )SR
La +&s'ueda +ac-trac-ing simple
es un algoritmo no informado asi
que no se espera que sea efectivo
para problemas grandes.

@squeda bac+trac+ing para los )SR
)ropagando informacin a travEs de
las restricciones

,or-ard c.ec+ing

Cuando una variable X es asignada el

proceso 2C observa a cada variable sin
asignar / que estE conectada a X por una
restriccin # borra del dominio de /
cualquier valor que sea inconsistente con el
valor elegido para X.

@squeda bac+trac+ing para los )SR
)ropagando informacin a travEs de las restricciones

,or-ard c.ec+ing
Despus que
V=azul
Despus que
Q=verde
Despus que
AO=rojo
Dominios
Iniciales
RVA --- A R V A R
RVA A RVA R A V A R
RVA VA RVA RVA RVA VA R
RVA RVA RVA RVA RVA RVA RVA
T AS V NGS Q TN AO