Fundamentos da Inteligncia Artificial

Paulo Santos psantos@fei.edu.br 2006

Origem da Inteligncia Artificial

O termo Artificial Intelligence foi cunhado por John McCarthy em 1956 durante o seminrio de Darthmouth...

... onde tambm participaram: Marvin Minsky, Claude Shannon, Allen Newell, Herbert Simon, etc...

Marvin Minsky

O que inteligncia artificial?

Barr & Feigenbaum (1981)

IA a parte da cincia da computao que se preocupa em desenvolver sistemas computacionais inteligentes, isto , sistemas que exibem caractersticas, as quais ns associamos com a inteligncia no comportamento humano - por exemplo, compreenso da linguagem, aprendizado, raciocnio, resoluo de problemas, etc.

Nils Nilsson (1982)

Muitas atividades mentais -como escrever programas de computadores, matemtica, raciocnio do senso comum, compreenso de lnguas e at dirigir um automvel - demandam inteligncia. Nas ltimas dcadas, vrios sistemas computacionais foram construdos para realizar estas tarefas. Dizemos que tais sistemas possuem algum grau de Inteligncia Artificial.

Charniak & McDermott (1987)

IA o estudo de faculdades mentais atravs do uso de modelos computacionais.

Nilson & Genesereth (1987)

IA o estudo do comportamento inteligente. Seu objetivo final uma teoria da inteligncia que explique o comportamento das entidades inteligentes naturais e que guie a criao de entidades capazes de comportamento inteligente.

Kurzweil (1990)

IA a arte de criar mquinas que executam funes que requerem inteligncia quando executadas por pessoas.

Winston (1992)

Inteligncia Artificial o estudo das computaes que tornam possvel perceber, raciocinar e agir.

Luger & Stubblefield (1993)

IA pode ser definida como o ramo da cincia da computao que se preocupa com a automao do comportamento inteligente. IA a coleo de problemas e metodologias estudadas pelos pesquisadores de IA.

Elaine Rich & Kevin Knight (1993)

Inteligncia Artificial o estudo de como fazer os computadores realizarem coisas que, no momento, as pessoas fazem melhor.

Definies, definies, definies

pensamento vs. comportamento construo vs. estudo inveno vs. imitao

conhecimento vs. mecanismo

pensamento vs. comportamento

psicologia cognitiva
modelagem de processos mentais Viso do crebro como um dispositivo de processamento de informaes

psicologia comportamentalista
percepes (estmulos) e as aes resultantes (respostas)

construo vs. estudo

Engenharia de computadores e neurocincia

construir um crebro

Cincia cognitiva
modelos computacionais e tcnicas experimentais para construir teorias a respeito de processos na mente humana

inveno vs. imitao

Lgica matemtica
modelar processos de argumentao irrefutveis silogismos de aristteles representao objetivo em IA: inventar programas para implementlos

Biologia
copiar processos naturais construir pedaos de crebro (neurocincia) e construir criaturas com comportamento natual

Minha definio de IA

rea da cincia da computao poluda por:

neurocincia, psicologia, lgica, biologia, filosofia, lingustica, ... qualquer cincia que envolva a palavra inteligncia.

Objetivo?

Objetivo: teses forte e fraca

"According to weak AI, the principal value of the computer in the study of the mind is that it gives us a very powerful tool(. . .). But according to strong AI, the computer is not merely a tool in the study of the mind; rather the appropriately programmed computer really is a mind, in the sense that computers given the right programs can literally be said to understand and have other cognitive states.
in Searl J. R., Minds, brains and programs, The Philosophy of AI, M. Boden eds., 1990.

Ora pois, que raios inteligncia?

?????

?????

?????

... chega de conversa de botequim

Como saber se tivemos sucesso em criar Inteligncia Artificial? Alan Turing (1950) props o Teste de Turing.
A. Turing, Computing Machinery and Intelligence, in The Philosophy of AI, M. Boden ed.1990 http://cogprints.org/499/00/turing.html [Entregar prxima semana] Por que o teste de Turing pode ser considerado ao mesmo tempo fraco demais e forte demais?

Teste de Turing

Teste de Turing

Os pilares da IA

IA simblica IA conexionista (outro curso) Tomada de decises

Dreyfus, H.L. and Dreyfus, S.E. Making a Mind Versus Modelling the Brain: AI back at a branch point. In M. Boden ed., 1990

IA simblica (ou GOFAI)

resoluo de problema por busca

IA simblica

representao de conhecimento (e ontologias)

formalizar um determinado domnio para poder manipul-lo; Eg. Region Connection Calculus;

Region Connection Calculus

(all x all y (C(x,y) -> C(y,x))). (all x C(x,x)). (all x all y (DC(x,y) <-> -C(xy,y))). (all x all y (P(x,y) <-> (all z (C(z,x) -> C(z,y))))). (all x all y (PP(x,y) <-> (P(x,y) & -P(y,x)))). (all x all y ( x=y <-> (P(x,y) & P(y,x)))).

IA simblica

raciocnio automtico
derivaes sintticas das consequncias do conhecimento representado implementao de regras de inferncia lgicas

IA simblica

Planejamento
Tem como objetivo construir sistemas capazes de encontrar um plano que permita a um agente atingir um determinado objetivo; Plano: sequncia ordenada de aes

IA simblica

Problema de satisfao de restries

Restringir o espao de busca segundo vnculos.

IA simblica

Aprendizagem por induo (ILP)

generalizao de uma teoria, a partir de exemplos.

Tomada de decises

Aplicao de mtodos estatsticos para inferir conhecimento:

redes bayesianas processos de markov (MDP) processos de markov parcialmente observveis (POMDP)

O que AI (parte 2)

O que esta dentro de:

Russell, S. and Norvig P. Inteligncia Artificial, Campus, (trad. Valdenberg D. de Souza) 2004

Em particular...

Mtodos de busca (Cap. 3, 4 e 6 do Russell) lgica e representao de conhecimento (Cap. 7, 8, 9, 10 do Russell) Robtica cognitiva (diversos artigos) Raciocnio espacial (diversos artigos)

Planejamento (cap 11 do Russell) Constraint Satisfaction Problem (notas de aula do Apt) Raciocnio baseado em casos Inductive Logic Programming (cap 18 do Russell + tutorial do Muggleton) Aprendizagem por reforo Raciocnio com incerteza

Avaliao

2 provas vrias provinhas monografia

Final = phi * (P1 + P2 + Mono)/3

Provinhas

Questes que iro avaliar uma leitura crtica de alguns artigos; listas de exerccios; trabalhos de laboratrio.

P1

Matria at aula 13 (inclusive)

P2

Toda a matria

Monografia

Redigir uma reviso bibliogrfica sobre a sua rea de pesquisa!