INTELIGNCIA ARTIFICIAL

Francisco Barretto franciscobarretto@udf.edu.br

Aula 02: Introduo e Aplicaes

Sumrio Aula 01
2

1. 2. 3. 4. 5. 6.

Histrico Definies Aplicaes Principais Abordagens Atividade Bibliografia

27/02/13

1. Histrico
Breve histrico da rea de conhecimento

27/02/13

1. Histrico
4

Aristteles (IV A.C.) Silogismo:

Todo

homem mortal; Scrates um homem; Logo

IA como campo multidisciplinar; Rede de Neurnios, 1943 (A Logical Calculus of the Ideas Immanent in Nervous Activity McCulloch & Pitts); Campo de difcil conceituao;

27/02/13

1. Histrico
5

1956 Darthmouth College Summer Course; Inteligncia Artificial John McCarthy, 1956;

capacidade de uma mquina de realizar funes que, se realizadas pelo ser humano, seriam consideradas inteligentes

27/02/13

1. Histrico
6

IA o ramo da Cincia da Computao voltado para o estudo das faculdades mentais atravs do uso de modelos computacionais (Charniak & McDermott, 1985).

27/02/13

1. Histrico
7

Matemtica Filosofia Sociologia

Lingstica

IA

Psicologia

Neuro-fisiologia Gentica

Computao

27/02/13

1. HIstrico
8

AI Timeline: www.aaai.org/Timeline/timeline.php

27/02/13

2. Definies

O que Inteligncia? O que Artificial? O que Inteligncia Artificial?

27/02/13

2. Definies
10

Comportamento

Processos do Pensamento e Aprendizagem

Performance Humana (Russel & Norvig, 2003)

Conceito Ideal de Inteligncia

27/02/13

2. Definies
11

Comportamento

Processos do Pensamento e Aprendizagem

Performance Humana (Russel & Norvig, 2003)

Conceito Ideal de Inteligncia

27/02/13

2. Definies
12

Comportamento

Processos do Pensamento e Aprendizagem

Performance Humana (Russel & Norvig, 2003)

Conceito Ideal de Inteligncia

27/02/13

2. Definies
13

Sistemas que pensam como humanos

Abordagem

cognitiva; Compreenso dos processos cognitivos; Introspeco / Experimentos (Russel & Norvig, 2003); Abordagem Cognitiva;
Processamento

de Linguagem Natural (PNL), Viso Computacional, Aprendizagem, etc.

27/02/13

2. Definies
14

Sistemas que pensam racionalmente

Aristteles Silogismos; Campo

(384 322 A.C.)

da lgica clssica; Relao lgica entre conceitos;

Representao Heurstica.

do conhecimento;

27/02/13

2. Definies
15

Sistemas que agem como humanos

Computing

Machinery and Intelligence (Turing, 1950); Inteligncia operacional; Inferncia do desempenho;

Processamento

de Linguagem Natural (PNL); Representao de conhecimento; Aprendizagem.

27/02/13

2. Definies
16

Sistemas que agem racionalmente

Agentes

racionais; Melhor resultado possvel ou esperado; Objetivo conhecido;

Falta

de objetivo concreto; Adaptabilidade.

27/02/13

17

3. Aplicaes
Onde aplicar? Quais possveis usos?

27/02/13

3. Aplicaes
18

Matemtica: demonstrao de teoremas, resoluo simblica de equaes, geometria, etc. Pesquisa operacional: otimizao e busca heurstica em geral Jogos: xadrez, damas, go, etc. Processamento de linguagem natural: traduo automtica, verificadores ortogrficos e sintticos, interfaces para BDs, etc. Sistemas tutores: modelagem do aluno, escolha de estratgias pedaggicas, etc. Percepo: viso, tato, audio, olfato, paladar... Robtica (software e hardware): manipulao, navegao, monitoramento, etc.
27/02/13

3. Aplicaes
19

Sistemas especialistas: Atividades que exigem conhecimento especializado e no formalizado

Tarefas: diagnstico, previso, monitoramento, anlise, planejamento, projeto, etc. reas: medicina, finanas, engenharia, qumica, indstria, arquitetura, arte, computao, etc. engenharia de software (sobretudo na Web) programao automtica interfaces adaptativas bancos de dados dedutivos e ativos minerao de dados (data mining) sistemas distribudos, etc.

Computao:

27/02/13

3. Aplicaes: Evolved Creatures

20

27/02/13

3. Aplicaes: ASIMO
21

27/02/13

3. Aplicaes: Swarm NanoQuads

22

27/02/13

3. Aplicaes: DARPA
23

27/02/13

24

4. Paradigmas de Raciocnio
Lgica, Neurnios, Darwin, Probabilidades!

27/02/13

4. Abordagens
25

1.

Simblico: metfora lingstica

ex.

sistemas de produo, agentes,...

2.

Conexionista: metfora cerebral

ex.

redes neurais

3.

Evolucionista: metfora da natureza

ex.

algoritmos genticos, vida artificial,

4.

Estatstico/Probabilstico
Ex.

Redes Bayesianas, sistemas difusos

27/02/13

4.1 IA Simblica
26

West criminoso ou no?

A

lei americana diz que proibido vender armas a uma nao hostil. Cuba possui alguns msseis, e todos eles foram vendidos pelo Capito West, que americano

Como resolver automaticamente este problema de classificao? Segundo a IA (simblica), preciso:

Identificar

