Você está na página 1de 12

INF 5004 - INTELIGNCIA ARTIFICIAL AVANADA

1. INTRODUO E REVISO DE IA
Motivao:
o Fronteiras entre o natural e o artificial
o Seria inteligncia? Mente? Livre-arbtrio?
o Uma mquina de fato inteligente pode no ser humana? Pode no
ter processos mentais conscientes? E inconscientes?
o O que distingue a cincia da computao convencional da IA?
o possvel simular processos mentais com algoritmos?
o A mente de um crebro apenas um programa?
o Quais so os modelos bsicos do comportamento e como construir
mquinas para simul-las?
o At que ponto a inteligncia pode ser descrita recorrendo
avaliao de regras, inferncias, deduo e computao de
padres?
o Qual o desempenho das mquinas que simulam tais
comportamentos atravs destes mtodos?
Fronteiras entre o comportamento inteligente e no inteligente:
habilidades essenciais relacionadas inteligncia
o responder situaes de modo flexvel
o tirar proveito de circunstncias fortuitas
o perceber o sentido de mensagens contraditrias ou ambguas
o reconhecer a importncia relativa de elementos diferentes de uma
dada situao
o encontrar similaridades entre situaes apesar de diferenas que
existam entre elas
o encontrar diferenas entre situaes apesar das existentes
o sintetizar novos conceitos a partir de conceitos j conhecidos
relacionando estes de outras formas
o imaginar novas ideias
Crticas IA:
o Penrose (Fsica)
o Dreyfus (Filosofia)
o Gerald Edelman (Biologia)
o [Searle]

Histrico da IA:
o 1917-21: palavra "rob" aparece pela primeira vez (Karel apek,
R.U.R.)
o 1950: jogo da imitao ou Teste de Turing
o 1956: reunio histrica que "cria" a IA
o Dcada 70: representao do conhecimento, raciocnio, busca
o Dcada 80: programao em lgica, raciocnio quantitativo.
Sistemas especialistas, IAD, redes neuronais (neurais), proc. de
imagem, NLP, reconhecimento de padres, STI
o Dcada 90: SMA, Alife

Definies de Inteligncia:
o Da etnologia: algo que no se consegue explicar (Scrates); idia
difcil de se definir (Turing)
o Uma mquina inteligente precisa construir inteligncia a partir de
percepo e no apenas se apoiar em um modelo do mundo que
possua dentro de si (Turing)
o Capacidade de descrever objetos e dados complexos e
conhecimento e realiza operaes de forma eficiente
o Parte computacional da habilidade de atingir metas no mundo
(McCarthy) --> mas: seria apenas a parte computacional? outros
tipos de inteligncia? atingir metas no coloca as coisas
excessivamente no nvel de planejamento?

Definio de IA (Coelho, 1999)


o Estudo do comportamento inteligente como processo
computacional
o rea que visa compreender melhor a mente atravs da
especificao de modelos computacionais
o rea que visa construir sistemas computacionais que realizam
aes consideradas tradicionalmente mentais
o rea que visa estabelecer novos meios de representao baseados
em computao, atravs dos quais o intelecto humano possa
expressar-se de modo diferente com clareza e,
o rea que visa investigao da natureza da inteligncia e do
esprito, recorrendo ao computador como sistema fsico simblico
geral.

2. EXERCCIOS:
1) classifique as definies de IA que aparecem no livro de Russel e
Norvig bem como as 5 do livro de Coelho (texto acima) levando em conta
as seguintes dimenses:
seres humanos vs. seres ideais
pensamento vs. aco
interesse em resultados tericos vs. em aplicaces prticas
almejam obter conscincia em computadores inteligentes ou no

2) idem para as seguintes definies de IA (outras fontes):


a collection of algorithms that are computationally tractable,
adequate approximations of intractability specified problems
(Partridge, 1991)
the enterprise of constructiong a physical symbol system that can
reliably pass the Turing Test (Ginsburg, 1993)
the field of computer science that studies how machines can be
made to act intelligently (Jackson, 1986)
the field of study that emcompasses computational techniques for
performing tasks that apparently require intelligence when
performed by humans (Tanimoto, 1990)
a very general investigation of the nature of intelligence and the
principles and mechanisms required for understanding or replicating
it (Sharples et al, 1989)
the getting of computers to do things that seem to be intelligent
(Rowe, 1988)
3) busque e apresente (criticamente) outras definies de inteligncia,
IA e cognio
4) identifique 2 classes de problemas: a) onde o exerccio da inteligncia
seja fundamental para encontrar a soluo; b) onde a inteligncia no
necessria para encontrar soluo

