Documente Academic
Documente Profesional
Documente Cultură
PURO UFF
Representao de conhecimento
O que conhecimento?
O que representar?
PURO UFF
Representao de conhecimento
Lgica
Proposicional
1 Ordem
Redes semnticas
Frames
Regras de produo
PURO UFF
Lgica matemtica
Lgica matemtica cincia do raciocnio e
da demonstrao (sculo XIX)
George Boole matemtico ingls (1815 1864)
lgebra Booleana utiliza smbolos e operaes
algbricas para representar proposies e suas
inter-relaes.
PURO UFF
Lgica matemtica
As idias de Boole Base da Lgica
Simblica
Aplicao computao e eletrnica.
Conceitos bsicos
Proposio enunciado verbal, susceptvel
de ser verdadeiro ou falso.
Exemplos de proposies:
A terra azul.
Recife a cidade do frevo.
Glria Perez escreveu a novela Amrica.
2+2=5
Ana arquiteta ou engenheira.
Conceitos bsicos
Proposio
Simples: menor gro de significado
Flvia a professora de IA da turma atual do PURO da
UFF (V)
Fluminense o atual campeo carioca (F)
Conceitos bsicos
Conectivos:
NO (negao)
E (conjuno)
OU (disjuno)
SE-ENTO (condicional)
SE, E SOMENTE SE (bi-condicional)
PURO UFF
A linguagem proposicional
Alfabeto
Variveis proposicionais: nomes que
representam proposies simples.
Conectivos lgicos:
: No
V : OU
:E
: Se..Ento
: Se, e somente Se
Smbolos auxiliares: ( )
PURO UFF
10
A Linguagem proposicional
Sentenas
Toda proposio uma sentena
Se uma sentena, ento tambm
Se e so sentenas, ento so:
^ tambm
V
Exemplos:
(chuvausar_capa)^(sol usar_capa)
PURO UFF
11
Semntica
Semntica das sentenas dada pela funo ,
chamada funo de atribuio de valores lgicos:
:Variveis proposicionais (V, F)
Exemplos
Sejam as proposies simples:
P: A Terra gira em torno do sol.
Q: Salvador a capital da Bahia.
R: 3,2 um nmero inteiro.
Temos ento:
(P) = V
(Q) = V
(R) = F
PURO UFF
12
Semntica
Como cada proposio verdadeira(v)ou
falsa (f), dadas n variveis proposicionais,
existem 2n possibilidades para .
Exemplo para n=3
PURO UFF
F
13
Semntica
O valor lgico de uma sentena dado pela
funo , definida abaixo:
Para toda varivel proposicional P, (P)= (P) .
tabela verdade:
V
F
PURO UFF
F
V
14
Semntica
Se e so sentenas, ento
( ^ ) = ( ) ^ ( )
Onde tabela verdade
P^Q PvQ
PQ
PQ
V
V
F
F
V
F
V
F
F
F
V
V
V
F
F
F
V
F
V
V
V
F
F
V
V
V
V
F
PURO UFF
15
Semntica
Supresso de parntesis:
A ordem de precedncia :
^
v
PURO UFF
16
Definies
Sentena
Verdadeira ou Falsa
Interpretao
V ou F
PURO UFF
17
Definies
Sentena vlida
Sentena verdadeira para todas as
interpretaes
Contingncia
Nem contradio nem vlida
PURO UFF
18
Definies
satisfaz : ()=V
|==
tautologia, se e somente se, |== para
todo
contradio, se e somente se, no existe
tal que |==
satisfazvel, se e somente se, existe tal
que
|==
insatisfazvel, se e somente se, uma
Contradio
PURO UFF
19
Consequncia lgica
Uma sentena consequncia lgica de uma sentena
( |== ) se, e somente se ()=V sempre que ()=V .
Em outras palavras: |== , se, e somente se |== para
todo tal que |== .
Seja um conjunto de sentenas
A={1, 2,...n} e
uma sentena .
(Modus Ponens)
(Modus Tollens)
PURO UFF
20
Teorema
|== se e somente se uma tautologia
Regra do Silogismo Hipottico
(P ^ P)Q tautologia. Logo,
(P ^ P) |== Q
de uma contradio se deduz qualquer sentena
PURO UFF
21
Reflexividade:
|==
Transitividade:
Se |== e |== ento |==
PURO UFF
22
Reflexividade:
|==|
Transitividade:
Se |==| e |==| ento |==|
Simetria:
Se |==| e |==|
PURO UFF
23
Dedutibilidade
Um argumento uma afirmao de que
uma dada sentena (a concluso)
consequncia de outras sentenas {1,...,
n,n 1} (as premissas).
Notao:
1
.
.
PURO UFF
24
Dedutibilidade
PURO UFF
25
Dedutibilidade
Um argumento :
1
.
.
26
Dedutibilidade
PURO UFF
27
Adio (AD)
v v
Simplificao (Simp)
^ ^
PURO UFF
28
Conjuno (Conj)
^ ^
Absoro (Abs)
( ^ )
PURO UFF
29
PURO UFF
30
PURO UFF
31
v
v
PURO UFF
32
PURO UFF
33
Exemplo
{ P ^ Q, P V QS} |- P ^ S
1-P
^Q
Premissa
2-PVQS
Premissa
3-P
Simp 1
4-PVQ
Adio 3
5-S
MP 2,4
6-P
^S
Conj 3,5
Logo,
{ P ^ Q, P V RS} |== P ^ S
PURO UFF
34
Dedutibilidade
Como as regras de inferncias so argumentos
vlidos, temos que:
se A |- ento A |==
Problema: Existe um conjunto de regras de
inferncia tal que:
se A |== ento |-
Observe que para toda tautologia ,
{} |==
Logo, alm das regras de inferncia, precisamos de
axiomas a partir dos quais as tautologias possam
ser deduzidas: os chamados Axiomas Lgicos
PURO UFF
35
Dedutibilidade
Em outras palavras, estamos procurando um
sistema dedutivo. Um sistema dedutivo dito ser
consistente se, e somente se
se A |- ento A |==
Um sistema dedutivo dito ser completo se, e
somente se
se A |- ento A |==
O problema se torna ento: Existe um sistema
dedutivo e completo para o clculo proposicional?
PURO UFF
36
Dedutibilidade
Existe um sistema dedutivo consistente e
completo :
Linguagem: Sentenas s com os
conectivos e V .
Esquema de axiomas:
(( v ) v )
( v ( v ))
(( v ) v (
v ) v ( v
PURO UFF
)))
37
Dedutibilidade
Regra de inferncia:
Modus Ponens (MP)
38
Dedutibilidade
39
Dedutibilidade
Outro mtodo para provar que A |==
demonstrao condicional, para provar que
{a1, a2, ...an} |==
basta mostrar que {a1, a2, ...an, } |-
Pois:
{a1, a2, ...an} |== sss
1 ^ 2 ^ ... ^ n |== sss
{} |== 1 ^ 2 ^ ... ^ n ( )sss
{} |== 1 ^ 2 ^ ... ^ n ^ ) )sss
40
Dedutibilidade
PURO UFF
41
Dedutibilidade
Pois:
{a1, a2, ...an } |- c sss
1 ^ 2 ^ ... ^ n |== c sss
... |== v c sss
... |== v c
PURO UFF
42
Exerccios
Representar as sentenas contidas usando
lgica proposicional:
Os seguros de vida, embora tenham crescido em
um percentual semelhante aos dos seguros de
sade, ainda tm um papel relativamente
pequeno no mercado.
Aparentemente, hbitos arraigados levam o
brasileiro a se preocupar menos com a sorte de
sua famlia, na falta de seu chefe, do que com o
automvel ou o padro de
vida aps a aposentadoria.
PURO UFF
43
Exerccios
Mostrar:
(PQ) ^ P |== Q
P |== Q P
(PR) ^ (QR) |== (P v Q) R
PURO UFF
44
Exerccios Extras
Utilize tabela verdade para demonstrar as seguintes
equivalncias (PARA CASA):
(
F) F
(F G) (
F G)
(F G) (
G F)
(F G) ((F G) (
F G))
(F G) ((
F G) (
G F))
(G G) G
((F G) H) (F (G H))
((F G) H) (F (G H))
(F (G H)) ((F G) (F H))
(F (G H)) ((F G) (F H))
(F G) (
F G)
(F G) (
F G)
PURO UFF
45
Exerccios Extras
Dadas as seguintes premissas:
1. Que o Antnio no vai Igreja e o Henrique no
vai Igreja falso.
2. Se a Alice no vai Igreja, ento o Henrique no
vai Igreja.
3. Se o Antnio vai Igreja ento o Henrique vai
Igreja
Prove que Alice vai Igreja.
PURO UFF
46
Exerccios Extras
Soluo:
A = Antonio vai Igreja
B = Henrique vai Igreja
C = Alice vai Igreja
1. (A B)
Premissa
2. C B
Premissa
3. A B
Premissa
4. B C
de 2
5. B C
de 4
6. A B
de 1
7. A B
de 6
8a.
9a.
A
B
Sil. Disj. 7
Sil. Disj. 7,8a
8b.
9b.
B
A
Sil. Disj. 7
Sil. Disj. 7,8b
10a.
MP 5,9a
10b.
MP 3,9b contradio
PURO UFF
47