Você está na página 1de 29

Inteligencia Articial

Aula 3: Logica de Primeira-Ordem


August 26, 2014
Joao Carlos e Carla Delgado
1/ 27
Mundo do Wumpus
Base de Conhecimento
S
1,1
, S
2,1
, S
1,2
, B
1,1
, B
2,1
, B
1,2
,
S
2,1
W
1,1
W
2,1
W
2,2
W
3,1
ou
S
2,1
W
1,1
, S
2,1
W
2,1
, S
2,1
W
2,2
, S
2,1
W
3,1
,
Joao Carlos e Carla Delgado
2/ 27
Logica Proposicional
Necessita um n umero muito grande de proposic oes muitas regras.
Lidando com mudancas
mundo se modica com o tempo : quando o agente se move, A
1,1
se
torna falso e A
2,1
se torna verdadeiro
em muitos casos e importante lembrar-se do passado, portanto nao e
suciente apenas esquecer A
1,1
usar diferentes smbolos proposicionais para indicar a localizacao do
agente a cada instante
mas nao se sabe quantos smbolos usar ja que a duracao do jogo nao e
conhecida de antemao
e preciso usar regras que dependem do tempo :
A
0
1,1
East
0
W
0
2,1
Forward
0
A
1
1,1
East
1
W
1
2,1
Forward
1
A
2
1,1
East
2
W
2
2,1
Forward
2

Joao Carlos e Carla Delgado
3/ 27
Logica de Primeira-Ordem - Sintaxe
Termos: referem-se a objetos do mundo
Constantes: um objeto especco.
Variaveis: um objeto ainda nao especicado.
Fun coes: mapeamento de um ou mais objetos em UM
objeto.
Podem referir-se a objetos que nao foram nomeados.
Representam uma rela cao funcional denida pelo usuario.
Termo Basico: sem variaveis.
Joao Carlos e Carla Delgado
4/ 27
Logica de Primeira-Ordem - Sintaxe
Predicados: permite denir propriedades e rela coes entre os
objetos do mundo.


Atomos: p(t
1
, , t
n
), onde p e um smbolo de predicado
n-ario e t
1
, , t
n
sao termos.
Conectivos logicos: , , , ,
Quanticadores: ,
Formulas Bem Formadas


Atomos
Se
1
e
2
sao f.b.f., entao

1

2
,
1

2
,
1

2
,
1

2
,
1
sao f.b.f..
Se e uma f.b.f. e x e uma variavel entao x e x sao
f.b.f..
Joao Carlos e Carla Delgado
5/ 27
Logica de Primeira-Ordem - Semantica
Interpretacao: =< D, >
Domnio D: conjunto nao-vazio de indivduos (mundo real )
Mapeamento
Constantes: c

(c) D
Funcao n-aria: f

(f ) (D
n
D)
Predicado n-aria: p

(p) (D
n
{T, F})
Joao Carlos e Carla Delgado
6/ 27
Logica de Primeira-Ordem
Wumpus e um monstro.
Objeto - Constante: wumpus
Relacao - Predicado: monstro
Resposta: monstro(wumpus)
Interpreta cao:
1
=< D
1
,
1
>
D
1
= {Wumpus}
wumpus

1
Wumpus
monstro

1
{(Wumpus)} e T
Joao Carlos e Carla Delgado
7/ 27
Logica de Primeira-Ordem
Wumpus e um monstro.
Objeto - Constante: wumpus
Relacao - Predicado: monstro
Resposta: monstro(wumpus)
Interpreta cao:
2
=< D
2
,
2
>
D
2
= {Wumpus, Agente}
wumpus

2
Wumpus
agente

2
Agente
monstro

2
{(Wumpus)} e T e {(Agente)} e F
Interpreta cao:
3
=< D
2
,
3
>
D
2
= {Wumpus, Agente}
wumpus

3
Wumpus
agente

3
Agente
monstro

3
{(Wumpus), (Agente)} e T
Joao Carlos e Carla Delgado
8/ 27
Logica de Primeira-Ordem
Maria gosta de qualquer coisa.
Objeto - Constante: maria
Coisa - Variavel: x
Qualquer coisa - Quanticador:
Relacao - Predicado: gosta
Resposta: x gosta(maria, x)
Interpreta cao:
1
=< D
1
,
1
>
D
1
= {Maria}
maria

1
Maria
gosta

1
{(Maria,Maria)} e T

1
e modelo de x gosta(maria, x) ?
Joao Carlos e Carla Delgado
9/ 27
Logica de Primeira-Ordem
Maria gosta de qualquer coisa.
Objeto - Constante: maria
Coisa - Variavel: x
Qualquer coisa - Quanticador:
Relacao - Predicado: gosta
Resposta: x gosta(maria, x)
Interpreta cao:
2
=< D
2
,
2
>
D
2
= {Joao, Maria}
joao

2
Joao
maria

2
Maria
gosta

