Você está na página 1de 14

IA

Ernesto Massa

Introduo

Ns nos chamamos homo-sapiens - homem o sbio porque nossa inteligncia muito importante para
ns.
Por milhares de anos, temos tentado entender como
ns pensamos, ou seja, como um mero punhado de
carne pode perceber, compreender, prever e
manipular um mundo muito maior e mais complicado
do que ela.
O campo da inteligncia artificial, ou IA, vai mais longe
ainda: faz tentativas no s para entender, mas
tambm para construir entidades inteligentes.

Introduo

IA abrange atualmente uma enorme variedade de


subcampos, que vo desde o mais geral
(aprendizagem e percepo) ao mais especfico.
Alguns exemplos de aplicaes so:

jogar xadrez,

provar teoremas matemticos,

escrever poesias,

dirigir um carro em uma rua movimentada,

diagnsticar doenas...

O Que IA?

Quatro abordagens da IA tem sido seguida, cada um


por diferentes pessoas com mtodos diferentes:

Pensando Humanamente:

"O esforo novo e excitante para fazer os


computadores pensar ... mquinas com mentes, no
sentido completo e literal." (Haugeland, 1985)
"A automao das atividades que ns associamos
com o pensamento humano, atividades como a
tomada de decises, resoluo de problemas de
aprendizagem ..." (Hellman, 1978)
Cincia Cognitiva

O Que IA?

Quatro abordagens da IA tem sido seguida, cada um


por diferentes pessoas com mtodos diferentes:

Pensando Racionalmente:

"O estudo das faculdades mentais atravs do


uso de modelos computacionais".
(Charniak e McDermott, 1985)
"O estudo das computaes que tornam possvel
perceber, raciocinar e agir." (Winston, 1992)
Lgica
Silogismo

O Que IA?

Quatro abordagens da IA tem sido seguida, cada um


por diferentes pessoas com mtodos diferentes:

Atuando Racionalmente:

"Inteligncia Computacional o estudo da


concepo de agentes inteligentes." (Poole et al,
1998)
"O estudo de como fazer os computadores fazer
coisas em que, no momento, as pessoas so
melhores." (Rich e Knight, 1991)
Agentes Inteligentes

O Que IA?

Quatro abordagens da IA tem sido seguida, cada um


por diferentes pessoas com mtodos diferentes:

Atuando Humanamente:

"A arte de criar mquinas que executam funes


que requerem inteligncia quando realizado por
pessoas. "(Kurzweil, 1990)
"Al ... relativo ao comportamento inteligente em
artefatos". (Nilsson, 1998)
Viso Computacional Representao do conhecimento

Processamento de linguagem natural


Automatizao do raciocnio

Robtica
Aprendizagem de mquina

Fundamentos da IA

Filosofia:

Podem regras formais serem usadas para extrair


concluses vlidas?

Como a mente surge a partir de um crebro fsico?

De onde o conhecimento vem?

Como o conhecimento leva ao?

Fundamentos da IA

Filosofia:

Aristteles: O primeiro a formular um conjunto preciso de


leis que regem a parte racional da mente
Ramon Lull: raciocnio poderia ser realmente til se
realizado por um artefato mecnico

Thomas Hobbes: raciocnio era como computao numrica


Leonardo da Vinci: Primeiro projeto de calculadora
mecnica
Wilhelm Schickard/Blaise Pascal: Construo da primeira
calculadora mecnica
Rene Descartes: Primeira discusso clara da distino entre
mente e matria

Fundamentos da IA

Filosofia:

Francis Bacon : (Empiricismo): Nada est no entendimento,


que no passou primeiro pelos sentidos"
Bertrand Russell: (Positivismo lgico): Doutrina que afirma
que todo conhecimento pode ser caracterizado por teorias
lgicas conectadas, em contraponto s sentenas de
observao que correspondem a entradas sensoriais
Rudolf Catnap and Carl Hempel: The Logical Structure of
the World (1928) foi provavelmente o primeiro livro sobre a
teoria da mente como um processo computacional

Fundamentos da IA

Matemtica:

Quais so as regras formais para extrair


concluses vlidas?

O que pode ser computado?

Como lidar com informaes incertas?

Fundamentos da IA

Matemtica:

George Boole: Lgica booleana

Gottlob Frege: Lgica de primeira ordem

Kurt Gdel: (Teorema da incompletude) H afirmaes


verdadeiras que so indecidveis no sentido de que elas no
tm nenhuma prova de que so verdadeiras

ChurchTuring: Limites da computabilidade e decidibilidade

Cobham e Edmonds: Tratabilidade

Steven Cook e Richard Karp: Teoria da NP-Completude

Fundamentos da IA

Outras reas:

-Os economistas formalizaram o problema de tomar


decises que maximizam o resultado esperado para o
tomador de deciso.

-Os neurocientistas descobriram alguns fatos sobre como o


crebro funciona e as formas em que ele semelhantes e
diferente dos computadores.
-Os psiclogos adotaram a idia de que os humanos e os
animais podem ser considerados mquinas de
processamento de informaes.

Fundamentos da IA

Outras reas:

Os lingistas mostraram que o uso de linguagem se encaixa


nesse modelo.
Engenheiros da computao proveem mquinas cada vez
mais poderosos, que fazem aplicaes de IA possvel.

Teoria de Controle teoria lida com a criao de dispositivos


que funcionam otimamente com base em feedbacks do
ambiente. Inicialmente, as ferramentas matemticas da
teoria de controle eram bastante diferentes da IA, mas estes
campos esto se aproximando.