Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 1/5

Transcrição

1 Ensino de IA Simbólica com Abordagem à Resolução de Problemas Vivian Cremer Claudio Cesar de Sá UDESC - Universidade do Estado de Santa Catarina Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 1/5

2 Roteiro da Aula - Parte II Principais métodos de busca; Exemplo 1: Problema do labirinto (Busca em Largura); Exemplo 2: Problema do pastor, lobo, ovelha e repolho (Busca em Profundidade); Exemplo 3: Problema do caminho mínimo (A ). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 2/5

3 Métodos de Buscas O objetivo é apresentar os principais métodos de busca; Quando aplicados a problemas em particular, sua eficácia torna-se altamente dependente do modo como eles exploram o conhecimento específico de cada domínio de aplicação. Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 3/5

4 Métodos de Busca Métodos de buscas cegas: Busca em Largura; Busca em Profundidade; Busca em Largura com Custo Uniforme; Busca com Profundidade Limitada; Busca em Profundidade Iterativa; Busca Bidirecional. Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 4/5

5 Métodos de Busca Métodos de buscas heurísticas: Busca gulosa; Algoritmo A ; Algoritmo IDA ; Minimax. Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 5/5

6 Exemplo 1: Problema do Labirinto saída entrada saída 2 Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 6/5

7 Regras para o Labirinto As regras que conduzem o caminho por entre o labirinto são dadas por: Entrar no labirinto :: [entrada] {liga(entrada,x)} = [X] {} Mover-se de um lugar para outro :: [X] {liga(x,y)} = [Y] {} 3. Sair do labirinto :: [X] {liga(x,saida)} = [saida] {} Próximo Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 7/5

8 Em Prolog... conexao(a,b) :- liga(a,b). conexao(a,b) :- liga(b,a). liga(entrada,7). liga(7,8). liga(7,1). liga(8,14). liga(8,9). liga(14,20). liga(9,15). liga(20,19). liga(20,21). liga(15,21). liga(21,22). liga(22,16). liga(16,10). liga(10,11). liga(11,12). liga(12,18). liga(12,6). liga(18,17). liga(18,saida2). liga(17,23). liga(23,saida2). liga(6,5). liga(5,4). liga(1,2). liga(2,3). liga(3,saida1). Voltar Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 8/5

9 EE para o Labirinto Voltar entrada saída saída 2 4 Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 9/5

10 Busca em Largura 1 a Nível 0 2 b 3 c Nível d e f g h Nível 2 9 i 10 j Nível 3 Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 10/5

11 Procedimento de Busca objetivo(nodo). busca_largura([[nodo Caminho] _],[Nodo Caminho]):- busca_largura([nodo Caminho],Solucao):- expandir(nodo, Expansao_do_Nodo), append(caminho,expansao_do_nodo, Novo_caminho), busca_largura(novo_caminho, Solucao). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 11/5

12 Código Fonte labirinto :- caminho(entrada,solucao), reverse(solucao,sol_invertida), write( Caminho: ), imprima(sol_invertida), write( \n ). labirinto. todas_saidas :- labirinto, fail. imprima([]):-!. imprima([cabeca _]):- objetivo(cabeca), write(cabeca),!. imprima([cabeca Cauda]):-!,write(Cabeca), write(, ), imprima(cauda). imprima(arg):- write(arg). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 12/5

13 Código Fonte busca_largura([[nodo_inicial]], Solucao). objetivo(nodo). caminho(nodo_inicial, Solucao):- busca_largura([[nodo Caminho] _],[Nodo Caminho]):- busca_largura([nodo Caminho],Solucao):- expandir(nodo, Expansao_do_Nodo), append(caminho,expansao_do_nodo, Novo_caminho), busca_largura(novo_caminho, Solucao). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 13/5

14 Código Fonte expandir([nodo Caminho],Expansao_do_Nodo) :- findall([novo_nodo,nodo Caminho], (conexao(nodo, Novo_nodo), not(member(novo_nodo,[nodo Caminho]))), Expansao_do_Nodo),!. expandir(_,[]). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 14/5

15 Código Fonte conexao(a,b) :- liga(a,b). conexao(a,b) :- liga(b,a). /*********************************************** * Representacao da conectividade do labirinto * ***********************************************/ liga(entrada,7). liga(7,8). liga(7,1). liga(8,14). liga(8,9). liga(14,20). liga(9,15). liga(20,19). liga(20,21). liga(15,21). liga(21,22). liga(22,16). liga(16,10). liga(10,11). liga(11,12). liga(12,18). liga(12,6). liga(18,17). liga(18,saida2). liga(17,23). liga(23,saida2). liga(6,5). liga(5,4). liga(1,2). liga(2,3). liga(3,saida1). objetivo(saida1). objetivo(saida2). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 15/5

