Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Inteligˆencia Artificial - Conceitos B´asicos
Professor Dr. Eduardo S. Pereira.
2 de abril de 2019
Dr. E. S. Pereira 1
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
1 Introduc¸ ˜ao
2 Agindo de Forma Humana
3 Pensando como Humana
4 Pensando Racionalmente
5 Agir Racionalmente
6 Fundamentos da IA
Dr. E. S. Pereira 2
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Introduc¸ ˜ao
Introduc¸ ˜ao
Campo relativamente novo;
Termo cunhado em 1956
Dr. E. S. Pereira 3
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Introduc¸ ˜ao
Introduc¸ ˜ao
Campo relativamente novo;
Termo cunhado em 1956
Dr. E. S. Pereira 4
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Introduc¸ ˜ao
Quatro Grandes Vis˜oes
Pensar como Humano
Pensar Racionalmente
Agir como humano
Agir Racionalmente
Dr. E. S. Pereira 5
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Introduc¸ ˜ao
Quatro Grandes Vis˜oes
Pensar como Humano
Pensar Racionalmente
Agir como humano
Agir Racionalmente
Dr. E. S. Pereira 6
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Introduc¸ ˜ao
Quatro Grandes Vis˜oes
Pensar como Humano
Pensar Racionalmente
Agir como humano
Agir Racionalmente
Dr. E. S. Pereira 7
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Introduc¸ ˜ao
Quatro Grandes Vis˜oes
Pensar como Humano
Pensar Racionalmente
Agir como humano
Agir Racionalmente
Dr. E. S. Pereira 8
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Introduc¸ ˜ao
Quatro Grandes Vis˜oes
Foco humano: Processo emp´ırico, envolvendo hip´oteses e
experimentos.
Foco na Raz˜ao: Matem´atica e Engenharia.
Dr. E. S. Pereira 9
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Introduc¸ ˜ao
Quatro Grandes Vis˜oes
Foco humano: Processo emp´ırico, envolvendo hip´oteses e
experimentos.
Foco na Raz˜ao: Matem´atica e Engenharia.
Dr. E. S. Pereira 10
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Introduc¸ ˜ao
Quatro Grandes Vis˜oes
Debate: Como vocˆe ´e capaz de diferenciar as quatro grandes
vis˜oes da IA. Dˆe exemplos.
Dr. E. S. Pereira 11
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agindo de Forma Humana
Teste de Turing
Proposto por Turing em 1950.
Tem como objetivo verificar se uma m´aquina ´e capaz de dar
respostas como um humano.
Basicamente uma pessoa faz perguntas por escrito ao
computador.
Se o entrevistador n˜ao for capaz de reconhecer se quem deu
a resposta ´e uma m´aquina ou uma pessoa, o programa
passa no teste.
Dr. E. S. Pereira 12
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agindo de Forma Humana
Teste de Turing
Proposto por Turing em 1950.
Tem como objetivo verificar se uma m´aquina ´e capaz de dar
respostas como um humano.
Basicamente uma pessoa faz perguntas por escrito ao
computador.
Se o entrevistador n˜ao for capaz de reconhecer se quem deu
a resposta ´e uma m´aquina ou uma pessoa, o programa
passa no teste.
Dr. E. S. Pereira 13
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agindo de Forma Humana
Teste de Turing
Proposto por Turing em 1950.
Tem como objetivo verificar se uma m´aquina ´e capaz de dar
respostas como um humano.
Basicamente uma pessoa faz perguntas por escrito ao
computador.
Se o entrevistador n˜ao for capaz de reconhecer se quem deu
a resposta ´e uma m´aquina ou uma pessoa, o programa
passa no teste.
Dr. E. S. Pereira 14
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agindo de Forma Humana
Teste de Turing
Proposto por Turing em 1950.
Tem como objetivo verificar se uma m´aquina ´e capaz de dar
respostas como um humano.
Basicamente uma pessoa faz perguntas por escrito ao
computador.
Se o entrevistador n˜ao for capaz de reconhecer se quem deu
a resposta ´e uma m´aquina ou uma pessoa, o programa
passa no teste.
Dr. E. S. Pereira 15
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Teste de Turing
Teste de Turing
Dr. E. S. Pereira 16
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agindo de Forma Humana
Teste de Turing - Requisitos
Processamento de Linguagem Natural
Representac¸ ˜ao de Conhecimento
Racioc´ınio automatizado
Aprendizagem de M´aquina
Dr. E. S. Pereira 17
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agindo de Forma Humana
Teste de Turing - Requisitos
Processamento de Linguagem Natural
Representac¸ ˜ao de Conhecimento
Racioc´ınio automatizado
Aprendizagem de M´aquina
Dr. E. S. Pereira 18
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agindo de Forma Humana
Teste de Turing - Requisitos
Processamento de Linguagem Natural
Representac¸ ˜ao de Conhecimento
Racioc´ınio automatizado
Aprendizagem de M´aquina
Dr. E. S. Pereira 19
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agindo de Forma Humana
Teste de Turing - Requisitos
Processamento de Linguagem Natural
Representac¸ ˜ao de Conhecimento
Racioc´ınio automatizado
Aprendizagem de M´aquina
Dr. E. S. Pereira 20
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agindo de Forma Humana
Teste de Turing Total
Requer a manipulac¸ ˜ao e observac¸ ˜ao de objetos, exigindo:
Vis˜ao computacional
Rob´otica
Dr. E. S. Pereira 21
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agindo de Forma Humana
Teste de Turing Total
Requer a manipulac¸ ˜ao e observac¸ ˜ao de objetos, exigindo:
Vis˜ao computacional
Rob´otica
Dr. E. S. Pereira 22
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agindo de Forma Humana
Teste de Turing Total
Requer a manipulac¸ ˜ao e observac¸ ˜ao de objetos, exigindo:
Vis˜ao computacional
Rob´otica
Dr. E. S. Pereira 23
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Pensando como Humana
Pensando como Humana
Primeiramente, precisamos determinar como um humano
pensa.
Podemos usar:
Introspecc¸ ˜ao: Captando os pr´oprios pensamentos a medida
que s˜ao criados
Experimentos psicol´ogicos: Observando o comportamento
dos outros;
Imagens Cerebrais: Observando o c´erebro em ac¸ ˜ao.
Dr. E. S. Pereira 24
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Pensando como Humana
Pensando como Humana
Primeiramente, precisamos determinar como um humano
pensa.
Podemos usar:
Introspecc¸ ˜ao: Captando os pr´oprios pensamentos a medida
que s˜ao criados
Experimentos psicol´ogicos: Observando o comportamento
dos outros;
Imagens Cerebrais: Observando o c´erebro em ac¸ ˜ao.
Dr. E. S. Pereira 25
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Pensando como Humana
Pensando como Humana
Primeiramente, precisamos determinar como um humano
pensa.
Podemos usar:
Introspecc¸ ˜ao: Captando os pr´oprios pensamentos a medida
que s˜ao criados
Experimentos psicol´ogicos: Observando o comportamento
dos outros;
Imagens Cerebrais: Observando o c´erebro em ac¸ ˜ao.
Dr. E. S. Pereira 26
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Pensando como Humana
Pensando como Humana
Primeiramente, precisamos determinar como um humano
pensa.
Podemos usar:
Introspecc¸ ˜ao: Captando os pr´oprios pensamentos a medida
que s˜ao criados
Experimentos psicol´ogicos: Observando o comportamento
dos outros;
Imagens Cerebrais: Observando o c´erebro em ac¸ ˜ao.
Dr. E. S. Pereira 27
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Pensando como Humana
Pensando como Humana
Primeiramente, precisamos determinar como um humano
pensa.
Podemos usar:
Introspecc¸ ˜ao: Captando os pr´oprios pensamentos a medida
que s˜ao criados
Experimentos psicol´ogicos: Observando o comportamento
dos outros;
Imagens Cerebrais: Observando o c´erebro em ac¸ ˜ao.
Dr. E. S. Pereira 28
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Pensando Racionalmente
Pensando Racionalmente
Dr. E. S. Pereira 29
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Pensando Racionalmente
Pensando Racionalmente
Uso da l´ogica para criar sistemas inteligentes
Usar a tradic¸ ˜ao logicista para criar sistemas inteligentes.
Dr. E. S. Pereira 30
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Pensando Racionalmente
Pensando Racionalmente
Uso da l´ogica para criar sistemas inteligentes
Usar a tradic¸ ˜ao logicista para criar sistemas inteligentes.
Dr. E. S. Pereira 31
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agir Racionalmente
Agir Racionalmente
Dr. E. S. Pereira 32
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agir Racionalmente
Agir Racionalmente
Agente, do latim agere, que quer dizer fazer, ou algo que age.
Deve operar sob controle autˆonomo;
Perceber seu ambiente, persistir por um per´ıodo de tempo
prolongado;
Adaptar-se a mudanc¸as;
Ser capaz de criar e perseguir metas.
Dr. E. S. Pereira 33
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agir Racionalmente
Agir Racionalmente
Agente, do latim agere, que quer dizer fazer, ou algo que age.
Deve operar sob controle autˆonomo;
Perceber seu ambiente, persistir por um per´ıodo de tempo
prolongado;
Adaptar-se a mudanc¸as;
Ser capaz de criar e perseguir metas.
Dr. E. S. Pereira 34
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agir Racionalmente
Agir Racionalmente
Agente, do latim agere, que quer dizer fazer, ou algo que age.
Deve operar sob controle autˆonomo;
Perceber seu ambiente, persistir por um per´ıodo de tempo
prolongado;
Adaptar-se a mudanc¸as;
Ser capaz de criar e perseguir metas.
Dr. E. S. Pereira 35
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agir Racionalmente
Agir Racionalmente
Agente, do latim agere, que quer dizer fazer, ou algo que age.
Deve operar sob controle autˆonomo;
Perceber seu ambiente, persistir por um per´ıodo de tempo
prolongado;
Adaptar-se a mudanc¸as;
Ser capaz de criar e perseguir metas.
Dr. E. S. Pereira 36
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agir Racionalmente
Agir Racionalmente
Agente, do latim agere, que quer dizer fazer, ou algo que age.
Deve operar sob controle autˆonomo;
Perceber seu ambiente, persistir por um per´ıodo de tempo
prolongado;
Adaptar-se a mudanc¸as;
Ser capaz de criar e perseguir metas.
Dr. E. S. Pereira 37
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Agir Racionalmente
Agir Racionalmente
Agente racional: Aquele que age para alcanc¸ar o melhor
resultado ou, quando existe incerteza, o melhor resultado
esperado.
Dr. E. S. Pereira 38
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Filosofia
Filosofia
Regras formais podem ser usadas para obter conclus˜oes
v´alidas?
Como a mente se desenvolve a partir de um c´erebro f´ısico?
De onde vem o conhecimento?
Como o conhecimento conduz `a ac¸ ˜ao?
Dr. E. S. Pereira 39
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Filosofia
Filosofia
Regras formais podem ser usadas para obter conclus˜oes
v´alidas?
Como a mente se desenvolve a partir de um c´erebro f´ısico?
De onde vem o conhecimento?
Como o conhecimento conduz `a ac¸ ˜ao?
Dr. E. S. Pereira 40
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Filosofia
Filosofia
Regras formais podem ser usadas para obter conclus˜oes
v´alidas?
Como a mente se desenvolve a partir de um c´erebro f´ısico?
De onde vem o conhecimento?
Como o conhecimento conduz `a ac¸ ˜ao?
Dr. E. S. Pereira 41
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Filosofia
Filosofia
Regras formais podem ser usadas para obter conclus˜oes
v´alidas?
Como a mente se desenvolve a partir de um c´erebro f´ısico?
De onde vem o conhecimento?
Como o conhecimento conduz `a ac¸ ˜ao?
Dr. E. S. Pereira 42
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Filosofia
Filosofia
Arist´oteles (384-322 A.C.) - Primeiro a formular um conjunto
preciso de leis que governam a parte racional da mente.
A mente transcende a mat´eria?
Ou ela ´e reflexo apenas de um ente f´ısico que obedece as
leis naturais?
Se for do segundo tipo, o livre arb´ıtrio existe?
Se a mente ´e resultado apenas do ente f´ısico, as escolhas
s˜ao apenas respostas ”mecanicistas”, regidas por alguma lei
f´ısica?
Dr. E. S. Pereira 43
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Filosofia
Filosofia
Arist´oteles (384-322 A.C.) - Primeiro a formular um conjunto
preciso de leis que governam a parte racional da mente.
A mente transcende a mat´eria?
Ou ela ´e reflexo apenas de um ente f´ısico que obedece as
leis naturais?
Se for do segundo tipo, o livre arb´ıtrio existe?
Se a mente ´e resultado apenas do ente f´ısico, as escolhas
s˜ao apenas respostas ”mecanicistas”, regidas por alguma lei
f´ısica?
Dr. E. S. Pereira 44
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Filosofia
Filosofia
Arist´oteles (384-322 A.C.) - Primeiro a formular um conjunto
preciso de leis que governam a parte racional da mente.
A mente transcende a mat´eria?
Ou ela ´e reflexo apenas de um ente f´ısico que obedece as
leis naturais?
Se for do segundo tipo, o livre arb´ıtrio existe?
Se a mente ´e resultado apenas do ente f´ısico, as escolhas
s˜ao apenas respostas ”mecanicistas”, regidas por alguma lei
f´ısica?
Dr. E. S. Pereira 45
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Filosofia
Filosofia
Arist´oteles (384-322 A.C.) - Primeiro a formular um conjunto
preciso de leis que governam a parte racional da mente.
A mente transcende a mat´eria?
Ou ela ´e reflexo apenas de um ente f´ısico que obedece as
leis naturais?
Se for do segundo tipo, o livre arb´ıtrio existe?
Se a mente ´e resultado apenas do ente f´ısico, as escolhas
s˜ao apenas respostas ”mecanicistas”, regidas por alguma lei
f´ısica?
Dr. E. S. Pereira 46
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Filosofia
Filosofia
Arist´oteles (384-322 A.C.) - Primeiro a formular um conjunto
preciso de leis que governam a parte racional da mente.
A mente transcende a mat´eria?
Ou ela ´e reflexo apenas de um ente f´ısico que obedece as
leis naturais?
Se for do segundo tipo, o livre arb´ıtrio existe?
Se a mente ´e resultado apenas do ente f´ısico, as escolhas
s˜ao apenas respostas ”mecanicistas”, regidas por alguma lei
f´ısica?
Dr. E. S. Pereira 47
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
Quais s˜ao as regras formais para se obter conclus˜oes
v´alidas?
O que pode ser computado?
Como raciocinamos com informac¸ ˜oes incertas?
Dr. E. S. Pereira 48
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
Quais s˜ao as regras formais para se obter conclus˜oes
v´alidas?
O que pode ser computado?
Como raciocinamos com informac¸ ˜oes incertas?
Dr. E. S. Pereira 49
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
Quais s˜ao as regras formais para se obter conclus˜oes
v´alidas?
O que pode ser computado?
Como raciocinamos com informac¸ ˜oes incertas?
Dr. E. S. Pereira 50
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
A palavra algoritmo foi cunhada pelo matem´atico persa
Al-Khwarizmi no s´eculo IX.
Seus trabalhos introduziram os n´umeros ar´abicos e ´algebra
na Europa
Como raciocinamos com informac¸ ˜oes incertas?
Dr. E. S. Pereira 51
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
A palavra algoritmo foi cunhada pelo matem´atico persa
Al-Khwarizmi no s´eculo IX.
Seus trabalhos introduziram os n´umeros ar´abicos e ´algebra
na Europa
Como raciocinamos com informac¸ ˜oes incertas?
Dr. E. S. Pereira 52
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
A palavra algoritmo foi cunhada pelo matem´atico persa
Al-Khwarizmi no s´eculo IX.
Seus trabalhos introduziram os n´umeros ar´abicos e ´algebra
na Europa
Como raciocinamos com informac¸ ˜oes incertas?
Dr. E. S. Pereira 53
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Al-Khwarizmi
Dr. E. S. Pereira 54
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
G¨odel (1906-1978): Mostra em seu teorema da incompletude
que, em qualquer teoria formal t˜ao forte quanto a aritm´etica
de Peano (teoria dos n´umeros naturais), existem afirmac¸ ˜oes
verdadeiras que s˜ao indecid´ıveis, no sentido de que n˜ao
existem provas na pr´opria teoria.
Exemplo: Retas paralelas; Todo pol´ıtico ´e mentiroso, o
pol´ıtico diz: Eu estou mentindo (Problema indecid´ıvel);
Dr. E. S. Pereira 55
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
G¨odel (1906-1978): Mostra em seu teorema da incompletude
que, em qualquer teoria formal t˜ao forte quanto a aritm´etica
de Peano (teoria dos n´umeros naturais), existem afirmac¸ ˜oes
verdadeiras que s˜ao indecid´ıveis, no sentido de que n˜ao
existem provas na pr´opria teoria.
Exemplo: Retas paralelas; Todo pol´ıtico ´e mentiroso, o
pol´ıtico diz: Eu estou mentindo (Problema indecid´ıvel);
Dr. E. S. Pereira 56
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Roberts Kurt G¨odel
Dr. E. S. Pereira 57
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
Turing inicia o procedimento de caracterizac¸ ˜ao da existˆencia
de func¸ ˜oes comput´aveis
Mas a noc¸ ˜ao de computac¸ ˜ao n˜ao pode ter uma definic¸ ˜ao
formal;
Por outro lado, a tese de Church-Turing afirma que qualquer
func¸ ˜ao comput´avel ´e calculada por uma m´aquina de Turing.
A m´aquina de Turing define os limites da computac¸ ˜ao.
Problema da decibilidade, problemas decid´ıveis.
Dr. E. S. Pereira 58
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
Turing inicia o procedimento de caracterizac¸ ˜ao da existˆencia
de func¸ ˜oes comput´aveis
Mas a noc¸ ˜ao de computac¸ ˜ao n˜ao pode ter uma definic¸ ˜ao
formal;
Por outro lado, a tese de Church-Turing afirma que qualquer
func¸ ˜ao comput´avel ´e calculada por uma m´aquina de Turing.
A m´aquina de Turing define os limites da computac¸ ˜ao.
Problema da decibilidade, problemas decid´ıveis.
Dr. E. S. Pereira 59
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
Turing inicia o procedimento de caracterizac¸ ˜ao da existˆencia
de func¸ ˜oes comput´aveis
Mas a noc¸ ˜ao de computac¸ ˜ao n˜ao pode ter uma definic¸ ˜ao
formal;
Por outro lado, a tese de Church-Turing afirma que qualquer
func¸ ˜ao comput´avel ´e calculada por uma m´aquina de Turing.
A m´aquina de Turing define os limites da computac¸ ˜ao.
Problema da decibilidade, problemas decid´ıveis.
Dr. E. S. Pereira 60
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
Turing inicia o procedimento de caracterizac¸ ˜ao da existˆencia
de func¸ ˜oes comput´aveis
Mas a noc¸ ˜ao de computac¸ ˜ao n˜ao pode ter uma definic¸ ˜ao
formal;
Por outro lado, a tese de Church-Turing afirma que qualquer
func¸ ˜ao comput´avel ´e calculada por uma m´aquina de Turing.
A m´aquina de Turing define os limites da computac¸ ˜ao.
Problema da decibilidade, problemas decid´ıveis.
Dr. E. S. Pereira 61
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
Turing inicia o procedimento de caracterizac¸ ˜ao da existˆencia
de func¸ ˜oes comput´aveis
Mas a noc¸ ˜ao de computac¸ ˜ao n˜ao pode ter uma definic¸ ˜ao
formal;
Por outro lado, a tese de Church-Turing afirma que qualquer
func¸ ˜ao comput´avel ´e calculada por uma m´aquina de Turing.
A m´aquina de Turing define os limites da computac¸ ˜ao.
Problema da decibilidade, problemas decid´ıveis.
Dr. E. S. Pereira 62
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
Outro ponto ´e a tratabilidade.
Se um computador ´e capaz de resolver um problema em
tempo razo´avel
Al´em da l´ogica e da computac¸ ˜ao, ou ramo matem´atico
importante para IA ´e a teoria da Probabilidade;
Teorema de Bayes: descreve a probabilidade de um evento,
baseado em um conhecimento a priori que pode estar
relacionado ao evento.
Dr. E. S. Pereira 63
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
Outro ponto ´e a tratabilidade.
Se um computador ´e capaz de resolver um problema em
tempo razo´avel
Al´em da l´ogica e da computac¸ ˜ao, ou ramo matem´atico
importante para IA ´e a teoria da Probabilidade;
Teorema de Bayes: descreve a probabilidade de um evento,
baseado em um conhecimento a priori que pode estar
relacionado ao evento.
Dr. E. S. Pereira 64
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
Outro ponto ´e a tratabilidade.
Se um computador ´e capaz de resolver um problema em
tempo razo´avel
Al´em da l´ogica e da computac¸ ˜ao, ou ramo matem´atico
importante para IA ´e a teoria da Probabilidade;
Teorema de Bayes: descreve a probabilidade de um evento,
baseado em um conhecimento a priori que pode estar
relacionado ao evento.
Dr. E. S. Pereira 65
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
Outro ponto ´e a tratabilidade.
Se um computador ´e capaz de resolver um problema em
tempo razo´avel
Al´em da l´ogica e da computac¸ ˜ao, ou ramo matem´atico
importante para IA ´e a teoria da Probabilidade;
Teorema de Bayes: descreve a probabilidade de um evento,
baseado em um conhecimento a priori que pode estar
relacionado ao evento.
Dr. E. S. Pereira 66
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
Como devemos tomar decis˜oes para maximizar a
recompensa?
Como devemos fazer isso quando outros n˜ao podem
acompanhar?
Como devemos fazer isso quando a recompensa pode estar
distante no futuro?
Dr. E. S. Pereira 67
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
Como devemos tomar decis˜oes para maximizar a
recompensa?
Como devemos fazer isso quando outros n˜ao podem
acompanhar?
Como devemos fazer isso quando a recompensa pode estar
distante no futuro?
Dr. E. S. Pereira 68
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
Como devemos tomar decis˜oes para maximizar a
recompensa?
Como devemos fazer isso quando outros n˜ao podem
acompanhar?
Como devemos fazer isso quando a recompensa pode estar
distante no futuro?
Dr. E. S. Pereira 69
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
A ciˆencia da economia nasce em 1776 com o fil´osofo
escocˆes Adam Smith.
A economia estuda como as pessoas fazem escolhas que
levam a resultados preferencias.
A matem´atica de ”resultados preferencias”, ou utilidade, foi
formalizada por L´eon Walras e aperfeic¸oada por Frank
Ramsey em 1931, mais tarde por John Von Neumann e
Oskar Morgenstern (1944).
A teoria da decis˜ao, que combina teoria da probabilidade
com a teoria da utilidade fornece uma estrutura formal e
completa para decis˜oes tomadas sob incerteza.
Dr. E. S. Pereira 70
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
A ciˆencia da economia nasce em 1776 com o fil´osofo
escocˆes Adam Smith.
A economia estuda como as pessoas fazem escolhas que
levam a resultados preferencias.
A matem´atica de ”resultados preferencias”, ou utilidade, foi
formalizada por L´eon Walras e aperfeic¸oada por Frank
Ramsey em 1931, mais tarde por John Von Neumann e
Oskar Morgenstern (1944).
A teoria da decis˜ao, que combina teoria da probabilidade
com a teoria da utilidade fornece uma estrutura formal e
completa para decis˜oes tomadas sob incerteza.
Dr. E. S. Pereira 71
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
A ciˆencia da economia nasce em 1776 com o fil´osofo
escocˆes Adam Smith.
A economia estuda como as pessoas fazem escolhas que
levam a resultados preferencias.
A matem´atica de ”resultados preferencias”, ou utilidade, foi
formalizada por L´eon Walras e aperfeic¸oada por Frank
Ramsey em 1931, mais tarde por John Von Neumann e
Oskar Morgenstern (1944).
A teoria da decis˜ao, que combina teoria da probabilidade
com a teoria da utilidade fornece uma estrutura formal e
completa para decis˜oes tomadas sob incerteza.
Dr. E. S. Pereira 72
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
A ciˆencia da economia nasce em 1776 com o fil´osofo
escocˆes Adam Smith.
A economia estuda como as pessoas fazem escolhas que
levam a resultados preferencias.
A matem´atica de ”resultados preferencias”, ou utilidade, foi
formalizada por L´eon Walras e aperfeic¸oada por Frank
Ramsey em 1931, mais tarde por John Von Neumann e
Oskar Morgenstern (1944).
A teoria da decis˜ao, que combina teoria da probabilidade
com a teoria da utilidade fornece uma estrutura formal e
completa para decis˜oes tomadas sob incerteza.
Dr. E. S. Pereira 73
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
Tamb´em tem a pesquisa operacional, que trata da obtenc¸ ˜ao
de recompensas futuras, resultantes de uma sequˆencia de
operac¸ ˜oes.
Esses dois ramos contribu´ıram para a noc¸ ˜ao de agentes
racionais.
Dr. E. S. Pereira 74
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Matem´atica
Matem´atica
Tamb´em tem a pesquisa operacional, que trata da obtenc¸ ˜ao
de recompensas futuras, resultantes de uma sequˆencia de
operac¸ ˜oes.
Esses dois ramos contribu´ıram para a noc¸ ˜ao de agentes
racionais.
Dr. E. S. Pereira 75
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Neurociˆencia
Neurociˆencia
Como o c´erebro processa informac¸ ˜oes?
Esses dois ramos contribu´ıram para a noc¸ ˜ao de agentes
racionais.
Dr. E. S. Pereira 76
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Neurociˆencia
Neurociˆencia
Como o c´erebro processa informac¸ ˜oes?
Esses dois ramos contribu´ıram para a noc¸ ˜ao de agentes
racionais.
Dr. E. S. Pereira 77
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Neurociˆencia
Neurˆonio
https://bluebrain.epfl.ch/page-56882-en.html A estrutura das
conex˜oes sin´apticas ´e equivalente a uma estrutura topol´ogica de
onze dimens˜oes.
Dr. E. S. Pereira 78
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Neurociˆencia
Neurˆonio
Dr. E. S. Pereira 79
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Psicologia
Psicologia
Vis˜ao do c´erebro como um dispositivo de processamento de
informac¸ ˜oes;
Caracter´ıstica importante da psicologia cognitiva;
A percepc¸ ˜ao envolveria uma forma de inferˆencia l´ogica
inconsciente (intuic¸ ˜ao)?
Dr. E. S. Pereira 80
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Psicologia
Psicologia
Vis˜ao do c´erebro como um dispositivo de processamento de
informac¸ ˜oes;
Caracter´ıstica importante da psicologia cognitiva;
A percepc¸ ˜ao envolveria uma forma de inferˆencia l´ogica
inconsciente (intuic¸ ˜ao)?
Dr. E. S. Pereira 81
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Psicologia
Psicologia
Vis˜ao do c´erebro como um dispositivo de processamento de
informac¸ ˜oes;
Caracter´ıstica importante da psicologia cognitiva;
A percepc¸ ˜ao envolveria uma forma de inferˆencia l´ogica
inconsciente (intuic¸ ˜ao)?
Dr. E. S. Pereira 82
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Psicologia
Passos fundamentais de um agente baseado no conhecimento
O est´ımulo deve ser traduzido numa representac¸ ˜ao interna
A representac¸ ˜ao ´e manipulada por processos cognitivos para
derivar novas representac¸ ˜oes internas
As representac¸ ˜oes s˜ao traduzidas em ac¸ ˜oes.
Dr. E. S. Pereira 83
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Psicologia
Passos fundamentais de um agente baseado no conhecimento
O est´ımulo deve ser traduzido numa representac¸ ˜ao interna
A representac¸ ˜ao ´e manipulada por processos cognitivos para
derivar novas representac¸ ˜oes internas
As representac¸ ˜oes s˜ao traduzidas em ac¸ ˜oes.
Dr. E. S. Pereira 84
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Psicologia
Passos fundamentais de um agente baseado no conhecimento
O est´ımulo deve ser traduzido numa representac¸ ˜ao interna
A representac¸ ˜ao ´e manipulada por processos cognitivos para
derivar novas representac¸ ˜oes internas
As representac¸ ˜oes s˜ao traduzidas em ac¸ ˜oes.
Dr. E. S. Pereira 85
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Engenharia de computadores
Engenharia de computadores
Como podemos construir computadores eficientes?
Dr. E. S. Pereira 86
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Engenharia de computadores
Engenharia de computadores
O primeiro computador operacional foi a m´aquina
eletromecˆanica de Heath Robinson, constru´ıda em 1940 pela
equipe de Alan Turin
Dr. E. S. Pereira 87
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Engenharia de computadores
Engenharia de computadores
O primeiro computador program´avel operacional foi o z-3,
criado por Konrard Zuse na Alemanha, em 1941.
Dr. E. S. Pereira 88
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Engenharia de computadores
Engenharia de computadores
Zuse criou os n´umeros de ponto flutuante e a primeira
linguagem de alto n´ıvel, denominada Plankalk¨ul
Dr. E. S. Pereira 89
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Engenharia de computadores
Engenharia de computadores
O primeiro computador eletrˆonico, o ABC, foi montado por
John Atanasoff e Clifford Berry entre 1940 e 1942.
Dr. E. S. Pereira 90
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Teoria de Controle e Cibern´etica
Teoria de Controle e Cibern´etica
Como os artefatos pode operar sob seu pr´oprio controle?
Dr. E. S. Pereira 91
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Teoria de Controle e Cibern´etica
Teoria de Controle e Cibern´etica
Nobert Winer (1894-1964) - Personagem central da teoria de
controle
Viam o comportamento consciente como o resultado de um
mecanismo regulador tentando minimizar o “erro” - a
diferenc¸a entre o estado atual e o estado objetivo.
Dr. E. S. Pereira 92
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Teoria de Controle e Cibern´etica
Teoria de Controle e Cibern´etica
Nobert Winer (1894-1964) - Personagem central da teoria de
controle
Viam o comportamento consciente como o resultado de um
mecanismo regulador tentando minimizar o “erro” - a
diferenc¸a entre o estado atual e o estado objetivo.
Dr. E. S. Pereira 93
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Teoria de Controle e Cibern´etica
Teoria de Controle e Cibern´etica
Como a linguagem se relaciona como o pensamento?
Processamento de linguagem natural.
Dr. E. S. Pereira 94
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
Teoria de Controle e Cibern´etica
Teoria de Controle e Cibern´etica
Como a linguagem se relaciona como o pensamento?
Processamento de linguagem natural.
Dr. E. S. Pereira 95
Dr. E. S.
Pereira
Sum´ario
Introduc¸ ˜ao
Agindo de
Forma
Humana
Pensando
como Humana
Pensando
Racionalmente
Agir
Racionalmente
Fundamentos
da IA
Filosofia
Matem´atica
Economia
Neurociˆencia
Psicologia
Engenharia de
computadores
Teoria de Controle e
Cibern´etica
FIM
Grato
MUITO OBRIGADO.
Dr. E. S. Pereira 96

