Representação Do Conhecimento - Parte III

Representação de
Conhecimento
Parte III
Regina Célia Coelho
rccoelho@unifesp.br
Representação do Conhecimento Regina Célia Coelho

Representação Lógica
Conhecimento descrito por um conjunto de

axiomas
Base de conhecimento é uma teoria, ou
conjunto de teoremas
Possui semântica bem definida
Possui uma teoria de demonstração
É difícil representar informação de controle

Exemplo
 Fatos:
Rex é um cachorro
Todo cachorro tem 4 patas
 Representação:
cachorro(rex)
x: cachorro(x) tem4patas(x)
 Através de uma lógica matemática, pode-se deduzir que

Rex tem 4 patas.

Representação Lógica
Lógica Proposicional
Lógica de Primeira Ordem

Lógica Proposicional
 Exemplos de Proposições:
1. O carro do João é verde.
2. Quatro é maior do que cinco.
3. Ela é muito inteligente.
4. São Paulo é uma cidade grande
5. Animais são peludos e aves têm penas.
6. Vou comprar um carro ou uma bicicleta.
7. Se chover então ficarei em casa.
8. Um triângulo é equilátero se e somente se tiver os
três lados iguais.

Noção Fundamental: verdade

Sintaxe:
Símbolos de uma proposição: Verdadeiro ou Falso
Sentenças de uma proposição: P ou Q
Exemplos:
 proposições atômicas:
(1) O carro do joão é verde.
(2), (3) e (4).
 Proposições compostas:
 (5) Animais são peludos e aves têm penas.
 (6), (7) e (8).

 Conetivos Lógicos
Sentenças podem ser compostas usando conetivos:
 - E lógico ou conjunção;
 - OU lógico ou disjunção;
 - NEGAÇÃO lógica;
 - IMPLICAÇÃO lógica: regras ou declarações
 se-então. (P  Q)  R, sendo:
(P  Q) - premissa ou antecedente;
R - conclusão ou consequente.
 - BICONDICIONAL (se e somente se);
:  - EQUIVALÊNCIA
(P  Q)  (P  Q)  (Q  P)

 Em lógica proposicional, um modelo simplesmente
fixa o valor verdade (verdadeiro ou falso) para todo
símbolo proposicional
 Exemplo: se as sentenças na base de conhecimento

fizerem uso dos símbolos proposicionais A, B e C,
então um modelo possível será:
m1 = {A = falsa, B = falsa, C = verdadeira }
 Com 3 símbolos proposicionais, existem 8 modelos

possíveis (23).

Exemplos
“Se esfriar, então chove.” pode ser representado:
(P  Q) onde P = “esfriar” e Q = “chove”
“Não é o caso que esfria e não chove.”:

 (P  Q) onde P = “esfriar” e Q = “chove”

 Semântica:
 Tabela verdade dos conetivos lógicos:

 Semântica:

 Semântica:

 Semântica:

 Semântica:
 Em PQ, qualquer implicação será verdadeira sempre que

seu antecedente (P) for falsa. O único modo de P Q ser
falsa é P ser verdadeira e Q ser falsa.

 Semântica:

 Semântica:
 Em PQ, a bicondicional é verdadeira sempre que

PQ e QP.

 Semântica:

Equivalências Lógicas

Equivalências Lógicas
Moral da história:
Não precisamos de ambos os quantificadores

e nem de ambos os conectivos e ao
mesmo tempo!

Forma Norma Conjuntiva
 Toda sentença da lógica proposicional é logicamente
equivalente a uma conjunção de disjunções de literais.
 Dizemos que uma sentença expressa como uma

conjunção de disjunções de literais está em forma
normal conjuntiva (FNC).
 Assim, ao invés de provar, por exemplo, B1,1  (P1,2 

P2,1), converteremos essa asserção em FNC, fazendo com
que a prova se torne mais fácil.

 B  (A  C)
1. Eliminar , substituindo α  β por (α  β)(β  α).
(B  (A  C))  ((A  C)  B)
2. Eliminar , substituindo α  β por α β.

(B  A  C)  ((A  C)  B)
3. A FNC exige que apareça apenas literais; portanto,

“movemos para dentro” usando uma das leis de Morgan:
(B  A  C)  ((A  C)  B)
4. Aplicar a lei da distributividade ( sobre ) sempre que

possível:
(B  A  C)  (A  B)  (C  B)

(B  A  C)  (A  B)  (C  B)
 Agora a sentença original está em FNC como

uma conjunção de 3 cláusulas
 A sentença final é mais difícil ler, mas pode ser

usada como entrada para um procedimento de
resolução

Exercícios
 Considere um vocabulário com apenas 3 proposições A,