16 Resultados?- labirinto. Caminho: Yes?- entrada,7,1,2,3,saida1 Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 16/5

17 Resultados?- todas_saidas. Caminho: entrada,7,1,2,3,saida1 Caminho: entrada,7,8,14,20,21,22,16,10,11,12,18,saida2 Caminho: entrada,7,8,9,15,21,22,16,10,11,12,18,saida2 Caminho: entrada,7,8,14,20,21,22,16,10,11,12,18,17,23,saida2 Caminho: entrada,7,8,9,15,21,22,16,10,11,12,18,17,23,saida2 No?- Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 17/5

18 Exemplo 2: Problema do Pastor Pastor Lobo Ovelha Barco c/ 2 lugares Rio Repolho Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 18/5

19 Definindo estado inicial e final Estado inicial: [esquerda,esquerda,esquerda,esquerda], isto é, [P,L,O,R] se encontram na margem esquerda; Estado Final: [direita,direita,direita,direita], isto é, [P,L,O,R] chegarem com segurança a margem oposta do rio; Exemplo: [direita,esquerda,direita,esquerda], quer dizer que o Pastor e a Ovelha encontram-se na margem direita do rio, enquanto que o Lobo e o Repolho encontram-se na margem esquerda do rio. Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 19/5

20 Regras do Problema do Pastor As regras que conduzem a travessia são: Ir o homem sozinho :: [X,L,O,R] {oposto(x,y), seguro(y,l,o,r)} = [Y,L,O,R] { } Ir o homem com o lobo :: [X,X,O,R] {oposto(x,y), seguro(y,y,o,r)} = [Y,Y,O,R] { } Ir o homem com a ovelha :: [X,L,X,R] {oposto(x,y), seguro(y,l,y,r)} = [Y,L,Y,R] { } Ir o homem com o repolho :: [X,L,O,X] {oposto(x,y), seguro(y,l,o,y)} = [Y,L,O,Y] { } Próximo Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 20/5

21 Regra 1 move(estado(x,l,o,r),estado(y,l,o,r)):- oposto(x,y). oposto(esquerda,direita). oposto(direita,esquerda). /* O lobo come a ovelha */ inseguro( estado(p,x,x,_) ):- oposto(p,x),!. /* A ovelha come o repolho */ inseguro( estado(p,_,x,x) ):- oposto(p,x),!. Voltar Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 21/5

22 Regra 2 move(estado(x,x,o,r),estado(y,y,o,r)):- oposto(x,y). Voltar Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 22/5

23 Regra 3 move(estado(x,l,x,r),estado(y,l,y,r)):- oposto(x,y). Voltar Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 23/5

24 Regra 4 move(estado(x,l,o,x),estado(y,l,o,y)):- oposto(x,y). Voltar Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 24/5

25 EE para o Problema do Pastor L P L O O P O P O R R P L R L R P L O R * P L O R L R P L R R P O R O P O P O O P L O L P L R L R P L O R L R P O * Voltar Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 25/5

26 Busca em Profundidade Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 26/5

27 Procedimento de Busca: busca_profundidade( X, L) :- X == estado(direita,direita,direita,direita), nl, write( ============================================== ), qtd_move(l,n), write( \n Uma solu\c{c}{\ a}o com ), write(n), write( movimentos {\ e} dada por:: \n ), reverse(l,l_invertida), imprima_caminho(l_invertida). busca_profundidade(estado_inicial, Visitados):- move(estado_inicial,proximo_estado), not( inseguro(proximo_estado) ), not( eh_membro(proximo_estado,visitados) ), busca_profundidade( Proximo_estado, [Proximo_estado Visitados]). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 27/5

28 Código Fonte travessia :- busca_profundidade(estado(esquerda,esquerda,esquerda,esquerda), [estado(esquerda,esquerda,esquerda,esquerda)]). travessia. todas_travessias :- travessia, fail. Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 28/5

29 Código Fonte busca_profundidade( X, L) :- X == estado(direita,direita,direita,direita), nl, write( ============================================== ), qtd_move(l,n), write( \n Uma solucao com ), write(n), write( movimentos {\ e} dada por:: \n ), reverse(l,l_invertida), imprima_caminho(l_invertida). busca_profundidade(estado_inicial, Visitados):- move(estado_inicial,proximo_estado), not( inseguro(proximo_estado) ), not( eh_membro(proximo_estado,visitados) ), busca_profundidade( Proximo_estado, [Proximo_estado Visitados]). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 29/5

