Aula 3

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
,
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

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.
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..
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})
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
7/ 27
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
8/ 27
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) ?
9/ 27
Coisa - Variavel: 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
10/ 27
Coisa - Variavel: 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
11/ 27
Maria gosta de alguma coisa.
Coisa - Variavel: x
Alguma coisa - Quanticador:
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
12/ 27
Maria gosta de alguma coisa.
Coisa - Variavel: x
Alguma coisa - Quanticador:
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
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.
14/ 27
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
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))
15/ 27
Exemplos
Considere =< D, > onde:
D ={Jose, Maria, mesa, computador}
jose
Jose , maria
Maria ,
mesa
mesa , computador
computador
humano
mortal
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))
16/ 27
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)
17/ 27
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
18/ 27
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)))
19/ 27
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)
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
)
21/ 27
Exemplo
Ha exatamente 2 sapatos.
x, y . sapato(x) sapato(y)
22/ 27
Exemplo
x, y . sapato(x) sapato(y) (x = y)
22/ 27
Exemplo
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.
22/ 27
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.
23/ 27
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.
24/ 27
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.
25/ 27
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)) ?
26/ 27
Inteligencia Articial
Aula 3: Logica de Primeira-Ordem
August 26, 2014
27/ 27

Aula 3

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Aula 3

Enviado por

Direitos autorais:

Formatos disponíveis

Inteligencia Articial

Aula 3: Logica de Primeira-Ordem

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

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

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

Você também pode gostar