o conhecimento do domnio (modelo do problema) Represent-lo utlizando uma linguagem formal de representao Implementar um mecanismo de inferncia para utilizar esse conhecimento
27/02/13

4.1.1 Conhecimento
27

Programa em IA = Agente racional

entidade

de software que age em um ambiente segundo um princpio de racionalidade

Precisa ter conhecimento sobre:

quais

so suas propriedades relevantes do mundo como o mundo evolui como identificar os estados desejveis do mundo quais as consequncias de suas aes no mundo como medir o sucesso de suas aes como avaliar seus prprios conhecimentos
27/02/13

4.1.1. Representao de Conhecimento

28

Segundo Elaine Rich e Kevin Knight (1993), este conhecimento deve ser representado de tal forma que:
1. 2. 3.

4. 5.

Capture generalizaes, identificando e agrupando as propriedades relevantes; Seja compreensvel para as pessoas que o fornecem; Seja facilmente modificvel para permitir a correo de erros, refletir as mudanas do mundo e da viso do mundo que o usurio ou agente possui; Possa ser utilizado em diversas situaes mesmo sendo incompleto ou impreciso; Ajude a superar o seu prprio volume, auxiliando a limitar as diversas possibilidades que devem ser consideradas (RICH e KNIGHT, 1993).
27/02/13

4.1.2 Raciocnio
29

Raciocnio:
processo

de construo de novas sentenas a partir de outras sentenas.

Deve-se assegurar que o raciocnio plausvel segue-se (sound) fatos fatos

Mundo
semntica semntica

Representao

sentenas

implica

sentenas

27/02/13

Revisitando o Capt West!

30

A) x,y,z Americano(x) Arma(y) Nao(z) Hostil(z) Vende(x,z,y)

Criminoso(x) B) x Guerra(x,USA) Hostil(x) C) x InimigoPoltico(x,USA) Hostil(x) D) x Mssil(x) Arma(x) E) x Bomba(x) Arma(x) F) Nao(Cuba) G) Nao(USA) H) InimigoPoltico(Cuba,USA) I) InimigoPoltico(Ir,USA) J) Americano(West) K) x Possui(Cuba,x) Mssil(x) L) x Possui(Cuba,x) Mssil(x) Vende(West, Cuba,x)
M) Possui(Cuba,M1) - Eliminao: quantificador existencial e N) Mssil(M1) conjuno de K O) Arma(M1) - Modus Ponens a partir de D e N P) Hostil(Cuba) - Modus Ponens a partir de C e H Q) Vende(West,Cuba,M1) - Modus Ponens a partir de L, M e27/02/13 N R) Criminoso(West) - Modus Ponens a partir de A, J, O, F, P e Q

4.2 IA Conexionista
31

Definio Romntica:
Tcnica inspirada no funcionamento do crebro, onde neurnios artificiais, conectados em rede, so capazes de aprender e de generalizar.

Definio Matemtica:
Tcnica de aproximao de funes por regresso no linear.

uma outra abordagem:

linguagem -> redes de elementos simples raciocnio -> aprender diretamente a funo entradasada

27/02/13

4.2 IA Conexionista
32

s1 sj sn

w1i wji wni

e(i)

e(i) = w ji sj


s(i)

s(i) = f (e(i))

camada de entrada

camada escondida

camada de sada
27/02/13

4.3 IA Evolucionista
33

27/02/13

4.3 IA Evolucionista
34

EVOLUO
diversidade

gerada por cruzamento e mutaes os seres mais adaptados ao seus ambientes sobrevivem (seleo natural) as caractersticas genticas de tais seres so herdadas pelas prximas geraes
27/02/13

4.3 IA Evolucionista
35

Definio:

Mtodo probabilista de busca para resoluo de problemas (otimizao) inspirado na teoria da evoluo

Idia:
indivduo = soluo faz evoluir um conjunto de indivduos mais adaptados por cruzamento atravs de sucessivas geraes fitness function f(i): R >[0,1]

27/02/13

4.4 IA Probabilista
36

Redes Bayesianas; Cadeias de Markov; Falaremos mais adiante

27/02/13

5. Atividade
37

Ler e entregar um resumo sobre: (Captulo 1) Stuart Russell & Peter Norvig. Inteligncia Artificial uma Abordagem Moderna, Editora Campus, 2004.

Data da entrega: quinta-feira - 15/08/2012 Mximo 2 pginas em formato SBC (goo.gl/1GJL8)

Leitura Recomendada:
McCARTHY,

J. - What is Artificial Intelligence, 2004 goo.gl/2yCkU TURING, A. M. Computing Machinery and Intelligence. Mind, p. 433-460, 1950 - goo.gl/7ASfm
27/02/13

6. Bibliografia
38

LUGER, G. F. Inteligncia Artificial: estruturas e estratgias para a soluo de problemas complexos. Traduo de Paulo Engel. Bookman, 2004. MCCULLOCH, W.; PITTS, W. A Logical Calculus of the Ideas Immanent in Nervous Activity. Bulletin of Mathematical Biophysics, 5, 1943. 115-133. TURING, A. M. Computing Machinery and Intelligence. Mind, p. 433-460, 1950 RICH, E.; KNIGHT, K. Artificial Intelligence. Nova Iorque: McGrawHill, 1993. RUSSEL, S.; NORVIG, P. Artificial Intelligence: a modern approach. New Jersey: Prentice Hall, 2003.
27/02/13

39

27/02/13