30 Código Fonte /* Move Pastor + Lobo */ move(estado(x,x,o,r),estado(y,y,o,r)):-oposto(x,y). /*Move Pastor + Ovelha */ move(estado(x,l,x,r),estado(y,l,y,r)):-oposto(x,y). /* Move Pastor + Repolho */ move(estado(x,l,o,x),estado(y,l,o,y)):-oposto(x,y). /* Move Pastor sozinho */ move(estado(x,l,o,r),estado(y,l,o,r)):-oposto(x,y). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 30/5

31 Código Fonte /* Declarando o conceito de oposto */ oposto(esquerda,direita). oposto(direita,esquerda). /* O lobo come a ovelha */ inseguro( estado(p,x,x,_) ):- oposto(p,x),!. /* A ovelha come o repolho */ inseguro( estado(p,_,x,x) ):- oposto(p,x),!. Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 31/5

32 Código Fonte qtd_move([],0). qtd_move([_ L],N) :- qtd_move(l,n1), N is N eh_membro(x,[x _]):-!. eh_membro(x,[_ L]):- eh_membro(x,l). imprima_caminho( [H1,H2 T] ) :- imprima_movimento(h1,h2), imprima_caminho([h2 T]). imprima_caminho( _ ). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 32/5

33 Código Fonte /* as travessias */ imprima_movimento( estado(x,w,g,c), estado(y,w,g,c) ) :-!, write( O Pastor atravessa o rio da margem ), write(x), write( para a margem ), write(y), nl. imprima_movimento( estado(x,x,g,c), estado(y,y,g,c) ) :-!, write( O Pastor leva o Lobo da margem ), write(x), write( do rio para a margem ), write(y),nl. imprima_movimento( estado(x,w,x,c), estado(y,w,y,c) ) :-!, write( O Pastor leva a Ovelha da margem ), write(x), write( do rio para a margem ), write(y),nl. imprima_movimento( estado(x,w,g,x), estado(y,w,g,y) ) :-!, write( O Pastor leva o Repolho da margem ), write(x), write( do rio para a margem ), write(y), nl. Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 33/5

34 Resultados?- travessia. ============================================== Uma solução com 8 movimentos é dada por:: O Pastor leva a Ovelha da margem esquerda do rio para a margem direita O Pastor atravessa o rio da margem direita para a margem esquerda O Pastor leva o Lobo da margem esquerda do rio para a margem direita O Pastor leva a Ovelha da margem direita do rio para a margem esquerda O Pastor leva o Repolho da margem esquerda do rio para a margem direita O Pastor atravessa o rio da margem direita para a margem esquerda O Pastor leva a Ovelha da margem esquerda do rio para a margem direita Yes?- Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 34/5

35 Resultados?- todas_travessias. ==============================================... ============================================== Uma solução com 8 movimentos é dada por:: O Pastor leva a Ovelha da margem esquerda do rio para a margem direita O Pastor atravessa o rio da margem direita para a margem esquerda O Pastor leva o Repolho da margem esquerda do rio para a margem direita O Pastor leva a Ovelha da margem direita do rio para a margem esquerda O Pastor leva o Lobo da margem esquerda do rio para a margem direita O Pastor atravessa o rio da margem direita para a margem esquerda O Pastor leva a Ovelha da margem esquerda do rio para a margem direita No?- Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 35/5

36 Exemplo 3: Problema do caminho mínimo 204 Caçador 74 Garuva Mafra Joinville São Bento Jaraguá 301 Rio do Sul Itajaí 9 67 Balneário 43 Camboriú 40 Blumenau Brusque Lages Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 36/5

37 Regras do problema Algumas regras se fazem necessárias, tais como: Partir de Joinville :: [Joinville] {estrada(joinville,c,d), D é a menor distância } = [C] { } Mover-se de uma cidade qualquer para outra :: [A] {estrada(a,b,d), D é a menor distância } = [B] { } Chegar em Lages :: [C] {estrada(c,lages,d), D é a menor distância } = [Lages] { } Próximo Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 37/5

38 Regras estrada(bal_camboriu, brusque, 43). estrada(bal_camboriu,itajai, 9). estrada(blumenau, brusque, 40). estrada(blumenau, itajai, 47). estrada(blumenau, jaragua, 67). estrada(blumenau, rio_do_sul, 89). estrada(cacador, jaragua, 301). estrada(cacador, mafra, 204). estrada(garuva, joinville, 36). estrada(garuva, sao_bento, 74). estrada(itajai, joinville, 94). estrada(jaragua, joinville, 53). estrada(jaragua, sao_bento, 45). estrada(joinville, sao_bento, 68). estrada(mafra, sao_bento, 65). estrada(rio_do_sul, lages, 134). Voltar Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 38/5