2
{(Joao,Joao), (Maria,Maria), (Maria,Joao)} e T e {(Joao,Maria)} e F

2
e modelo de x gosta(maria, x) ?
Joao Carlos e Carla Delgado
10/ 27
Logica de Primeira-Ordem
Maria gosta de qualquer coisa.
Objeto - Constante: maria
Coisa - Variavel: x
Qualquer coisa - Quanticador:
Relacao - Predicado: gosta
Resposta: x gosta(maria, x)
Interpreta cao:
3
=< D
2
,
3
>
D
2
= {Joao, Maria}
joao

3
Joao
maria

3
Maria
gosta

3
{(Joao,Joao), (Maria,Joao)} e T e {(Joao,Maria) , (Maria,Maria) } e F

3
e modelo de x gosta(maria, x) ?
Joao Carlos e Carla Delgado
11/ 27
Logica de Primeira-Ordem
Maria gosta de alguma coisa.
Objeto - Constante: maria
Coisa - Variavel: x
Alguma coisa - Quanticador:
Relacao - Predicado: gosta
Resposta: x gosta(maria, x)
Interpreta cao:
3
=< D
2
,
3
>
D
2
= {Joao, Maria}
joao

3
Joao
maria

3
Maria
gosta

3
{(Joao,Joao), (Maria,Joao)} e T e {(Joao,Maria) , (Maria,Maria) } e F

3
e modelo de x gosta(maria, x) ?
Joao Carlos e Carla Delgado
12/ 27
Logica de Primeira-Ordem
Maria gosta de alguma coisa.
Objeto - Constante: maria
Coisa - Variavel: x
Alguma coisa - Quanticador:
Relacao - Predicado: gosta
Resposta: x gosta(maria, x)
Interpreta cao:
4
=< D
2
,
4
>
D
2
= {Joao, Maria}
joao

4
Joao
maria

4
Maria
gosta

4
{(Joao,Joao), (Joao,Maria)} e T e {(Maria,Joao) , (Maria,Maria) } e F

4
e modelo de x gosta(maria, x) ?
Joao Carlos e Carla Delgado
13/ 27
Logica de Primeira-Ordem - Quanticadores
Universal -
A senten ca e verdadeira para todos os valores de x no domnio
O conectivo mais usado com e a implica cao ()


E como uma grande conjuncao, para todos os elementos do
domnio, da formula instanciada.
Existencial -
A senten ca e verdadeira para algum valor de x no domnio
O conectivo mais usado com e a conjuncao ()


E como uma grande disjuncao, para todos os elementos do
domnio, da formula instanciada.
Joao Carlos e Carla Delgado
14/ 27
Logica de Primeira-Ordem - Quanticadores
Exemplos
Considere =< D, > onde:
D ={Jose, Maria, mesa, computador}
jose

Jose , maria

Maria ,
mesa

mesa , computador

computador
humano

{(Jose),(Maria)} e T e {(mesa),(computador)} e F
mortal

{(Jose),(Maria)} e T e {(mesa),(computador)} e F
homem

{(Jose)} e T e {(Maria), (mesa),(computador)} e F


Universal -
Todos os humanos sao mortais : x(humano(x) mortal (x))
Equivale a:
(humano(jose) mortal (jose))
(humano(maria) mortal (maria))
(humano(mesa) mortal (mesa))
(humano(computador) mortal (computador))
Joao Carlos e Carla Delgado
15/ 27
Logica de Primeira-Ordem - Quanticadores
Exemplos
Considere =< D, > onde:
D ={Jose, Maria, mesa, computador}
jose

Jose , maria

Maria ,
mesa

mesa , computador

computador
humano

{(Jose),(Maria)} e T e {(mesa),(computador)} e F
mortal

{(Jose),(Maria)} e T e {(mesa),(computador)} e F
homem

{(Jose)} e T e {(Maria), (mesa),(computador)} e F