5) para o item a) acima, descreva qual conhecimento necessrio e


como represent-lo

6) pesquise a literatura sobre IA a fim de descobrir se as seguintes


tarefas podem ser realizadas atualmente por computadores:
jogar uma partida de um jogo de mesa do tipo ping-pong com
eficcia
dirigir um carro no centro de Porto Alegre
jogar uma partida de um jogo de bridge em nvel competitivo
descobrir e provar novos teoremas matemticos
escrever uma estria engracada de propsito
fazer um aconselhamento legal competente a um especialista na rea
legal (advogado)
traduzir ingls falado para portugus falado, em tempo real

3. MTODO CIENTFICO CARTESIANO (DESCARTES)


Mecanismos cognitivos so estudados atravs de reduo
(reducionismo): para compreender um mundo complexo, necessrio
desmont-lo em partes elementares mais simples (crtica: suficiente?)
uma via analtica
Influncia do cartesianismos na IA:
o Teoria representacional da mente: cognio envolve o
processamento de estados internos semanticamente interpretados
o Mecanismo de processamento de informao no crebro uma
metfora inspiradora deste sistema representacional cognio
fundamentalmente computacional
o GPS (General Problem Solver): apoia-se no trip: busca memria
raciocnio
o Modelo cognitivo: busca heurstica (auxiliada por mtodos de
planejamento + regras heursticas): garantia de se encontrar a
soluo correta (se existir) em tempo finito
o Explicao para o pensamento: descries simblicas discretas
(frames, redes semnticas, scripts, etc.)
Dcada 60: aprendizagem = adaptao de heursticas e estruturas de
conhecimento ao espao de buscas
Dcada 70: natureza dos computadores e dos modelos de computao
limitam algoritmos de resoluo de problemas
Dcada 80: Roger Schank (1983): sistemas especialistas no existem
sem aprendizado e sem reorganizao do conhecimento
Ainda do reducionismo: outras metforas derivadas do funcionamento
do crebro humano (perceptron, redes neuronais)
Pergunta ainda sem soluo: possvel simular a mente em um
programa de computador?
o No: o esprito do homem ser sempre incompreensvel para o
homem porque qualquer compreenso deste esprito deve ser
sempre um subconjunto do conjunto de seu esprito
o Sim: pode-se identificar certos componentes da inteligncia sem
necessariamente as conhecer ou explicar seu funcionamento, tais
como: a capacidade de computar ou calcular (+ simples), de
correlacionar, de associar, de inferir e de extrapolar (+ complexa)
4. ELEMENTOS DA IA
IA = conhecimento + inferncia (equao mais simples possvel, mas
muito adequada sistemas especialistas)
O que conhecimento? Cooley (1988) prope a seguinte relao entre
conhecimento, dado e informao:
informao

dados significado conheciment


(podem ser o
manipulados por formal informal
sistemas
computacionais
convencionais) inferncia