B e C. Quantos modelos existem para as sentenças a
seguir? Monte os modelos
(A B)  (B  C)
AB
ABC

Lógica de Primeira Ordem
 Trata também objetos e indivíduos
Ex: o número 1, Sócrates, ...
 A Lógica de 1ª Ordem é
Completa (as sentenças verdadeiras possuem prova)
Coerente (é impossível provar uma sentença falsa)
 Um predicado é uma sentença sobre indivíduos
 Ele é aplicado sobre argumentos e tem um valor verdade
(Verdadeiro ou Falso).
Ex. é_vermelho: predicado de um argumento
é_vermelho(lata_de_coca): é verdadeiro
 Uma variável é um elemento que pode ser preenchido por
alguma constante

Exemplos de Proposições
 O carro do João é verde. possui(joao,verde(carro)) ou
possui(joao,carro)  cor(carro,verde)
 Quatro é maior do que cinco. maior(4,5)
 Ela é muito inteligente. inteligente(ela)
 São Paulo é uma cidade grande. grande(cidade, “São Paulo”)
 Animais são peludos e aves têm penas.
peludo(animal)  tem_penas(aves)
 Vou comprar um carro ou uma bicicleta.
comprar(carro)  comprar(bicicleta)
 Se chover então ficarei em casa.
chove  ficar(casa)

Sintaxe
 Quantificadores lógicos:
 - “para todo”;
 - “existe pelo menos um”
 Regras de inferência para quantificadores:
A partir de X.p(X) pode-se concluir p(A) para qualquer
indivíduo A;
 Permite a quantificação sobre indivíduos, mas não sobre
predicados e funções
 Exemplo:
Sócrates é um homem: homem(socrates).
Platão é um homem: homem(platao).
Todos os homens são mortais: X.Homem(X)  Mortal(X)

Semântica
 Constantes e Variáveis denotam Objetos:
ex. Caetano, aluno, cadeira, estrela...
uma interpretação especifica a que objeto no mundo cada
constante e cada variável livre se refere.
o mesmo objeto pode ser referenciado por mais de um símbolo:
ex. Vênus e A estrela Dalva referem-se ao mesmo objeto
(planeta) no universo.
 Predicados denotam Propriedades e Relações:

uma interpretação especifica a que propriedade (predicados
unários) ou relação no mundo o predicado se refere:
ex. o irmão = predicado binário que se refere à relação de
irmandade: Irmão(Caetano, Betânia )
ex. Feio(Maguila) - faz referência à propriedade ser feio

Semântica
 Funções, como predicados, tem um determinado número de
argumentos, mas funções não possuem valor verdade (V ou F);
elas retornam um objeto (relacionam um objeto aos
argumentos da função).
 Elas denotam Relações Funcionais:

uma interpretação especifica que relação funcional no mundo é
referida pelo símbolo da função, e que objetos são referidos pelos
termos que são seus argumentos.
ligam um objeto (ou mais) a um único objeto no mundo.
Exemplos:
1) Mãe(Roberto Carlos) -> LadyLaura
função que devolve o nome da mãe do seu argumento.
2) Nota (Zezinho) = 9
devolve a nota do argumento (aluno) Zezinho

Semântica
 Termos denotam Objetos:

são constantes, variáveis ou funções.
Igualdade: dois indivíduos X e Y são iguais se e

somente se são indistinguíveis por todos os predicados e
as funções, ou seja, para todos os predicados P e todas
as funções F:
X = Y se e somente se P(X) = P(Y) e F(X) = F(Y)

Semântica
 Sentenças Atômicas: predicados + termos
o valor-verdade de uma sentença depende da interpretação e do
mundo.
Irmão(Caetano, Betânia); - termos simples
casados(PaiDe(Caetano),MãeDe(Betânia)) - termos
complexos
 Sentenças Complexas:
usa conectivos e quantificadores
a semântica dessas sentenças é atribuída da mesma maneira
que na lógica proposicional:
semântica dos conectivos + valor-verdade das sentenças
individuais.
Irmão(Caetano, Betânia)  Filho(Caetano,Zeca)  Tia(Betânia,Zeca)

Semântica
 Igualdade
declara que dois termos se referem ao mesmo objeto:
Mãe(Roberto Carlos) = Lady Laura
pode ser visto como a relação identidade...
 Exemplo
Para dizer que Huguinho tem pelo menos dois irmãos (Luizinho e
Zezinho, por exemplo), escreve-se:
 x, y irmão(Huguinho,x)  irmão(Huguinho,y)  (x = y)

Exemplo 1
 Fatos no mundo
