Descrição do Mundo de Wumpus. Inteligência Artificial

Transcrição

1 Descrição do Mundo de Wumpus

2 Mundo de Wumpus

3 Mundo de Wumpus -1

4 Mundo de Wumpus - 2

5 Mundo de Wumpus - 3

6 Mundo de Wumpus - 4

7 Wumpus Outros Pontos Críticos

8 Descrição Lógica do Mundo de Wumpus

9 Identidades Lógicas Comuns

10 Prova no Mundo de Wumpus

11 Regras de Inferência

12 Regra de Inferência: Resolução

13 Forma Normal Conjuntiva A inferência por resolução é completa em FNC. Isto é pode derivar qualquer conclusão válida por qualquer base de conhecimento em Lógica Proposicional. Completo em um sentido especializado: Completeza da refutação. Pode ser usado para confirmar se uma dada sentença é valida ou não, mas não consegue enumerar todas as sentenças válidas

14 Regras de Inferência para Lógica Proposicional

15 Resolução e Encadeamento

16 Encadeamento para Frente

17 Resumo até aqui

18 Lógica de Primeira Ordem Aqui percebemos que o mundo é repleto de objetos, alguns dos quais estão relacionados a outros objetos e tentamos raciocinar sobre eles Introduz-se as noções de : constantes, predicados, funções e variáveis Lógica de Primeira Ordem (LPO) também pode ser chamada de cálculo de predicados de primeira ordem (CPPO)

19 Sintaxe LPO: Elementos Básicos

20 Termos e Sentenças Atômicas

21 Verdade em Lógica de Primeira Ordem

22 Sintaxe da Lógica de Primeira Ordem

23 Quantificador universal

24 Quantificador Existencial

25 Propriedades dos Quantificadores

26 Sentenças em LPO

27 Igualdade

28 Manipulando BC em LPO

29 Um agente Reflexo

30 Mantendo rastro de situações

31 Predicado Resultado Suponha o agente em [1,1] e ouro em [1,2] o objetivo é trazer o ouro para [1,1]. Então na situação inicial: Insuficientemente, pois não diz o que não é verdadeiro em S o Hipótese de Mundo Fechado e Hipótese de Nome único

32 Descrição da Situação Inicial O ouro é G1 e [1,1] e [1,2] são adjacentes É possível atingir o objetivo com: Mas como escolher as ações para chegar ao objetivo?

33 Descrevendo ações -1

34 Detalhamento: Axioma do Efeito Com isso, podemos concluir que: Entretanto, não é possível a partir dos fatos conhecidos concluir que (ver descrição situação inicial):

35 Problema do Quadro Exemplo do Problema do Quadro: Como mostrar que ao movimentar o agente para [1,2] o ouro não mudou de lugar Solução 1: Será preciso criar várias regras para os vários objetos Solução alternativa é o Axioma sucessor-estado

36 Descrevendo ações - 2

37 Axioma de Estado-Sucessor - 2

38 Deduzindo propriedades escondidas

39 Lógica de Primeira Ordem - Resumo

40 Inferência em LPO

41 Inferência envolvendo quantificadores

42 Prova em LPO

43 Prova - 2

44 Unificação

45 Unificação - 2

46 Proposição do Modus Ponen Generalizado

47 Correção do Modus Ponen Generalizado

48 Resolução para Inferência em LPO

49 A Forma CNF Sempre é possível converter sentenças LPO para CNF, veja abaixo método

50 Prova por Resolução

51 Prova por Resolução - 2

52 Estratégias de Resolução

53 Programação em Lógica Prolog é sem dúvida a linguagem de programação em lógica mais utilizada Prolog foi criada em 1973 por Alain Colmerauer Os programas Prolog são um conjunto de clausulas definidas com notação um pouco diferente de LPO Utiliza-se o símbolo :- para implicação a esquerda A execução de programas Prolog é feita por encadeamento para trás em profundidade onde as cláusulas são experimentadas na ordem em que são inscritas na base de conhecimento

54 Prolog - 2 A linguagem Prolog utiliza letras maiúsculas para representar variáveis e letrs minúsculas para representar constantes Há vários compiladores/interpretadores Prolog disponíveis. Um dos mais utilizados é o SWI-Prolog, disponível em:

55 Exemplos de cláusulas Prolog

56 Exemplos de Cláusulas Prolog

57 Interrogando a BC

58

59 Operadores em Prolog, - operador lógico e ; - operador lógico ou not - operador lógico negação :- Implicação à esquerda

60 Base de Conhecimento

61 Exemplo Leis da Robótica

62 Exemplo Leis da Robótica

63 Relações Infixas - Sentenças Atômicas

64 Hífen qualquer coisa A presença do hífen indica que qualquer termo atende a cláusula. Com o uso de or (;)é possível unir duas regras com mesmo consequente. Veja:

65 Listas

66 Pertinência a lista

67 Aritmética em Prolog

68 Erros comuns

69 Exemplo de Coloração em Grafos

70 Exemplo de Programa para Coloração em Grafos

71 Execução

72 E se houvesse duas cores

73 Outro Exemplo: Palavras Cruzadas

74 Uma solução

75 Execução Há outra solução?

76 Laços Infinitos

77 Exemplo

78 Função Trace A função trace quando acionada exibe passo a passo a execução dos encadeamentos realizados pelo Prolog. O prolgo realiza encaminhamento para trás e realiza backtracking quando chega a uma não-solução. Exemplo:

79 Exemplo de Execucão da Função Trace

80 Recursão

81 Exemplo de Recursão Alternativa a recursão seria a produção de todas as regras diretas. Ex.: descendente(charlie,alan). descendente(denis,alan). etc