conhecimento e
ajuda deciso ou
inferncia exigem
sistema comunicante de
sistemas
conhecimento
computacionais mais
complexos
os nveis mais conhecimento sobre
elevados da conhecimento ou
comunicao do metaconhecimento
conhecimento foram
descobertos com a IA
Conhecimento deve ser explcito e manipulvel incompletude,
inconsistncia e incerteza
Evoluo da base de conhecimento no tempo: como garantir a
consistncia? Tcnicas de manuteno da verdade (TMS), lgica e
raciocnio no monotnico
Hierarquias dos tipos de conhecimento (mais baixo para mais alto)
segundo Gaines e Shaw (1986): aes e construes, experincia
(conhecimento advindo das aes), hipteses (modelar sobre
experincias eficientes), analogias (comparao de modelos
alternativos), abstraes dos modelos, transcendncias (distines
sobre modelos abstratos)
Organizao do conhecimento (analogia com organizao cerebral), 2
lados:
o Conhecimento analtico (lado esquerdo do crebro): anlogo
biolgico do modelo computacional de Von Neumann
(processamento seqencial, temporal e linear); processamento
lgico e literal, espacial, quantitativo, local ligado razo, ao
pensamento, anlogo ao hardware.
o Conhecimento advindo da intuio (lado direito): trata padres,
associaes abstratas, inferncias no lgicas e extrapolaes
criativas (modelo perseguido pelo projeto computadores de 5
gerao nos anos 80 e 90); processamento intuitivo e metafrico,
qualitativo, global, ligado emoo e sentimento anlogo ao
software.
Viso diferente (Robert Ornstein na psicologia e Marvin Minsky na
computao): seres humanos tem vrias mentes, cada qual um
especialista (agente para Minsky) em uma rea inteligncias so
independentemente separadas e autnomas
Elementos da IA (do ponto de vista terico): lgica (monotnica, no
monotnica, fuzzy); dependncia conceitual; cognio; modelos
sintticos; semntica e pragmtica da compreenso de uma linguagem
natural; cinemtica e dinmica (para robtica); modelos do mundo
(robs), de alunos (S.T.I.), de interfaces, de dilogo, etc.
Elementos da IA do ponto de vista da abstrao, esquemas de
representao do conhecimento (regras de redes semnticas; frames,
scripts; lgicas) bem como os mtodos para processamento destas
representaes (deduo, induo e abduo); modelos da compreenso
da lngua natural bem como suas representaes (fontica, morfolgicas
e lxicas); traduo automtica; reconhecimento e sntese de fala;
modelos de raciocnio (temporal, espacial, causal, taxonmico,
quantitativo, baseado em modelos e qualitativo); incerteza (lgica no
monotnica, teorema de Bayes, regra de Dempster-Shafer); modelos de
aprendizado (analogia, por exemplos, etc); mtodos de busca heurstica;
arquitetura de mquina que imitam sistemas biolgicos (redes
neuronais, conexionismo e memria distribuda).
Elementos da IA do ponto de vista de projetos e experimentos: sistemas
em programao lgica, demonstrao de teoremas; sistemas
especialistas em domnios particulares (DENDRAL, MYCIN, etc); shells
de sistemas especialistas; bancadas de desenvolvimento (KADS);
implementaes tipo Prolog, PARLOG, etc; sistemas de compreenso de
linguagem natural; implementaes de redes neuronais; sistemas que
jogam xadrez, damas e jogos de estratgia; sistemas reconhecedores de
voz; robs estticos e dinmicos; metodologias e tecnologias como RBC,
sistemas especialistas, algoritmos genticos, aut. celulares, vida
artificial, realidade virtual, estruturas auto-organizativas, sistemas auto-
adaptativos
Sntese destes elementos - criatura artificial:
o Mdulos de entrada: viso, linguagem.
o Mdulos do corpo central (caixas pretas): deduo e busca,
planejamento, explicao, aprendizagem.
o Mdulos de sada: fala, movimentos dos membros.

5. LEITURA:
captulo 2 de Sonho e Razo (Coelho, 1999) [obrigatria]
cap. 26 do livro Russel and Norvig [obrigatria]
captulo 4 de Sonho e Razo (Coelho, 1999) [opcional]

6. PARA PRXIMA AULA:


apresentaco estruturada (com slides ou no quadro) das
concluses sobre cap. 26 Russel and Norvig (em grupo)
resoluco do exerccio 6 (ver acima)
7. IA: ESTUDO DA MENTE OU PROCESSAMENTO DE CONHECIMENTO?
1956: reunio que cria a IA:
estudo da mente: Newell
processamento de conhecimento: Feigenbaum
primeira preocupaes: representao (McCarthy), resoluo de
problemas (Newell e Simon), modelagem da memria (Minsky,
Miller), reconhecimento de padres (Greenblatt)
modelos de computao anteriores IA: mquina de Turing (1936),
sistema de produo (Post, 1936 e 1943), clculo Lambda (Church,
1936 e 1941), funes recursivas gerais (Kleene, 1936), lgica
combinatria (Curry, 1958), mquina de Mealey (1955), mquina de
Kleene (1956), autmatos celulares (von Neumann, 1956), mquina
de Moore (1956)
modelo de computao de McCarthy (1958): linguagem Lisp
modelos de computao associados IA: sistemas formais (Smullyan,
1961), algoritmos genticos (Holland, 1975), lgica de clusulas
Horn (Kowalski, 1974), nodos conexionistas (Rumelhart e
McClelland, 1976), planejamento (Chapman, 1987), Improviso (Agre
e Chapman, 1987)
tese da IA forte:
a inteligncia humana pode ser replicada
as explicaes das funes cognitivas so apoiadas por processos
computacionais
tese da IA fraca:
a inteligncia humana pode, no melhor dos casos, apenas ser
simulada
a meta para se atingir a inteligncia artificial consiste em projetar
mquinas que sejam capazes de exibir um comportamento
inteligente
questes formuladas na seo 1 podem ser resumidas na seguinte
(Hofstadter, 1979): um sistema cognitivo (sistema lgico-formal,
teoria matemtica, crebro como base da mente) pode ocupar-se
de si mesmo? Esta pergunta remonta aos problemas propostos por
Hilbert (1900), Russel e Whitehead (Principia Mathematica tenta
derivar toda matemtica a partir da lgica) e outras questes
relativas provas matemticas:
existe um mtodo (definitivo), ou seja um processo mecnico, que
possa ser aplicado uma declarao matemtica, o qual possa
dizer se esta pode ser provada?
no:
Hardy (1928): afirma mas no prova formalmente
Turing (1936)
superioridade da mente frente dispositivos mecnicos
determinismo: modelagem de problemas complexos a
partir de elementos (mquina de estados, autmatos, etc.)
a matemtica completa e consistente?
no (Gdel, 1931) e o Teorema da Incompletude: se S for
consistente (no contm um teorema que seja a negao de um
outro), ento existem sentenas verdadeiras que so teoremas
em S e que no podem ser demonstradas:
possvel escrever declaraes/sentenas matemticas que
se referem a elas mesmas (do tipo Eu estou mentindo,
Esta sentena falsa ou Esta declarao no pode ser
provada)
tais declaraes no podem ser demonstradas ou seja
provadas como sendo verdadeiras (levariam uma
contradio) ou como sendo falsas (idem)
logo, uma declarao deste tipo no pode ser demonstrada a
partir dos axiomas o que prova que, por exemplo, a
aritmtica (foi mostrado que esta pode ser formulada apenas
em termos de manipulao de smbolos - nmeros e
operadores, ou seja usa-se nmeros para fazer afirmaes
sobre nmeros) no completa no sentido proposto por
Hilbert (cada declarao - por exemplo 2+2=4 - pode ser
provada como sendo V ou F)
o exemplo usado por Gdel (esta declarao no pode ser
demonstrada) portanto uma declarao verdadeira
(paradoxo ?) mas isto somente pode ser determinado por um
observador externo (o prprio sistema axiomtico no pode
chegar esta concluso por si)
o que isto tem a ver com a IA e a questo da mente?
um sistema formal S um aparato simblico (regras bem
determinadas) o que implica em combinaes simblicas
(teoremas de S) advindas das regras de S
a mquina de Turing um sistema formal (Teorema de Gdel se
aplica)
se o crebro funcionar como uma mquina de Turing,
permanecer consistente implica em uma limitao (por
exemplo, no conseguir demonstrar todas as sentenas
verdadeiras da aritmtica elementar)
mas, como o crebro/mente (sistema S) consegue demonstrar
(fora de S) que uma sentena (indemostrvel no sentido de
Gdel) de fato verdadeira, ento o crebro/mente no uma
mquina de Turing, e um corolrio seria: crebro/mente no
pensa algoritmicamente (Lucas, 1961; Penrose, 1989)
qual sua opinio a respeito disto?

8. LEITURA:
Searle x Churchland and Churchland (Scientific American. jan. 1990)
[obrigatria]
The first AI debate (cap. 5 S. Franklin, Artificial Minds) [obrigatria]
Sloman (Art. Intelligence vol. 56: 355, 1992) [obrigatria pelo menos at
seo 7]
Penrose (The Emperors New Mind, caps. 1, 2) [opcional]
Dreyfus and Dreyfus (cap. 2 S.R. Graubard, The Artificial Intelligence
Debate) [opcional]
Lucas (Minds, Machines and Gdel. . Philosophy 36: 112, 1961) ou cap.
XV de Gdel, Escher and Bach (Hofstadter) [opcional]
Whitely (Minds, Machines and Gdel: a reply to Mr. Lucas. Philosophy
37: 61, 1962) [opcional]

9. PARA PRXIMA AULA:


apresentaco estruturada das concluses artigo Churchland and
Churchland (em grupo)
classifique cada uma das definies de IA vistas acima como
pertencente corrente da IA forte ou da IA fraca
10.CREBRO, MENTE E CONSCINCIA
Crebro:
existe:
semelhana entre diferentes partes do cortex cerebral
semelhana entre crebros de vrias espcies
mas:
atividade mental no semelhante entre as espcies
explicao:
os padres de conectividade so diferentes (conceitualmente
todos os livros se parecem mas cada padro particular de uma
combinao de smbolos forma um texto distinto)
cincias relacionadas: neurocincias (crebro fsico), cincias
cognitivas (mente)
Definio de mente:
intelecto, pensamento, entendimento; alma, esprito (parte
distinta do corpo)
capacidade mental ou psquica; capacidade cognitiva e intelectual
(em contraposio s emoes e intenes)
memria, recordaes
concepo, imaginao
local do sujeito da conscincia; sistema relativo aos fenmenos
cognitivos e emocionais, experincia conscientes de um indivduo
inteno, intuito, desgnio, disposio, desejo
Minsky, Pinker: mente como sistema (conjunto) de orgos
Mquinas podem possuir uma mente? Animais? H correntes que
afirmam que apenas seres humanos possuem mente (mas: mesmo
sem ter um definio do que pensar, se pensa)
Definies de conscincia:
ter um sentimento ou conhecimento das sensaes ou sentidos de
si mesmo ou de coisas externas
ter um sentimento ou conhecimento do que uma coisa ou de que
uma coisa existe ou acontece
percepo de si como um ser pensante; saber o que se est
fazendo e porqu
o conhecimento do que acontece ao redor de uma pessoa;
totalidade dos pensamentos de uma pessoa; sentimentos e
impresses; mente; lembrana do que se fez recentemente (logo, a
discusso sobre conscincia em mquina intil)
Vises de alguns pesquisadores sobre o tema mente e conscincia
(2001):
Minsky: conscincia no existe (em entrevista ZDNET)
Dennett: mquina (rob) consciente possvel; dificuldade
apenas financeira
Davis: dificuldade reproduzir o funcionamento do crebro;
progressos foram feios apenas em relao a sensores e prteses
artificiais
Kurzweil: mquinas sero conscientes ainda na primeira metade
do sec. XXI

11.O PROBLEMA MENTE-CORPO


Teorias
mente tudo (viso mentalista)
mente nada mais que um processo fsico (viso materialista)
o mental e o material co-existem (viso dualista)
Histrico
Descartes (sec. XVII)
paralelo entre autmatos e corpo humano: estmulo externo
ativa receptores do sistema nervoso -> crebro -> nervos
atuadores (ex.: joelho)
Kant (sec. XVIII)
fundamentos metodolgicos da cincia cognitiva (estrutura
lgica do mtodo de inferncia de processos mentais)
pr Kant: viso empirista do modelo da mente (Hume por
exemplo mostrava que o unicrnio no existe mostrando que as
duas impresses que podem ser adquiridas por um dos nossos
sentidos - no caso a viso - ou seja a do cavalo e a do chifre, no
ocorrem juntas
Mente e crebro
senso estrito:
mente diferente do crebro; a mente o subconjunto das
aes do crebro que esto relacionadas com processamento
de informaes (em ltima anlise, computao); a mente o
conjunto de processos que levam o crebro de um estado a
outro (Minsky)
teoria computacional da mente:
a informao permanece a mesma independente do meio que a
transmite;
desejos e crenas (conceitos tipicamente associados com a
mente) so informaes representadas por smbolos
smbolos so armazenados em neurnios que so disparados
por sensaes
novas crenas e desejos so formados
um dado comportamento ocorre
Debate atual:
a teoria computacional da mente resolve o problema mente-corpo?
crticos: Searle (1980) e Penrose (1994)

12.LEITURA:
A. Damasio: A Passion for Reasoning. In: Descartes Error (cap.
11) [obrigatria]
A. Damasio: Descartes Error (cap. 1 e 2) [opcional]
S. Franklin: Artificial Minds (cap. 16) [opcional]
R. Kurzweil: The Age of Spiritual Machines (cap. 3) [opcional]
M. Minsky: The Society of Mind (cap. 28.5 a 28.8) [opcional]
O. Flanagan: The Science of the Mind (cap. 1) [opcional, sobre
dualismo]

13.EXERCCIO:
Dada a seguinte proposico: Com certeza os computadores no podem
ser inteligentes; eles podem apenas fazer aquilo que foi definido pelos
programadores. A segunda proposico verdadeira? Ela implica a primeira?
Dada a seguinte proposico: Com certeza os animais no podem ser
inteligentes; eles podem apenas fazer aquilo que foi definido pelos seus
genes. A segunda proposico verdadeira? Ela implica a primeira?

14.PARA PRXIMA AULA:


apresentaco estruturada sobre texto livro A. Damsio (em grupo)
apresentaco resoluco do exerccio acima