Existencial -
Alguns humanos sao homens : x(humano(x) homem(x))
Equivale a:
(humano(jose) homem(jose))
(humano(maria) homem(maria))
(humano(mesa) homem(mesa))
(humano(computador) homem(computador))
Joao Carlos e Carla Delgado
16/ 27
Logica de Primeira-Ordem - Quanticadores
Propriedades
xy e o mesmo que yx
xy e o mesmo que yx
Todo mundo ama todo mundo : xy ama(x, y)
Todo mundo e amado por todo mundo : yx ama(x, y)
Existe alguem que ama alguem : xy ama(x, y)
Existe alguem que e amado por alguem : yx ama(x, y)
Joao Carlos e Carla Delgado
17/ 27
Logica de Primeira-Ordem - Quanticadores
Propriedades
xy nao e o mesmo que yx
xy nao e o mesmo que yx
Todo mundo ama alguem : xy ama(x, y)
o ser amado pode mudar conforme o gosto de cada amante
Existe uma pessoa que todo mundo ama : yx ama(x, y)
o ser amado e o mesmo para todos os amantes
Joao Carlos e Carla Delgado
18/ 27
Logica de Primeira-Ordem - Quanticadores
Propriedades
A nega cao de x p(x) e x p(x)
Todo mundo estuda : x estuda(x)
Existe alguem que nao estuda : x estuda(x)
((x estuda(x)))
A nega cao de x p(x) e x p(x)
Existe alguem que estuda : x estuda(x)
Ninguem estuda: x estuda(x) ((x estuda(x)))
Joao Carlos e Carla Delgado
19/ 27
Logica de Primeira-Ordem - Quanticadores
Propriedades
x p(x) e o mesmo que x p(x)
Todo mundo estuda : x estuda(x)
Nao existe alguem que nao estude : x estuda(x)
x p(x) e o mesmo que x p(x)
Existe alguem que estuda : x estuda(x)
Nao e o caso que todos nao estudam : x estuda(x)
Joao Carlos e Carla Delgado
20/ 27
Logica de Primeira-Ordem - Igualdade
`
As vezes dois termos denotam o mesmo indivduo.
Exemplos
4 4 e 11 + 5 : 4 4 = 11 + 5
raio(terra) e 6400km : raio(terra) = 6400km
O termo t
1
e igual ao termo t
2
(t
1
= t
2
) e verdadeiro na interpretacao se t
1
e t
2
denotam o mesmo indivduo na interpretacao .
Axiomas
x . x = x
x, y . x = y y = x
x, y, z . x = y y = z x = z
x
1
, , x
n
, y
1
, y
n
. x
1
= y
1
x
n
= y
n
f (x
1
, , x
n
) =
f (y
1
, , y
n
)
x
1
, , x
n
, y
1
, y
n
. x
1
= y
1
x
n
= y
n
p(x
1
, , x
n
) p(y
1
, , y
n
)
Joao Carlos e Carla Delgado
21/ 27
Logica de Primeira-Ordem - Igualdade
Exemplo
Ha exatamente 2 sapatos.
x, y . sapato(x) sapato(y)
Joao Carlos e Carla Delgado
22/ 27
Logica de Primeira-Ordem - Igualdade
Exemplo
Ha exatamente 2 sapatos.
x, y . sapato(x) sapato(y)
x, y . sapato(x) sapato(y) (x = y)
Joao Carlos e Carla Delgado
22/ 27
Logica de Primeira-Ordem - Igualdade
Exemplo
Ha exatamente 2 sapatos.
x, y . sapato(x) sapato(y)
x, y . sapato(x) sapato(y) (x = y)
x, y . sapato(x) sapato(y) (x = y) z . (sapato(z) z = x z = y)
Construa uma interpretacao com 1, 2 e 3 elementos no domnio. Verique se estas
interpretac oes satisfazem as f ormulas acima.
Joao Carlos e Carla Delgado
22/ 27
Logica de Primeira-Ordem
Exerccio: Escreva as seguintes frases em l ogica de primeira
ordem:
Huguinho, Zezinho e Luizinho sao patos.
Tom, Jerry ou Mickey nao e um rato.
Logica e pre-requisito de IA.
Se Carla e mais velha que Claudia, entao Miriam nao e mais
velha que Jorge.
Ele e professor.
Joao Carlos e Carla Delgado
23/ 27
Logica de Primeira-Ordem
Exerccio: Escreva as seguintes frases em l ogica de primeira
ordem:
Alguem gosta da Maria.
Alguem ouviu algo.
Todos ouviram tudo.
Alguem nao ouviu tudo.
Construa uma interpretacao que seja modelo para cada senten ca.
Joao Carlos e Carla Delgado
24/ 27
Logica de Primeira-Ordem
Exerccio: Escreva as seguintes frases em l ogica de primeira
ordem:
Todos os alunos maiores de idade serao admitidos.
Nenhum aluno maior sera admitido.
Todo bom amador pode vencer um prossional.
Alguns prossionais podem vencer todos os amadores.
Boas pessoas sempre tem amigos.
Pessoas ocupadas `as vezes tem amigos.
Pessoas mas nunca tem amigos.
Construa uma interpretacao que seja modelo para cada senten ca.
Joao Carlos e Carla Delgado
25/ 27
Logica de Primeira-Ordem
Exerccio: Considere a interpretacao =< D, > tal que:
D = {1, 2}
:
a

1
f

(f (1) = 2 e f (2) = 1)
p

({(2)} e T e {(1)} e F)
q

{(1, 1), (1, 2), (2, 2)} e T e {(2, 1)} e F)


e modelo de:
x, y q(x, y) ?
x, y q(x, y) ?
x p(x) q(f (x), a) ?
x p(f (x)) q(x, f (a)) ?
Joao Carlos e Carla Delgado
26/ 27
Inteligencia Articial
Aula 3: Logica de Primeira-Ordem
August 26, 2014
Joao Carlos e Carla Delgado
27/ 27