Professional Documents
Culture Documents
Aula 3 - 18/03/2009
Aula 3 - 18/03/2009
Busca
Um agente com vrias opes imediatas pode decidir o que fazer comparando diferentes sequncias de aes possveis. Esse processo de procurar pela melhor sequncia chamado de busca. Formular objetivo buscar executar
Aula 3 - 18/03/2009
Exemplo: Romnia
De frias na Romnia; atualmente em Arad. Vo sai amanh de Bucareste. Formular objetivo:
Estar em Bucareste
Formular problema:
estados: cidades aes: dirigir entre as cidades
Encontrar soluo:
sequncia de cidades, ex., Arad, Sibiu, Fagaras, Bucareste.
Aula 3 - 18/03/2009
Exemplo: Romnia
Aula 3 - 18/03/2009
Formulao de problemas
Um problema definido por quatro itens: 1. Estado inicial ex., em Arad" 2. Aes ou funo sucessor S(x) = conjunto de pares estado-ao
ex., S(Arad) = {<Arad Zerind, Zerind>, }
Uma soluo uma sequncia de aes que levam do estado inicial para o estado objetivo. Uma soluo tima uma soluo com o menor custo de caminho.
Aula 3 - 18/03/2009 7
Espao de estados
O conjunto de todos os estados acessveis a partir de um estado inicial chamado de espao de estados.
Os estados acessveis so aqueles dados pela funo sucessora.
O espao de estados pode ser interpretado como um grafo em que os ns so estados e os arcos so aes.
Aula 3 - 18/03/2009 9
Estado (abstrato) = conjunto de estados reais Ao (abstrata) = combinao complexa de aes reais
ex., "Arad Zerind" representa um conjunto complexo de rotas, desvios, paradas, etc. Qualquer estado real do conjunto em Arad deve levar a algum estado real em Zerind.
Soluo (abstrata) = conjunto de caminhos reais que so solues no mundo real A abstrao til se cada ao abstrata mais fcil de executar que o problema original.
Aula 3 - 18/03/2009 10
Estados: Definidos pela posio do rob e sujeira (8 estados) Estado inicial: Qualquer um Funo sucessor: pode-se executar qualquer uma das aes em cada estado (esquerda, direita, aspirar) Teste de objetivo: Verifica se todos os quadrados esto limpos Custo do caminho: Cada passo custa 1, e assim o custo do caminho o nmero de passos do caminho
Aula 3 - 18/03/2009 11
Estados: Especifica a posio de cada uma das peas e do espao vazio Estado inicial: Qualquer um Funo sucessor: gera os estados vlidos que resultam da tentativa de executar as quatro aes (mover espao vazio para esquerda, direita, acima ou abaixo) Teste de objetivo: Verifica se o estado corresponde configurao objetivo. Custo do caminho: Cada passo custa 1, e assim o custo do caminho o nmero de passos do caminho
Aula 3 - 18/03/2009 12
Quasi soluo Estados: qualquer disposio de 0 a 8 rainhas Estado inicial: nenhuma rainha Funo sucessor: colocar 1 rainha em qualquer vazio Teste: 8 rainhas no tabuleiro, nenhuma atacada 64x63x...57 = 3x1014 sequncias para investigar
Aula 3 - 18/03/2009 13
Quasi soluo
Estados: disposies de n rainhas, uma por coluna, nas n colunas mais a esquerda sem que nenhuma rainha ataque outra Funo sucessor: adicionar uma rainha a qualquer quadrado na coluna vazia mais esquerda, de tal modo que ela no seja atacada Tamanho do espao de estados: 2.057
Aula 3 - 18/03/2009 14
Problemas de tour
visitar cada ponto pelo menos uma vez
Caixeiro viajante
visitar cada cidade exatamente uma vez encontrar o caminho mais curto
Layout de VLSI
posicionamento de componentes e conexes em um chip
Projeto de protenas
encontrar uma sequncia de aminocidos que sero incorporados em uma protena tridimensional para curar alguma doena.
Pesquisas na Web
fcil pensar na Web como um grafo de ns conectados por links
Aula 3 - 18/03/2009 15
Busca de solues
Idia: Percorrer o espao de estados a partir de uma rvore de busca. Expandir o estado atual aplicando a funo sucessor, gerando novos estados. Busca: seguir um caminho, deixando os outros para depois. A estratgia de busca determina qual caminho seguir.
Aula 3 - 18/03/2009
16
Estado inicial
Aula 3 - 18/03/2009
17
Aula 3 - 18/03/2009
18
Aula 3 - 18/03/2009
19
Aula 3 - 18/03/2009
20
Aula 3 - 18/03/2009
21
Estados vs. ns
Um estado uma (representao de) uma configurao fsica Um n uma estrutura de dados que parte da rvore de busca e inclui estado, n pai, ao, custo do caminho g(x), profundidade
A funo Expand cria novos ns, preenchendo os vrios campos e usando a funo sucessor do problema para gerar os estados correspondentes. A coleo de ns que foram gerados, mas ainda no foram expandidos chamada de borda (ou fringe)
Geralmente implementados como uma fila. A maneira como os ns entram na fila determina a estratgia de busca.
Aula 3 - 18/03/2009 22
Aula 3 - 18/03/2009
23
Estratgias de busca
Uma estratgia de busca definida pela escolha da ordem da expanso de ns Estratgias so avaliadas de acordo com os seguintes critrios:
completeza: o algoritmo sempre encontra a soluo se ela existe? complexidade de tempo: nmero de ns gerados complexidade de espao: nmero mximo de ns na memria otimizao: a estratgia encontra a soluo tima?
Aula 3 - 18/03/2009
24