Inteligência artificial

Pedro Kantek

Inteligˆncia Artificial e

Unicenp Set/2007 Curitiba

vers˜o de 10 de fevereiro de 2008 a

1

88-08, Pedro Kantek

88-08, Pedro Kantek

2

vers˜o de 10 de fevereiro de 2008 a

´ SUMARIO 3.5.3 Exerc´ ıcios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 75 . 75 . 75 . 80 . 84 . 86 . 87 . 87 . 88 . 89 . 90 . 90 . 90 . 91 . 92 . 97 . 99 . 99 . 99 . 101 . 103 . 104 . 104 . 105 . 105 . 108 . 111 . 113 . 124 . 124 . 125 . 125 . 125 131 . 131 . 131 . 132 . 133 . 134 . 135 . 135 . 136 . 138 . 139 . 140 . 141 . 143

Sum´rio a
1 Quest˜es Operacionais o 1.1 Regras da disciplina . . . . . . . . . . 1.1.1 Portal . . . . . . . . . . . . . . 1.1.2 Exerc´ ıcios Individuais . . . . . 1.2 Uma taxonomia para a IA . . . . . . . 1.3 Bibliografia para Inteligˆncia Artificial e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 . 5 . 5 . 5 . 17 . 19 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 23 33 35 36 36 37 38 39 41 43 46 53 53 53 54 54 55 57 58 58 59 59 61 61 63 63 64 64 66 66 68 69

2 uma vis˜o hist´rica da IA a o 2.1 M´quina de Turing . . . . . . . . . . . . . . . . . . a 2.2 Teorema de Goedel . . . . . . . . . . . . . . . . . . 2.2.1 Desafio . . . . . . . . . . . . . . . . . . . . 2.3 Pode uma