Inteligência Artificial - Aula 01

  • 1.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Inteligˆencia Artificial - Conceitos B´asicos Professor Dr. Eduardo S. Pereira. 2 de abril de 2019 Dr. E. S. Pereira 1
  • 2.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica 1 Introduc¸ ˜ao 2 Agindo de Forma Humana 3 Pensando como Humana 4 Pensando Racionalmente 5 Agir Racionalmente 6 Fundamentos da IA Dr. E. S. Pereira 2
  • 3.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Introduc¸ ˜ao Introduc¸ ˜ao Campo relativamente novo; Termo cunhado em 1956 Dr. E. S. Pereira 3
  • 4.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Introduc¸ ˜ao Introduc¸ ˜ao Campo relativamente novo; Termo cunhado em 1956 Dr. E. S. Pereira 4
  • 5.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Introduc¸ ˜ao Quatro Grandes Vis˜oes Pensar como Humano Pensar Racionalmente Agir como humano Agir Racionalmente Dr. E. S. Pereira 5
  • 6.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Introduc¸ ˜ao Quatro Grandes Vis˜oes Pensar como Humano Pensar Racionalmente Agir como humano Agir Racionalmente Dr. E. S. Pereira 6
  • 7.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Introduc¸ ˜ao Quatro Grandes Vis˜oes Pensar como Humano Pensar Racionalmente Agir como humano Agir Racionalmente Dr. E. S. Pereira 7
  • 8.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Introduc¸ ˜ao Quatro Grandes Vis˜oes Pensar como Humano Pensar Racionalmente Agir como humano Agir Racionalmente Dr. E. S. Pereira 8
  • 9.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Introduc¸ ˜ao Quatro Grandes Vis˜oes Foco humano: Processo emp´ırico, envolvendo hip´oteses e experimentos. Foco na Raz˜ao: Matem´atica e Engenharia. Dr. E. S. Pereira 9
  • 10.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Introduc¸ ˜ao Quatro Grandes Vis˜oes Foco humano: Processo emp´ırico, envolvendo hip´oteses e experimentos. Foco na Raz˜ao: Matem´atica e Engenharia. Dr. E. S. Pereira 10
  • 11.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Introduc¸ ˜ao Quatro Grandes Vis˜oes Debate: Como vocˆe ´e capaz de diferenciar as quatro grandes vis˜oes da IA. Dˆe exemplos. Dr. E. S. Pereira 11
  • 12.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agindo de Forma Humana Teste de Turing Proposto por Turing em 1950. Tem como objetivo verificar se uma m´aquina ´e capaz de dar respostas como um humano. Basicamente uma pessoa faz perguntas por escrito ao computador. Se o entrevistador n˜ao for capaz de reconhecer se quem deu a resposta ´e uma m´aquina ou uma pessoa, o programa passa no teste. Dr. E. S. Pereira 12
  • 13.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agindo de Forma Humana Teste de Turing Proposto por Turing em 1950. Tem como objetivo verificar se uma m´aquina ´e capaz de dar respostas como um humano. Basicamente uma pessoa faz perguntas por escrito ao computador. Se o entrevistador n˜ao for capaz de reconhecer se quem deu a resposta ´e uma m´aquina ou uma pessoa, o programa passa no teste. Dr. E. S. Pereira 13
  • 14.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agindo de Forma Humana Teste de Turing Proposto por Turing em 1950. Tem como objetivo verificar se uma m´aquina ´e capaz de dar respostas como um humano. Basicamente uma pessoa faz perguntas por escrito ao computador. Se o entrevistador n˜ao for capaz de reconhecer se quem deu a resposta ´e uma m´aquina ou uma pessoa, o programa passa no teste. Dr. E. S. Pereira 14
  • 15.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agindo de Forma Humana Teste de Turing Proposto por Turing em 1950. Tem como objetivo verificar se uma m´aquina ´e capaz de dar respostas como um humano. Basicamente uma pessoa faz perguntas por escrito ao computador. Se o entrevistador n˜ao for capaz de reconhecer se quem deu a resposta ´e uma m´aquina ou uma pessoa, o programa passa no teste. Dr. E. S. Pereira 15
  • 16.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Teste de Turing Teste de Turing Dr. E. S. Pereira 16
  • 17.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agindo de Forma Humana Teste de Turing - Requisitos Processamento de Linguagem Natural Representac¸ ˜ao de Conhecimento Racioc´ınio automatizado Aprendizagem de M´aquina Dr. E. S. Pereira 17
  • 18.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agindo de Forma Humana Teste de Turing - Requisitos Processamento de Linguagem Natural Representac¸ ˜ao de Conhecimento Racioc´ınio automatizado Aprendizagem de M´aquina Dr. E. S. Pereira 18
  • 19.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agindo de Forma Humana Teste de Turing - Requisitos Processamento de Linguagem Natural Representac¸ ˜ao de Conhecimento Racioc´ınio automatizado Aprendizagem de M´aquina Dr. E. S. Pereira 19
  • 20.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agindo de Forma Humana Teste de Turing - Requisitos Processamento de Linguagem Natural Representac¸ ˜ao de Conhecimento Racioc´ınio automatizado Aprendizagem de M´aquina Dr. E. S. Pereira 20
  • 21.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agindo de Forma Humana Teste de Turing Total Requer a manipulac¸ ˜ao e observac¸ ˜ao de objetos, exigindo: Vis˜ao computacional Rob´otica Dr. E. S. Pereira 21
  • 22.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agindo de Forma Humana Teste de Turing Total Requer a manipulac¸ ˜ao e observac¸ ˜ao de objetos, exigindo: Vis˜ao computacional Rob´otica Dr. E. S. Pereira 22
  • 23.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agindo de Forma Humana Teste de Turing Total Requer a manipulac¸ ˜ao e observac¸ ˜ao de objetos, exigindo: Vis˜ao computacional Rob´otica Dr. E. S. Pereira 23
  • 24.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Pensando como Humana Pensando como Humana Primeiramente, precisamos determinar como um humano pensa. Podemos usar: Introspecc¸ ˜ao: Captando os pr´oprios pensamentos a medida que s˜ao criados Experimentos psicol´ogicos: Observando o comportamento dos outros; Imagens Cerebrais: Observando o c´erebro em ac¸ ˜ao. Dr. E. S. Pereira 24
  • 25.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Pensando como Humana Pensando como Humana Primeiramente, precisamos determinar como um humano pensa. Podemos usar: Introspecc¸ ˜ao: Captando os pr´oprios pensamentos a medida que s˜ao criados Experimentos psicol´ogicos: Observando o comportamento dos outros; Imagens Cerebrais: Observando o c´erebro em ac¸ ˜ao. Dr. E. S. Pereira 25
  • 26.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Pensando como Humana Pensando como Humana Primeiramente, precisamos determinar como um humano pensa. Podemos usar: Introspecc¸ ˜ao: Captando os pr´oprios pensamentos a medida que s˜ao criados Experimentos psicol´ogicos: Observando o comportamento dos outros; Imagens Cerebrais: Observando o c´erebro em ac¸ ˜ao. Dr. E. S. Pereira 26
  • 27.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Pensando como Humana Pensando como Humana Primeiramente, precisamos determinar como um humano pensa. Podemos usar: Introspecc¸ ˜ao: Captando os pr´oprios pensamentos a medida que s˜ao criados Experimentos psicol´ogicos: Observando o comportamento dos outros; Imagens Cerebrais: Observando o c´erebro em ac¸ ˜ao. Dr. E. S. Pereira 27
  • 28.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Pensando como Humana Pensando como Humana Primeiramente, precisamos determinar como um humano pensa. Podemos usar: Introspecc¸ ˜ao: Captando os pr´oprios pensamentos a medida que s˜ao criados Experimentos psicol´ogicos: Observando o comportamento dos outros; Imagens Cerebrais: Observando o c´erebro em ac¸ ˜ao. Dr. E. S. Pereira 28
  • 29.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Pensando Racionalmente Pensando Racionalmente Dr. E. S. Pereira 29
  • 30.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Pensando Racionalmente Pensando Racionalmente Uso da l´ogica para criar sistemas inteligentes Usar a tradic¸ ˜ao logicista para criar sistemas inteligentes. Dr. E. S. Pereira 30
  • 31.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Pensando Racionalmente Pensando Racionalmente Uso da l´ogica para criar sistemas inteligentes Usar a tradic¸ ˜ao logicista para criar sistemas inteligentes. Dr. E. S. Pereira 31
  • 32.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agir Racionalmente Agir Racionalmente Dr. E. S. Pereira 32
  • 33.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agir Racionalmente Agir Racionalmente Agente, do latim agere, que quer dizer fazer, ou algo que age. Deve operar sob controle autˆonomo; Perceber seu ambiente, persistir por um per´ıodo de tempo prolongado; Adaptar-se a mudanc¸as; Ser capaz de criar e perseguir metas. Dr. E. S. Pereira 33
  • 34.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agir Racionalmente Agir Racionalmente Agente, do latim agere, que quer dizer fazer, ou algo que age. Deve operar sob controle autˆonomo; Perceber seu ambiente, persistir por um per´ıodo de tempo prolongado; Adaptar-se a mudanc¸as; Ser capaz de criar e perseguir metas. Dr. E. S. Pereira 34
  • 35.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agir Racionalmente Agir Racionalmente Agente, do latim agere, que quer dizer fazer, ou algo que age. Deve operar sob controle autˆonomo; Perceber seu ambiente, persistir por um per´ıodo de tempo prolongado; Adaptar-se a mudanc¸as; Ser capaz de criar e perseguir metas. Dr. E. S. Pereira 35
  • 36.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agir Racionalmente Agir Racionalmente Agente, do latim agere, que quer dizer fazer, ou algo que age. Deve operar sob controle autˆonomo; Perceber seu ambiente, persistir por um per´ıodo de tempo prolongado; Adaptar-se a mudanc¸as; Ser capaz de criar e perseguir metas. Dr. E. S. Pereira 36
  • 37.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agir Racionalmente Agir Racionalmente Agente, do latim agere, que quer dizer fazer, ou algo que age. Deve operar sob controle autˆonomo; Perceber seu ambiente, persistir por um per´ıodo de tempo prolongado; Adaptar-se a mudanc¸as; Ser capaz de criar e perseguir metas. Dr. E. S. Pereira 37
  • 38.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Agir Racionalmente Agir Racionalmente Agente racional: Aquele que age para alcanc¸ar o melhor resultado ou, quando existe incerteza, o melhor resultado esperado. Dr. E. S. Pereira 38
  • 39.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Filosofia Filosofia Regras formais podem ser usadas para obter conclus˜oes v´alidas? Como a mente se desenvolve a partir de um c´erebro f´ısico? De onde vem o conhecimento? Como o conhecimento conduz `a ac¸ ˜ao? Dr. E. S. Pereira 39
  • 40.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Filosofia Filosofia Regras formais podem ser usadas para obter conclus˜oes v´alidas? Como a mente se desenvolve a partir de um c´erebro f´ısico? De onde vem o conhecimento? Como o conhecimento conduz `a ac¸ ˜ao? Dr. E. S. Pereira 40
  • 41.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Filosofia Filosofia Regras formais podem ser usadas para obter conclus˜oes v´alidas? Como a mente se desenvolve a partir de um c´erebro f´ısico? De onde vem o conhecimento? Como o conhecimento conduz `a ac¸ ˜ao? Dr. E. S. Pereira 41
  • 42.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Filosofia Filosofia Regras formais podem ser usadas para obter conclus˜oes v´alidas? Como a mente se desenvolve a partir de um c´erebro f´ısico? De onde vem o conhecimento? Como o conhecimento conduz `a ac¸ ˜ao? Dr. E. S. Pereira 42
  • 43.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Filosofia Filosofia Arist´oteles (384-322 A.C.) - Primeiro a formular um conjunto preciso de leis que governam a parte racional da mente. A mente transcende a mat´eria? Ou ela ´e reflexo apenas de um ente f´ısico que obedece as leis naturais? Se for do segundo tipo, o livre arb´ıtrio existe? Se a mente ´e resultado apenas do ente f´ısico, as escolhas s˜ao apenas respostas ”mecanicistas”, regidas por alguma lei f´ısica? Dr. E. S. Pereira 43
  • 44.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Filosofia Filosofia Arist´oteles (384-322 A.C.) - Primeiro a formular um conjunto preciso de leis que governam a parte racional da mente. A mente transcende a mat´eria? Ou ela ´e reflexo apenas de um ente f´ısico que obedece as leis naturais? Se for do segundo tipo, o livre arb´ıtrio existe? Se a mente ´e resultado apenas do ente f´ısico, as escolhas s˜ao apenas respostas ”mecanicistas”, regidas por alguma lei f´ısica? Dr. E. S. Pereira 44
  • 45.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Filosofia Filosofia Arist´oteles (384-322 A.C.) - Primeiro a formular um conjunto preciso de leis que governam a parte racional da mente. A mente transcende a mat´eria? Ou ela ´e reflexo apenas de um ente f´ısico que obedece as leis naturais? Se for do segundo tipo, o livre arb´ıtrio existe? Se a mente ´e resultado apenas do ente f´ısico, as escolhas s˜ao apenas respostas ”mecanicistas”, regidas por alguma lei f´ısica? Dr. E. S. Pereira 45
  • 46.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Filosofia Filosofia Arist´oteles (384-322 A.C.) - Primeiro a formular um conjunto preciso de leis que governam a parte racional da mente. A mente transcende a mat´eria? Ou ela ´e reflexo apenas de um ente f´ısico que obedece as leis naturais? Se for do segundo tipo, o livre arb´ıtrio existe? Se a mente ´e resultado apenas do ente f´ısico, as escolhas s˜ao apenas respostas ”mecanicistas”, regidas por alguma lei f´ısica? Dr. E. S. Pereira 46
  • 47.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Filosofia Filosofia Arist´oteles (384-322 A.C.) - Primeiro a formular um conjunto preciso de leis que governam a parte racional da mente. A mente transcende a mat´eria? Ou ela ´e reflexo apenas de um ente f´ısico que obedece as leis naturais? Se for do segundo tipo, o livre arb´ıtrio existe? Se a mente ´e resultado apenas do ente f´ısico, as escolhas s˜ao apenas respostas ”mecanicistas”, regidas por alguma lei f´ısica? Dr. E. S. Pereira 47
  • 48.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica Quais s˜ao as regras formais para se obter conclus˜oes v´alidas? O que pode ser computado? Como raciocinamos com informac¸ ˜oes incertas? Dr. E. S. Pereira 48
  • 49.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica Quais s˜ao as regras formais para se obter conclus˜oes v´alidas? O que pode ser computado? Como raciocinamos com informac¸ ˜oes incertas? Dr. E. S. Pereira 49
  • 50.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica Quais s˜ao as regras formais para se obter conclus˜oes v´alidas? O que pode ser computado? Como raciocinamos com informac¸ ˜oes incertas? Dr. E. S. Pereira 50
  • 51.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica A palavra algoritmo foi cunhada pelo matem´atico persa Al-Khwarizmi no s´eculo IX. Seus trabalhos introduziram os n´umeros ar´abicos e ´algebra na Europa Como raciocinamos com informac¸ ˜oes incertas? Dr. E. S. Pereira 51
  • 52.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica A palavra algoritmo foi cunhada pelo matem´atico persa Al-Khwarizmi no s´eculo IX. Seus trabalhos introduziram os n´umeros ar´abicos e ´algebra na Europa Como raciocinamos com informac¸ ˜oes incertas? Dr. E. S. Pereira 52
  • 53.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica A palavra algoritmo foi cunhada pelo matem´atico persa Al-Khwarizmi no s´eculo IX. Seus trabalhos introduziram os n´umeros ar´abicos e ´algebra na Europa Como raciocinamos com informac¸ ˜oes incertas? Dr. E. S. Pereira 53
  • 54.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Al-Khwarizmi Dr. E. S. Pereira 54
  • 55.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica G¨odel (1906-1978): Mostra em seu teorema da incompletude que, em qualquer teoria formal t˜ao forte quanto a aritm´etica de Peano (teoria dos n´umeros naturais), existem afirmac¸ ˜oes verdadeiras que s˜ao indecid´ıveis, no sentido de que n˜ao existem provas na pr´opria teoria. Exemplo: Retas paralelas; Todo pol´ıtico ´e mentiroso, o pol´ıtico diz: Eu estou mentindo (Problema indecid´ıvel); Dr. E. S. Pereira 55
  • 56.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica G¨odel (1906-1978): Mostra em seu teorema da incompletude que, em qualquer teoria formal t˜ao forte quanto a aritm´etica de Peano (teoria dos n´umeros naturais), existem afirmac¸ ˜oes verdadeiras que s˜ao indecid´ıveis, no sentido de que n˜ao existem provas na pr´opria teoria. Exemplo: Retas paralelas; Todo pol´ıtico ´e mentiroso, o pol´ıtico diz: Eu estou mentindo (Problema indecid´ıvel); Dr. E. S. Pereira 56
  • 57.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Roberts Kurt G¨odel Dr. E. S. Pereira 57
  • 58.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica Turing inicia o procedimento de caracterizac¸ ˜ao da existˆencia de func¸ ˜oes comput´aveis Mas a noc¸ ˜ao de computac¸ ˜ao n˜ao pode ter uma definic¸ ˜ao formal; Por outro lado, a tese de Church-Turing afirma que qualquer func¸ ˜ao comput´avel ´e calculada por uma m´aquina de Turing. A m´aquina de Turing define os limites da computac¸ ˜ao. Problema da decibilidade, problemas decid´ıveis. Dr. E. S. Pereira 58
  • 59.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica Turing inicia o procedimento de caracterizac¸ ˜ao da existˆencia de func¸ ˜oes comput´aveis Mas a noc¸ ˜ao de computac¸ ˜ao n˜ao pode ter uma definic¸ ˜ao formal; Por outro lado, a tese de Church-Turing afirma que qualquer func¸ ˜ao comput´avel ´e calculada por uma m´aquina de Turing. A m´aquina de Turing define os limites da computac¸ ˜ao. Problema da decibilidade, problemas decid´ıveis. Dr. E. S. Pereira 59
  • 60.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica Turing inicia o procedimento de caracterizac¸ ˜ao da existˆencia de func¸ ˜oes comput´aveis Mas a noc¸ ˜ao de computac¸ ˜ao n˜ao pode ter uma definic¸ ˜ao formal; Por outro lado, a tese de Church-Turing afirma que qualquer func¸ ˜ao comput´avel ´e calculada por uma m´aquina de Turing. A m´aquina de Turing define os limites da computac¸ ˜ao. Problema da decibilidade, problemas decid´ıveis. Dr. E. S. Pereira 60
  • 61.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica Turing inicia o procedimento de caracterizac¸ ˜ao da existˆencia de func¸ ˜oes comput´aveis Mas a noc¸ ˜ao de computac¸ ˜ao n˜ao pode ter uma definic¸ ˜ao formal; Por outro lado, a tese de Church-Turing afirma que qualquer func¸ ˜ao comput´avel ´e calculada por uma m´aquina de Turing. A m´aquina de Turing define os limites da computac¸ ˜ao. Problema da decibilidade, problemas decid´ıveis. Dr. E. S. Pereira 61
  • 62.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica Turing inicia o procedimento de caracterizac¸ ˜ao da existˆencia de func¸ ˜oes comput´aveis Mas a noc¸ ˜ao de computac¸ ˜ao n˜ao pode ter uma definic¸ ˜ao formal; Por outro lado, a tese de Church-Turing afirma que qualquer func¸ ˜ao comput´avel ´e calculada por uma m´aquina de Turing. A m´aquina de Turing define os limites da computac¸ ˜ao. Problema da decibilidade, problemas decid´ıveis. Dr. E. S. Pereira 62
  • 63.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica Outro ponto ´e a tratabilidade. Se um computador ´e capaz de resolver um problema em tempo razo´avel Al´em da l´ogica e da computac¸ ˜ao, ou ramo matem´atico importante para IA ´e a teoria da Probabilidade; Teorema de Bayes: descreve a probabilidade de um evento, baseado em um conhecimento a priori que pode estar relacionado ao evento. Dr. E. S. Pereira 63
  • 64.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica Outro ponto ´e a tratabilidade. Se um computador ´e capaz de resolver um problema em tempo razo´avel Al´em da l´ogica e da computac¸ ˜ao, ou ramo matem´atico importante para IA ´e a teoria da Probabilidade; Teorema de Bayes: descreve a probabilidade de um evento, baseado em um conhecimento a priori que pode estar relacionado ao evento. Dr. E. S. Pereira 64
  • 65.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica Outro ponto ´e a tratabilidade. Se um computador ´e capaz de resolver um problema em tempo razo´avel Al´em da l´ogica e da computac¸ ˜ao, ou ramo matem´atico importante para IA ´e a teoria da Probabilidade; Teorema de Bayes: descreve a probabilidade de um evento, baseado em um conhecimento a priori que pode estar relacionado ao evento. Dr. E. S. Pereira 65
  • 66.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica Outro ponto ´e a tratabilidade. Se um computador ´e capaz de resolver um problema em tempo razo´avel Al´em da l´ogica e da computac¸ ˜ao, ou ramo matem´atico importante para IA ´e a teoria da Probabilidade; Teorema de Bayes: descreve a probabilidade de um evento, baseado em um conhecimento a priori que pode estar relacionado ao evento. Dr. E. S. Pereira 66
  • 67.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica Como devemos tomar decis˜oes para maximizar a recompensa? Como devemos fazer isso quando outros n˜ao podem acompanhar? Como devemos fazer isso quando a recompensa pode estar distante no futuro? Dr. E. S. Pereira 67
  • 68.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica Como devemos tomar decis˜oes para maximizar a recompensa? Como devemos fazer isso quando outros n˜ao podem acompanhar? Como devemos fazer isso quando a recompensa pode estar distante no futuro? Dr. E. S. Pereira 68
  • 69.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica Como devemos tomar decis˜oes para maximizar a recompensa? Como devemos fazer isso quando outros n˜ao podem acompanhar? Como devemos fazer isso quando a recompensa pode estar distante no futuro? Dr. E. S. Pereira 69
  • 70.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica A ciˆencia da economia nasce em 1776 com o fil´osofo escocˆes Adam Smith. A economia estuda como as pessoas fazem escolhas que levam a resultados preferencias. A matem´atica de ”resultados preferencias”, ou utilidade, foi formalizada por L´eon Walras e aperfeic¸oada por Frank Ramsey em 1931, mais tarde por John Von Neumann e Oskar Morgenstern (1944). A teoria da decis˜ao, que combina teoria da probabilidade com a teoria da utilidade fornece uma estrutura formal e completa para decis˜oes tomadas sob incerteza. Dr. E. S. Pereira 70
  • 71.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica A ciˆencia da economia nasce em 1776 com o fil´osofo escocˆes Adam Smith. A economia estuda como as pessoas fazem escolhas que levam a resultados preferencias. A matem´atica de ”resultados preferencias”, ou utilidade, foi formalizada por L´eon Walras e aperfeic¸oada por Frank Ramsey em 1931, mais tarde por John Von Neumann e Oskar Morgenstern (1944). A teoria da decis˜ao, que combina teoria da probabilidade com a teoria da utilidade fornece uma estrutura formal e completa para decis˜oes tomadas sob incerteza. Dr. E. S. Pereira 71
  • 72.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica A ciˆencia da economia nasce em 1776 com o fil´osofo escocˆes Adam Smith. A economia estuda como as pessoas fazem escolhas que levam a resultados preferencias. A matem´atica de ”resultados preferencias”, ou utilidade, foi formalizada por L´eon Walras e aperfeic¸oada por Frank Ramsey em 1931, mais tarde por John Von Neumann e Oskar Morgenstern (1944). A teoria da decis˜ao, que combina teoria da probabilidade com a teoria da utilidade fornece uma estrutura formal e completa para decis˜oes tomadas sob incerteza. Dr. E. S. Pereira 72
  • 73.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica A ciˆencia da economia nasce em 1776 com o fil´osofo escocˆes Adam Smith. A economia estuda como as pessoas fazem escolhas que levam a resultados preferencias. A matem´atica de ”resultados preferencias”, ou utilidade, foi formalizada por L´eon Walras e aperfeic¸oada por Frank Ramsey em 1931, mais tarde por John Von Neumann e Oskar Morgenstern (1944). A teoria da decis˜ao, que combina teoria da probabilidade com a teoria da utilidade fornece uma estrutura formal e completa para decis˜oes tomadas sob incerteza. Dr. E. S. Pereira 73
  • 74.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica Tamb´em tem a pesquisa operacional, que trata da obtenc¸ ˜ao de recompensas futuras, resultantes de uma sequˆencia de operac¸ ˜oes. Esses dois ramos contribu´ıram para a noc¸ ˜ao de agentes racionais. Dr. E. S. Pereira 74
  • 75.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Matem´atica Matem´atica Tamb´em tem a pesquisa operacional, que trata da obtenc¸ ˜ao de recompensas futuras, resultantes de uma sequˆencia de operac¸ ˜oes. Esses dois ramos contribu´ıram para a noc¸ ˜ao de agentes racionais. Dr. E. S. Pereira 75
  • 76.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Neurociˆencia Neurociˆencia Como o c´erebro processa informac¸ ˜oes? Esses dois ramos contribu´ıram para a noc¸ ˜ao de agentes racionais. Dr. E. S. Pereira 76
  • 77.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Neurociˆencia Neurociˆencia Como o c´erebro processa informac¸ ˜oes? Esses dois ramos contribu´ıram para a noc¸ ˜ao de agentes racionais. Dr. E. S. Pereira 77
  • 78.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Neurociˆencia Neurˆonio https://bluebrain.epfl.ch/page-56882-en.html A estrutura das conex˜oes sin´apticas ´e equivalente a uma estrutura topol´ogica de onze dimens˜oes. Dr. E. S. Pereira 78
  • 79.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Neurociˆencia Neurˆonio Dr. E. S. Pereira 79
  • 80.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Psicologia Psicologia Vis˜ao do c´erebro como um dispositivo de processamento de informac¸ ˜oes; Caracter´ıstica importante da psicologia cognitiva; A percepc¸ ˜ao envolveria uma forma de inferˆencia l´ogica inconsciente (intuic¸ ˜ao)? Dr. E. S. Pereira 80
  • 81.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Psicologia Psicologia Vis˜ao do c´erebro como um dispositivo de processamento de informac¸ ˜oes; Caracter´ıstica importante da psicologia cognitiva; A percepc¸ ˜ao envolveria uma forma de inferˆencia l´ogica inconsciente (intuic¸ ˜ao)? Dr. E. S. Pereira 81
  • 82.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Psicologia Psicologia Vis˜ao do c´erebro como um dispositivo de processamento de informac¸ ˜oes; Caracter´ıstica importante da psicologia cognitiva; A percepc¸ ˜ao envolveria uma forma de inferˆencia l´ogica inconsciente (intuic¸ ˜ao)? Dr. E. S. Pereira 82
  • 83.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Psicologia Passos fundamentais de um agente baseado no conhecimento O est´ımulo deve ser traduzido numa representac¸ ˜ao interna A representac¸ ˜ao ´e manipulada por processos cognitivos para derivar novas representac¸ ˜oes internas As representac¸ ˜oes s˜ao traduzidas em ac¸ ˜oes. Dr. E. S. Pereira 83
  • 84.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Psicologia Passos fundamentais de um agente baseado no conhecimento O est´ımulo deve ser traduzido numa representac¸ ˜ao interna A representac¸ ˜ao ´e manipulada por processos cognitivos para derivar novas representac¸ ˜oes internas As representac¸ ˜oes s˜ao traduzidas em ac¸ ˜oes. Dr. E. S. Pereira 84
  • 85.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Psicologia Passos fundamentais de um agente baseado no conhecimento O est´ımulo deve ser traduzido numa representac¸ ˜ao interna A representac¸ ˜ao ´e manipulada por processos cognitivos para derivar novas representac¸ ˜oes internas As representac¸ ˜oes s˜ao traduzidas em ac¸ ˜oes. Dr. E. S. Pereira 85
  • 86.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Engenharia de computadores Engenharia de computadores Como podemos construir computadores eficientes? Dr. E. S. Pereira 86
  • 87.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Engenharia de computadores Engenharia de computadores O primeiro computador operacional foi a m´aquina eletromecˆanica de Heath Robinson, constru´ıda em 1940 pela equipe de Alan Turin Dr. E. S. Pereira 87
  • 88.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Engenharia de computadores Engenharia de computadores O primeiro computador program´avel operacional foi o z-3, criado por Konrard Zuse na Alemanha, em 1941. Dr. E. S. Pereira 88
  • 89.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Engenharia de computadores Engenharia de computadores Zuse criou os n´umeros de ponto flutuante e a primeira linguagem de alto n´ıvel, denominada Plankalk¨ul Dr. E. S. Pereira 89
  • 90.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Engenharia de computadores Engenharia de computadores O primeiro computador eletrˆonico, o ABC, foi montado por John Atanasoff e Clifford Berry entre 1940 e 1942. Dr. E. S. Pereira 90
  • 91.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Teoria de Controle e Cibern´etica Teoria de Controle e Cibern´etica Como os artefatos pode operar sob seu pr´oprio controle? Dr. E. S. Pereira 91
  • 92.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Teoria de Controle e Cibern´etica Teoria de Controle e Cibern´etica Nobert Winer (1894-1964) - Personagem central da teoria de controle Viam o comportamento consciente como o resultado de um mecanismo regulador tentando minimizar o “erro” - a diferenc¸a entre o estado atual e o estado objetivo. Dr. E. S. Pereira 92
  • 93.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Teoria de Controle e Cibern´etica Teoria de Controle e Cibern´etica Nobert Winer (1894-1964) - Personagem central da teoria de controle Viam o comportamento consciente como o resultado de um mecanismo regulador tentando minimizar o “erro” - a diferenc¸a entre o estado atual e o estado objetivo. Dr. E. S. Pereira 93
  • 94.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Teoria de Controle e Cibern´etica Teoria de Controle e Cibern´etica Como a linguagem se relaciona como o pensamento? Processamento de linguagem natural. Dr. E. S. Pereira 94
  • 95.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica Teoria de Controle e Cibern´etica Teoria de Controle e Cibern´etica Como a linguagem se relaciona como o pensamento? Processamento de linguagem natural. Dr. E. S. Pereira 95
  • 96.
    Dr. E. S. Pereira Sum´ario Introduc¸˜ao Agindo de Forma Humana Pensando como Humana Pensando Racionalmente Agir Racionalmente Fundamentos da IA Filosofia Matem´atica Economia Neurociˆencia Psicologia Engenharia de computadores Teoria de Controle e Cibern´etica FIM Grato MUITO OBRIGADO. Dr. E. S. Pereira 96