Escolar Documentos
Profissional Documentos
Cultura Documentos
Predicados
Fernando Cardoso Durier da Silva
fernando.durier@uniriotec.br
Lógica Proposicional
● Modela sentenças
● Fácil compreensão
● Primeiro aprendizado na área de representação do conhecimento e raciocínio
● Não consegue modelar de forma simples objetos e suas propriedades
● Não consegue modelar quantidades
● Não consegue enumerar objetos de forma simples
Lógica de Predicados
● Modela objetos através de variáveis
● Modela relações entre objetos
● Modela funções
● Permite composição de atributos
● Permite derivação de relacionamentos de forma mais simples
● Consegue tratar problemas de quantificação através de quantificadores
Lógica de Predicados x Lógica Proposicional
1. ∀x ¬P(x,a)
2. P(a,b)
3. ∀x∀y ¬P(x,y) ∨ P(y,x)
4. ¬P(b,a) 1, particularização universal
5. ∀y ¬P(a,y) ∨ P(y,a) 3, particularização universal
6. ¬P(a,b) ∨ P(b,a) 5, particularização universal
7. ¬P(a,b) P(b,a) 6, remoção da disjunção
Tableaux em Lógica de Predicados
● Dado: {∀x P(x), ∃x ( ¬P(x) ∨ ¬P(f(x)) )}
● Temos o seguinte Tableaux
1. ∀x P(x) h1
2. ∃x ( ¬P(x) ∨ ¬P(f(x)) ) h2
4. P(c) 1(∀)
6. P(f(c)) 1(∀)
Tableaux em Lógica de Predicados
● Agora com unificação, trazemos uma política de "justiça" à resolução
● Utilizamos uma substituição genérica que depois é resubstituída a partir de estratégia de
unificação para achar o conjunto de substituições para o x' de modo à dar clash
1. ∀x P(x) h1
2. ∃x ( ¬P(x) ∨ ¬P(f(x)) ) h2