Inteligncia Artificial

Lgica de primeira ordem Carla Delgado DCC-UFRJ 2011-1

Lgica de primeira ordem: Sintaxe e Semntica

Recaptulando...
Termos (referem-se a objetos do mundo)
Constantes
um objeto especfico

Variveis
um objeto ainda no especificado

Funes
mapeamento de um ou mais objetos em UM objeto Podem referir-se a objetos que no foram nomeados Representam uma relao funional definida pelo usurio

Termo enraizado
termo sem variveis.

Trabalhando com a Lgica de primeira ordem

O usurio define:
Constantes Funes Predicados

A linguagem oferece:
Conectivos lgicos Variveis Quantificadores Procedimentos de inferncia

Lgica de primeira ordem: Sintaxe e Semntica

Chegando a Verdadeiro ou Falso
tomos
Predicados Mapeia um ou mais objetos em V ou F Representa uma relao definida pelo usurio Professor(Adriano, voc)

Termo1 = Termo2 (igualdade)

Raio(terra) = 6400km Representa a relao de igualdade, quando dois termos se referem ao mesmo objeto

Lgica de primeira ordem: Sintaxe e Semntica

Chegando a Verdadeiro ou Falso
Sentena
tomos Frmulas usando os conectivos , , , ,
Professor(Adriano, voc) Aluno(voc, Adriano)

Frmulas quantificadas

Avaliao das sentenas sob uma interpretao

Quais objetos so referidos pelas constantes Quais objetos so referidos pelas funes Quais subconjuntos definem os predicados

Lgica de primeira ordem: Sintaxe e Semntica

Quantificador Universal
A sentena verdadeira para todos os valores de x no domnio O conectivo mais usado com a implicao
Regras se xxxx ento yyyy Exemplo: Todos os humanos so mortais
x Humano(x) Mortal(x) Se x humano, ento x mortal

como uma grande conjuno, para todos os elementos do domnio, da frmula instanciada:
(Humano(Adriano) Mortal(Adriano) ) (Humano(Deise) Mortal(Deise)) (Humano(mesa) Mortal(mesa)) (Humano(computador) Mortal(computador)) ...

Lgica de primeira ordem: Sintaxe e Semntica

Quantificador Existencial
A sentena verdadeira para algum valor de x no domnio O conectivo mais usado com a conjuno
Assertivas alguns xxxx so yyyy Exemplo: Alguns humanos so homens
x Humano(x) Homem(x) Existe x que humano e homem

como uma grande disjuno, para todos os elementos do domnio, da frmula instanciada:
(Humano(Adriano) Homem(Adriano) ) (Humano(Deise) Homem(Deise)) (Humano(mesa) Homem(mesa)) (Humano(computador) Homem(computador)) ...

Lgica de primeira ordem: Sintaxe e Semntica

Propriedades dos quantificadores
x y o mesmo que y x x y o mesmo que y x
x y ama(x, y)
Todo mundo ama todo mundo

y x ama(x, y)
Todo mundo amado por todo mundo

x y ama(x, y)
Existe algum que ama algum

y x ama(x, y)
Existe algum que amado por algum

Lgica de primeira ordem: Sintaxe e Semntica

Propriedades dos quantificadores
x y NO o mesmo que y x x y NO o mesmo que y x
x y ama(x, y)
Todo mundo ama algum o ser amado pode mudar conforme o gosto de cada amante

y x ama(x, y)
Existe uma pessoa que todo mundo ama o ser amado o mesmo para todos os amantes

Lgica de primeira ordem: Sintaxe e Semntica

Propriedades dos quantificadores
x P(x) quando negado vira x P(x)
x estuda (x)
Todo mundo estuda.

x estuda(x)

(x estuda (x) )

Existe algum que no estuda

x P(x) quando negado vira x P(x)

x estuda(x)
Existe algum que estuda

x estuda(x)
Ningum estuda

(x estuda (x) )

Lgica de primeira ordem: Sintaxe e Semntica

Propriedades dos quantificadores
x P(x) o mesmo que x P(x)
x estuda (x)
Todo mundo estuda.

x estuda(x)
No existe algum que no estude

x P(x) o mesmo que x P(x)

x estuda(x)
Existe algum que estuda

x estuda(x)
No o caso que todos no estudam.

Lgica de primeira ordem: Sintaxe e Semntica

Escreva as seguintes frases em lgica de primeira ordem:

Wumpus um monstro.
Quem a constante? Wumpus Quem o predicado? um monstro Resposta: Monstro(Wumpus)

Huguinho, Zezinho e Luizinho so patos. Tom, Jerry ou Mickey no um rato.

Lgica de primeira ordem: Sintaxe e Semntica

Joo se matriculou em IA em 2011-1.
Constantes? Joo, IA, 2011-1 Relao? Matricular-se Resposta: Matriculado(Joo, IA, 2011-1)

Lgica pr-requisito para IA Morno est entre quente e frio

Lgica de primeira ordem: Sintaxe e Semntica

Agora os quantificadores...
Maria gosta de qualquer coisa
Constante? Maria Coisa? Uma varivel x Qualquer coisa? Quantificador universal! Resposta: x Gosta(Maria, x) Gosta(Maria, Joo) Gosta(Maria, Sorvete)
Gosta(Maria, IA) ...

Maria gosta de alguma coisa Algum gosta da Maria

Lgica de primeira ordem: Sintaxe e Semntica

Mltiplos quantificadores...
Algum ouviu algo.
Variveis? Algum, alguma coisa Como elas so quantificadas? Ambas existencialmente Resposta: x y Ouviu(x, y)

Todos ouviram tudo. Algum no ouviu tudo.

Lgica de primeira ordem: Sintaxe e Semntica

Relaes mais complicadas...
Todos os alunos maiores de idade sero admitidos
Como as idias esto conectadas?
Ser aluno e ser maior de idade implica em ser admitido.

Resposta: x Aluno(x) Maior(x) Admitido(x)

Nenhum aluno maior ser admitido

x Aluno(x) Maior(x) Admitido(x) x Aluno(x) Maior(x) Admitido(x)

Lgica de primeira ordem: Sintaxe e Semntica

Todo bom amador pode vencer um profissional
x, Amador(x), Bom(x), y, profissional(y), vencer(x, y) x [ (Amador(x) Bom(x)) y (profissional(y) vencer(x,y)) ]

Alguns profissionais podem vencer todos os amadores

Lgica de primeira ordem: Sintaxe e Semntica

Incluindo funes e igualdades...
Joo e Maria tem a mesma idade
Idade(Joo) = Idade(Maria) Idade funo ou predicado?
Se Idade(x) for interpretado como V ou F, predicado. Se Idade(x) for interpretado como um elemento do domnio, funo.

H exatamente 2 sapatos.
?

Lgica de primeira ordem: Sintaxe e Semntica

H exatamente 2 sapatos.
Primeira tentativa: x y sapato(x) sapato(y) Segunda tentativa: x y sapato(x) sapato(y) (x = y) Terceira tentativa: x y sapato(x) sapato(y) (x = y) z (sapato(z) (z = x) (z = y))

Lgica de primeira ordem: Sintaxe e Semntica

Palavras interessantes: sempre, s vezes, nunca
Boas pessoas sempre tm amigos
x Pessoa(x) Bom(x) y amigo(x,y)

Pessoas ocupadas s vezes tm amigos

x Pessoa(x) Ocupado(x) y amigo(x,y)

Pessoas ms nunca tm amigos

x Pessoa(x) Mau(x) y amigo(x,y)