1. Pedro possui um cachorro.
2. Todo dono de cachorro é um protetor dos animais.
3. Nenhum protetor dos animais mata um animal.
1. Na lógica
1. x cachorro(x)  possui(Pedro,x)
2. x(y cachorro(y)  possui(x,y) protetorAnimais(x)
3. x protetorAnimais(x)   y animal(y)  mata(x,y)

Exemplo 2
 Fatos
1. Marco era um homem.
2. Marco era Pompeiano.
3. Marco nasceu em 40 dC.
4. Todos os homens são mortais.
5. Todos os pompeianos morreram quando o vulcão entrou em
erupção em 79 dC.
6. Nenhum mortal vive mais que 150 anos.
7. Agora estamos em 2010.
8. Homens vivos não estão mortos.
9. Se alguém morre, permanecerá morto.

Exemplo 2 - Representação
 Representações lógicas possíveis:

1. homem(Marco).

1. homem(Marco).
2. pompeiano(Marco).

1. homem(Marco).
3. nascido(Marco,40).

 Representações lógicas possíveis: 4. Todos os homens são mortais.
1. homem(Marco).
4. x homem(x)  mortal(x).

5. Todos os pompeianos morreram
1. homem(Marco). quando o vulcão entrou em erupção
em 79 dC.
5. x pompeiano(x)  morto(x,79)  erupcao(vulcão,79).

em 79 dC.
2. pompeiano(Marco). 6. Nenhum mortal vive mais que 150
anos.
6. x,t1,t2 mortal(x)  nascido(x,t1)  maior_que(t2-t1,150) 
morto(x,t2).

em 79 dC.
anos.
3. nascido(Marco,40). 7. Agora estamos em 2010.
morto(x,t2).
7. agora = 2010.

em 79 dC.
anos.
morto(x,t2).
7. agora = 2010.
8. x,t vivo(x,t)   morto(x,t).

em 79 dC.
anos.
4. x homem(x)  mortal(x). 9. Se alguém morre, permanecerá morto.

morto(x,t2).
7. agora = 2010.
8. x,t vivo(x,t)   morto(x,t).
9. x,t1,t2 morto(x,t2)  maior_que(t2,t1)  morto(x,t1).
Exercícios
 Dada a sentença a seguir, escreva-a em termos de

lógica
Se o unicórnio é mítico, então é imortal; porém, se ele não

é mítico, então é um mamífero mortal. Se o unicórnio é
imortal ou um mamífero, então ele tem chifre. O unicórnio
é mágico se tem chifre.

Exercícios
 Dada as sentenças a seguir, escreva-as em termos de

lógica
Cavalos, vacas e porcos são mamíferos

Um descendente de um cavalo é um cavalo
Bluebeard é um cavalo
Bluebeard é pai de Charlie
Descendente e pai são relações inversas
Todo mamífero tem um pai

Exercícios
 Maria foi ao cinema. Se ela foi ao cinema então ela comprou
pipoca e assistiu ao filme. Se ela comprou pipoca então ela tem
dinheiro ou ela pegou emprestado com João. Se ela pegou
emprestado com João, então João tem dinheiro. Faça a
definição das regras.
C: Maria foi ao cinema.
P: Maria comprou pipoca.
F: Maria assistiu ao filme.
D: Maria tem dinheiro.
E: Maria pegou dinheiro emprestado com João.
J: João tem dinheiro.

Exercícios
Maria foi ao cinema. Se ela foi ao cinema
Representação:
então ela comprou pipoca e assistiu ao filme.
C Se ela comprou pipoca então ela tem
dinheiro ou ela pegou emprestado com João.
CPF Se ela pegou emprestado com João, então
João tem dinheiro.
PDE
EJ
C: Maria foi ao cinema.
P: Maria comprou pipoca.
F: Maria assistiu ao filme.
D: Maria tem dinheiro.
E: Maria pegou dinheiro
emprestado com João.
J: João tem dinheiro.

Argumento e Validade
 Exemplo:
1. João está em casa ou no trabalho.
2. João não está no trabalho.
 Fórmulas:
1. C : João está em casa.
2. T : João está no trabalho.
 Argumentos:
CT
T
Conclusão: C
 Representação:
C  T,  T╞ C
 ╞: consequência lógica

 Validade:
Um argumento 1, 2, ... , n,  é válido, se e somente se
1, 2, ... , n implica logicamente em , ou seja:
1, 2, ... , n ╞ 
Em outras palavras, uma sentença é válida, se é
verdadeira em todos os modelos, ou seja, se v (1  2
 ...  n)=V, então v ()=V.
 Teorema da dedução:
 Um argumento 1, 2, ... , n,  é logicamente válido (1,
2, ... , n ╞ ), se e somente se(1  2  ...  n)   for
válida.

 Exemplo:
1. João está em casa (C) ou no trabalho (T).
2. João não está no trabalho (T).
 Argumentos e Validade:
(C  T)  T  C é uma tautologia, logo
(C  T)  T ╞ C  C é consequência lógica de (C 
T)  T

Exemplo de Aplicação (Financeira)
 Decidir entre investimentos em poupança ou mercado de ações;
 O investimento recomendado depende do ganho mensal da pessoa e quanto
ela tem em poupança;
 Pessoas com valor inadequado de poupança devem sempre aumentar o valor
da poupança como primeira prioridade, independente do seu ganho;
 Pessoas com valor adequado de poupança e um ganho adequado devem
considerar um investimento mais arriscado, porém mais lucrativo no mercado
de ações.
 Pessoas com ganho inadequado e com poupança adequada podem
considerar em dividir o valor a ser investido entre poupança e ações. Isto
aumenta a poupança e tenta aumentar o ganho.
 Poupança é adequada se o valor poupado é maior do que 5.000 x número de
dependentes.
 Ganho é adequado se o valor ganho é maior do que 15.000 + (4.000 x número
de dependentes).

Conselheiro Financeiro
Símbolos:
1. TP(x,y): total y poupado por x;
2. D(x,y): número y de dependentes de x;
3. I(x,y): investimento y de x;
4. M(x,y): x > y;
5. TG(x,y,z): ganho total y da pessoa x, com
estabilidade z;
6. mp(x): função que calcula o valor da
poupança mínima X número de dependentes;
7. mg(x): função que calcula o valor do
ganho mínimo X número de dependentes;

a) Pessoas com valor inadequado de poupança devem sempre 1. TP(x,y): total y poupado por x;
aumentar o valor da poupança como primeira prioridade, 2. D(x,y): número y de dependentes de
independente do seu ganho; x;
b) Pessoas com valor adequado de poupança e um ganho 3. I(x,y): investimento y de x;
adequado devem considerar um investimento mais arriscado, 4. M(x,y): x > y;
porém mais lucrativo no mercado de ações. 5. TG(x,y,z): ganho total y da pessoa x,
c) Pessoas com ganho inadequado e com poupança adequada com estabilidade z;
podem considerar em dividir o valor a ser investido entre 6. mp(x): função que calcula o valor da
poupança e ações. Isto aumenta a poupança e tenta aumentar poupança mínima X número de
o ganho. dependentes;
d) Poupança é adequada se o valor poupado é maior do que 7. mg(x): função que calcula o valor do
5.000 x número de dependentes. ganho mínimo X número de
e) Ganho é adequado se o valor ganho é maior do que 15.000 dependentes + 15.000;
+ (4.000 x número de dependentes).