39 EE do problema Joinville Garuva Itajaí... São Bento Joinville Camboriú Blumenau Joinville Voltar Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 39/5

40 Algoritmo A A é uma maneira de melhorar o algoritmo de busca em largura com custo uniforme e o algoritmo de busca gulosa, combinando duas funções: f(n) = g(n) + h(n) Raiz g(n) n h(n) Meta Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 40/5

41 Heurística utilizada Os valores de h(n) são distâncias estimadas em linha reta até Lages Balneário Camboriú 275 Jaraguá do Sul 275 Blumenau 219 Joinville 316 Brusque 203 Lages 0 Caçador 162 Mafra 265 Garuva 353 Rio do Sul 134 Itajaí 266 São Bento do Sul 320 Próximo Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 41/5

42 Em Prolog... distancia( Cidade,lages,H):- distancia( Cidade,H). distancia(bal_camboriu,275). distancia(blumenau,219). distancia(brusque,203). distancia(cacador,162). distancia(garuva,353). distancia(itajai,266). distancia(jaragua,275). distancia(joinville,310). distancia(mafra,265). distancia(rio_do_sul,134). distancia(sao_bento,320). distancia(lages,0). Voltar Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 42/5

43 Estágios que a busca realiza Voltar (a) Estado inicial Joinville 316 = (b) Depois da expansão de Joinville Joinville Garuva Itajaí Jaraguá S. Bento 389 = = = = (c) Depois da expansão de Jaraguá do Sul Joinville Garuva Itajaí Jaraguá S. Bento Blumenau Caçador Joinville S. Bento 339 = = = = Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 43/5

44 Estágios que a busca realiza (d) Depois da expansão de Blumenau Joinville Garuva Itajaí Jaraguá S.Bento Blumenau Caçador Joinville S.Bento Brusque Itajaí Jaraguá Rio do Sul 363 = = = = Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 44/5

45 Estágios que a busca realiza (e) Depois da expansão de Rio do Sul Joinville Garuva Itajaí Jaraguá S.Bento Blumenau Caçador Joinville S.Bento Brusque Itajaí Jaraguá Rio do Sul Blumenau Lages 517 = = Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 45/5

46 Procedimento de Busca a_estrela([[objetivo Rota] _],Objetivo,Rota_final):- reverse([objetivo Rota], Rota_final). a_estrela([rota Lista],Objetivo,Rota_final) :- expandir(rota,expansao_caminho), append(lista,expansao_caminho,novo_caminho), classifica(novo_caminho,objetivo,lista_classificada), a_estrela(lista_classificada,objetivo,rota_final). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 46/5

47 Código Fonte rota :- a_estrela([[joinville]],lages, Rota), nl, write( Caminho: ), imprima(rota), nl, write( Dist{\ˆa}ncia de: ), g(rota, Custo), write(custo), nl. rota. todas_rotas :- rota, fail. imprima([]):-!. imprima([lages _]):-cidade(lages),!. imprima([cabeca Cauda]):-!,cidade(Cabeca), write(, ), imprima(cauda). imprima(arg):- cidade(arg). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 47/5

48 Código Fonte cidade(bal_camboriu) :- write( Balneario Camboriu ). cidade(blumenau) :- write( Blumenau ). cidade(brusque) :- write( Brusque ). cidade(cacador) :- write( Cacador ). cidade(garuva) :- write( Garuva ). cidade(itajai) :- write( Itajai ). cidade(jaragua) :- write( Jaragua do Sul ). cidade(joinville) :- write( Joinville ). cidade(mafra) :- write( Mafra ). cidade(rio_do_sul) :- write( Rio do Sul ). cidade(sao_bento) :- write( Sao Bento do Sul ). cidade(lages) :- write( Lages ). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 48/5

49 Código Fonte g([nodo1,nodo2],custo):- conexao(nodo1,nodo2,custo). g([nodo1, Nodo2 Caminho],Custo):- conexao(nodo1,nodo2,custo1), g([nodo2 Caminho],Custo2), Custo is Custo1 + Custo2. h([nodo _],Objetivo,H) :- distancia(nodo,objetivo,h). f(rota,objetivo,f) :- g(rota,g), h(rota,objetivo,h), F is G+H. Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 49/5

