Professional Documents
Culture Documents
Planeacin y bsqueda
Programacin de Sistemas Adaptativos
Unidad 3: Sistemas inteligentes
Contenidos
Formulacin de problemas
Repaso DFS y BFS
Bsqueda
Planeacin
30/03/2012
Motivacional
MMM
CCC
30/03/2012
http://www.matematicasbachiller.com/juegos/misioneros.html
Programacin de Sistemas Adaptativos:
Planeacin y bsqueda
Resuelve el juego.
Reflexin:
Qu estrategia seguiste?
Cmo haras un programa que solucione automticamente el
juego?
30/03/2012
R
R
R
R
Formulacin de problemas
Se trata de encontrar una configuracin meta que
resuelva el problema.
Componentes
Estado inicial
Espacio de estados
estado deseado
Costo
Meta
configuracin de inicio
30/03/2012
Tipos de formulacin
Incremental
Completa
N-reinas en el tablero
Cada nivel explora algn movimiento especfico
10
30/03/2012
x
a
e
s
m
n
v
f
u
o
x
a
y
b
q
z
m
w
e
t
v
f
u
o
30/03/2012
x
a
y
b
q
x
a
y
b
q
z
m
e
t
30/03/2012
Estado inicial
Estados
Funcin de sucesin
Tablero vaco
Meta
15
[ (1, 1) ]
[ (1, 2) ]
[ (2, 1) ]
16
[ (2, 2) ]
[ (1, 3) ]
[ (1, 4) ]
[ (2, 1) ]
[ (2, 2) ]
[ (2, 3) ]
30/03/2012
Canbales y misioneros
({MMMCCC (B)}, {})
({MMMCC},
{C (B)})
({MMMC},
{CC (B)})
({MMCCC},
{M (B)})
({MMMCC
(B)}, {C})
({MMMCCC
(B)}, {})
({MCCC},
{MM (B)})
({MMCC},
{MC (B)})
Estado vlido
Estado invlido
Estado repetido
17
18
N-reinas
Canbales y misioneros
30/03/2012
19
Iasi
Fagaras
Arad
Vaslui
Rimnicu Vilcea
Timisoara
Hirsova
Lugoj
Bucarest
Mehadia
Dobreta
20
Urziceni
Pitesti
Giurgiu
Craiova
Eforie
10
30/03/2012
366
Mehadia
241
Bucarest
Neamt
234
Craiova
160
Oradea
380
Dobreta
242
Pitesti
100
Eforie
161
Rimnicu V.
193
Fagaras
176
Sibiu
253
Giurgiu
77
Timisoara
329
Hirsova
151
Urziceni
80
Iasi
226
Vaslui
199
Lugoj
244
Zerind
374
21
Arad
366
253
329
374
380
Oradea
Timisoara
Sibiu
Zerind
176
Fagaras
193
Rimnicu
V.
Sibiu
22
366
Arad
Bucarest
11
30/03/2012
Planeacin
Planeacin clsica
Formas de bsqueda
23
Lenguaje STRIPS
Describe lo siguiente:
Estados
Meta
Acciones
12
30/03/2012
Ejemplo zapatos
Init()
Goal(ZapatoIzqPuesto ZapatoDerPuesto)
25
Ejemplo zapatos
26
13
30/03/2012
Ejemplo zapatos
27
Se tiene en un laboratorio a:
28
14
30/03/2012
Acciones:
Ir de un lugar a otro
Empujar un objeto de un lugar a otro
Subir a un objeto
Bajar de un objeto
Tomar un objeto
29
Goal(ConBananas)
Action( Ir(x,y)
PRECOND: En(x, Mono)
EFFECT: En(x, Mono) En(y, Mono) )
30
15
30/03/2012
Action( EmpujarCaja(x, y)
PRECOND: En(x, Mono) En(x, Caja)
EFFECT: En(x, Mono) En(x, Caja) En(y, Mono) En(y,
Caja) )
Action( SubirACaja
PRECOND: En(x, Mono) En(x, Caja)
EFECTO: MonoBajo MonoAlto )
Action( TomarBananas
PRECOND: MonoAlto En(B, Mono)
EFECTO: SinBananas ConBananas
31
Resumen
Componentes de un problema?
Bsqueda sin informacin?
Bsqueda con informacin?
Planeacin?
32
16
30/03/2012
Referencias
33
17