Representação Do Conhecimento - Parte III

Загружено:

Сведения о документе

Исходное описание:

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Representação Do Conhecimento - Parte III

Загружено:

Авторское право:

Доступные форматы

Representação de

Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

Conhecimento descrito por um conjunto de

Representação do Conhecimento Regina Célia Coelho

 Através de uma lógica matemática, pode-se deduzir que

Representação do Conhecimento Regina Célia Coelho

Lógica de Primeira Ordem

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

Noção Fundamental: verdade

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

 Exemplo: se as sentenças na base de conhecimento

 Com 3 símbolos proposicionais, existem 8 modelos

Representação do Conhecimento Regina Célia Coelho

“Não é o caso que esfria e não chove.”:

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

 Em PQ, qualquer implicação será verdadeira sempre que

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

 Em PQ, a bicondicional é verdadeira sempre que

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

Não precisamos de ambos os quantificadores

Representação do Conhecimento Regina Célia Coelho

 Dizemos que uma sentença expressa como uma

 Assim, ao invés de provar, por exemplo, B1,1  (P1,2 

Representação do Conhecimento Regina Célia Coelho

2. Eliminar , substituindo α  β por α β.

3. A FNC exige que apareça apenas literais; portanto,

4. Aplicar a lei da distributividade ( sobre ) sempre que

Representação do Conhecimento Regina Célia Coelho

 Agora a sentença original está em FNC como

 A sentença final é mais difícil ler, mas pode ser

Representação do Conhecimento Regina Célia Coelho

 Considere um vocabulário com apenas 3 proposições A,

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

 Predicados denotam Propriedades e Relações:

Representação do Conhecimento Regina Célia Coelho

 Elas denotam Relações Funcionais:

Representação do Conhecimento Regina Célia Coelho

 Termos denotam Objetos:

Igualdade: dois indivíduos X e Y são iguais se e

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

 Representações lógicas possíveis:

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho

Representação do Conhecimento Regina Célia Coelho