50 Código Fonte a_estrela([[objetivo Rota] _],Objetivo,Rota_final):- reverse([objetivo Rota], Rota_final). a_estrela([rota Lista],Objetivo,Rota_final) :- expandir(rota,expansao_caminho), append(lista,expansao_caminho,novo_caminho), classifica(novo_caminho,objetivo,lista_classificada), a_estrela(lista_classificada,objetivo,rota_final). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 50/5

51 Código Fonte classifica([],_,[]). classifica(lista,objetivo,[menor_caminho Lista_classificada]):- caminho_minimo(lista,objetivo,menor_caminho,novo_caminho), classifica(novo_caminho,objetivo, Lista_classificada). caminho_minimo([caminho1 Lista],Objetivo,Caminho2, [Caminho1 Novo_caminho]):- caminho_minimo(lista,objetivo,caminho2,novo_caminho), f(caminho1,objetivo,f1), f(caminho2,objetivo,f2), F2<F1,!. caminho_minimo([rota Lista],_,Rota,Lista). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 51/5

52 Código Fonte expandir([nodo Rota],Expansao_caminho) :- findall([novo_nodo,nodo Rota], (conexao(nodo,novo_nodo,_), \+ member(novo_nodo,[nodo Rota])), Expansao_caminho). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 52/5

53 Código Fonte conexao(a,b,d) :- estrada(a,b,d). conexao(a,b,d) :- estrada(b,a,d). estrada(bal_camboriu, brusque, 43). estrada(bal_camboriu,itajai, 9). estrada(blumenau, brusque, 40). estrada(blumenau, itajai, 47). estrada(blumenau, jaragua, 67). estrada(blumenau, rio_do_sul, 89). estrada(cacador, jaragua, 301). estrada(cacador, mafra, 204). estrada(garuva, joinville, 36). estrada(garuva, sao_bento, 74). estrada(itajai, joinville, 94). estrada(jaragua, joinville, 53). estrada(jaragua, sao_bento, 45). estrada(joinville, sao_bento, 68). estrada(mafra, sao_bento, 65). estrada(rio_do_sul, lages, 134). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 53/5

54 Código Fonte distancia( Cidade,lages,H):- distancia( Cidade,H). distancia(bal_camboriu,275). distancia(blumenau,219). distancia(brusque,203). distancia(cacador,162). distancia(garuva,353). distancia(itajai,266). distancia(jaragua,275). distancia(joinville,310). distancia(mafra,265). distancia(rio_do_sul,134). distancia(sao_bento,320). distancia(lages,0). Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 54/5

55 Resultados?- rota. Caminho: Joinville, Jaraguá do Sul, Blumenau, Rio do Sul, Lages Distância de: 343 Yes?- Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 55/5

56 Resultados?- todas_rotas. Caminho: Jlle, Jaraguá, Blumenau, Rio do Sul, Lages Distância de: 343 Caminho: Jlle, Itajaí, Blumenau, Rio do Sul, Lages Distância de: 364 Caminho: Jlle, São Bento, Jaraguá, Blumenau, Rio do Sul, Lages Distância de: 403 Caminho: Jlle, Itajaí, Balneário Camboriú, Brusque, Blumenau, Rio do Sul, Lages Distância de: 409 Caminho: Jlle, Garuva, São Bento, Jaraguá, Blumenau, Rio do Sul, Lages Distância de: 445 Caminho: Jlle, São Bento, Mafra, Caçador, Jaraguá, Blumenau, Rio do Sul, Lages Distância de: 928 Caminho: Jlle, Garuva, São Bento, Mafra, Caçador, Jaraguá, Blumenau, Rio do Sul, Lages Distância de: 970 No Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 56/5

57 Algumas observações... O bom funcionamento das técnicas de busca apresentadas dependem fundamentalmente de uma boa definição do problema que se procura solucionar; A busca em profundidade é mais prática e simples. Haja visto que o Prolog utiliza este mecanismo de busca; Por outro lado, a área de navegação de robôs utiliza o A, haja visto que o mesmo normalmente tem um destino a alcançar e vários itens a se preocupar como: pontos de verificação e recargas, otimizar uma trajetória, re-planejar, etc. Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 57/5

58 Bibliografia 1. RUSSEL, Stuart; NORVIG, Peter. Inteligência Artificial: uma abordagem moderna. Campus, BRATKO, Ivan. Prolog: Programming for Artificial Intelligence. Addison-Wesley, 3.ed, Ensino de IA Simbólica com Abordagem à Resolução de Problemas p. 58/5