Documente Academic
Documente Profesional
Documente Cultură
O CP tambm
Significado das expresses
denominado Clculo de Deduo
Proposies ou Lgica Prov regras que preservam a semntica
Inteligncia Artificial de Proposies
Jos Augusto Baranauskas E-mail: augusto@usp.br
Departamento de Fsica e Matemtica FFCLRP-USP URL: http://dfm.fmrp.usp.br/~augusto
2
Excludassentenas exclamativas,
premissas
ou concluses
imperativas e interrogativas
condies inferncia
(resoluo)
3 4
Termo Proposio
usado para designar objetos uma sentena declarativa que pode assumir
os valores verdade (v) ou falso (f)
Exemplos:
Paula Exemplos:
Todo homem mortal
Um filme de terror Meu carro um fusca
Est chovendo
Tringulo retngulo
5 6
1
Proposio Atmica Proposio Composta
7 8
Conectivos Conectivo: e ()
11 12
2
Conectivo: ou () Conectivo: no ()
A partir de duas proposies, obtm-se uma A partir de uma proposio, obtm-se uma
terceira denominada disjuno: segunda denominada negao:
Exemplo: Assim, a negao nega o valor-verdade de
(p) Maria estuda o problema uma proposio
(q) Jos vai pescar Exemplo:
Disjuno de (p) e (q): p q (p) Maria estuda o problema
Maria estuda o problema ou Jos vai pescar Negao de (p): p
no (Maria estuda o problema)
13 14
15 16
3
Frmulas Bem Formadas (wff
(wff)) Frmulas Bem Formadas (wff
(wff))
Frmulas construdas mediante a 1. um tomo uma wff
combinao vlida de smbolos 2. se e so wff, ento so tambm wff:
maior prioridade
menor prioridade
21 22
23 24
4
Semntica do CP Validade e Inconsistncia
25 26
27 28
29 30
5
Validade e Inconsistncia Exerccios
Uma frmula Provar usando tabela verdade que:
p q pq
invlida quando for
falsa segundo alguma
interpretao I1 v v v 1. (p p) inconsistente e portanto invlida.
Por exemplo, a frmula 2. (p p) vlida e portanto consistente.
(p q) invlida pois I2 v f f
3. (p p) invlida, ainda que consistente.
falsa nas
interpretaes I2, I3 e I3 f v f
I4
I4 f f f
31 32
Prova Prova
conseqncia lgica de 1, 2, ..., n se e somente se conseqncia lgica de 1, 2, ..., n se e
1 2 ... n uma tautologia somente se 1 2 ... n uma
Condio Necessria contradio
Seja conseqncia lgica de 1, 2, ..., n e I uma interpretao
qualquer Do teorema anterior, sabe que conseqncia
(1) Se 1, 2, ..., n forem verdade em I ento tambm ser verdade em lgica de 1, 2, ..., n se e somente se 1 2 ...
I (pois conseqncia lgica dos is)
(2) Se um dos is for falso em I 1 2 ... n vtambm ser falso em I.
n uma tautologia
Independente do valor de , 1 2 ... n verdade Equivalentemente conseqncia lgica de 1,
De (1) e (2) tem-se que 1 2 ... n verdade em 2, ..., n se e somente se (1 2 ... n )
qualquer situao (tautologia)
Condio Suficiente
contradio
Do fato de 1 2 ... n ser uma tautologia, tem-se que 1 (1 2 ... n )
2 ... n verdade em qualquer interpretao. Se 1 2 ((1 2 ... n) )
... n for verdade em I, tambm ser verdade em I. Portanto
conseqncia lgica de 1, 2, ..., n 1 2 ... n
Assim, 1 2 ... n uma contradio
35 36
6
Equivalncia Lgica Exemplo
Portanto, (p q) (p q)
37 38
39 40
41 42
7
Princpio da Substituio Propriedades
43 44
Propriedades Propriedades
Propriedades da Conjuno Propriedades da Disjuno Distributiva
comutativa comutativa ( ) ( ) ( )
( ) ( ) ( )
associativa associativa Negao
( ) ( ) ( ) ( ) ()
idempotente idempotente Absoro
( )
propriedade de (v)erdade propriedade de (v)erdade ( )
v vv De Morgan
propriedade de (f)also propriedade de (f)also ( )
ff f ( )
Equivalncia da Implicao
45 46
47 48
8
Verificao de Validade de
Exemplo
Argumentos
Se as uvas caem, ento a raposa as come.
Sejam 1, 2, ..., n, frmulas do Clculo
Proposicional. Uma seqncia finita de Se a raposa as come, ento esto maduras.
proposies C1, C2, ..., Ck uma prova ou deduo As uvas esto verdes ou caem.
de , a partir das premissas 1, 2, ..., n se e Logo,
somente se: A raposa come as uvas se e s se as uvas caem.
cada Ci uma premissa j (1 <= j <= n), ou
Ci provm das frmulas precedentes, pelo uso de um
argumento vlido das regras de inferncia, ou
Ci provm do uso do princpio de substituio numa
frmula anterior, ou
Ck
Diz-se ento que dedutvel de 1, 2, ..., n ou
que um teorema
49 50
Exemplo Exemplo
1: Se as uvas caem, ento a raposa as come. 1: Se as uvas caem, ento a raposa as come. Proposies:
2: Se a raposa as come, ento esto maduras. 2: Se a raposa as come, ento esto maduras. p: as uvas caem
3: As uvas esto verdes ou caem. 3: As uvas esto verdes ou caem. q: a raposa come as uvas
51 52
Exemplo Exemplo
1: Se as uvas caem, ento a raposa as come. Proposies: 1: Se as uvas caem, ento a raposa as come. Proposies:
2: Se a raposa as come, ento esto maduras. p: as uvas caem 2: Se a raposa as come, ento esto maduras. p: as uvas caem
3: As uvas esto verdes ou caem. q: a raposa come as uvas 3: As uvas esto verdes ou caem. q: a raposa come as uvas
53 54
9
Cuidado! Formas Normais
Sejam dois nmeros a e b tais que a = b Hvrias maneiras de escrever uma mesma
Considere a seguinte prova
Por qu foi possvel chegar a esse resultado?
frmula
i) a = b
Ex: (p q) m (p q) m
ii) aa = ba multiplicar por a A Forma Normal usada para uniformizar a
iii) a2 - b2 = ba - b2 subtrair b2 notao
iv) (a + b)(a - b) = b(a - b) fatorar
v) [(a + b)(a - b)] / (a -b) = [b(a - b)] / (a - b) dividir por (a - b)
Forma Normal Disjuntiva (FND)
vi) a+b = b Forma Normal Conjuntiva (FNC)
vii) a+a = a substituir b por a (a = b) Umenunciado do Clculo Proposicional
viii) 2a = a dividir por a
ix) 2 = 1
sempre pode ser escrito na FN
55 56
57 58
59 60
10
Forma Normal Conjuntiva Forma Normal Conjuntiva
Forma geral
A frmula est na FNC se e somente
(p1 p2 ... pk) (q1 q2 ... ql) (r1 r2 r3 ...
se: rs) ...
contm como conectivos apenas , , Exemplo
s opera sobre proposies atmicas : p q r
FNC(): (p q r) (p q r) (p q r)
(no tem alcance sobre e )
fcil mostrar que uma FNC tautolgica se e
no aparecem negaes sucessivas ( ) somente se cada elemento da conjuno
no tem alcance sobre , ou seja, no tautolgico
existe expresso do tipo: p (q r) Obteno da FNC: por tabela verdade ou por
equivalncia
61 62
p q r p pq (pq)r
p q r p pq (pq)r
I2 v v f f v f (p q r)
I1 v v v f v v
I6 f v f v v f (p q r)
I2 v v f f v f I8 f f f v v f (p q r)
I3 v f v f f v Para cada interpretao falsa da Tabela Verdade:
I4 v f f f f v tomo que assume valor v alterado pela sua negao
I5 f v v v v v tomo que assume valor f deixado intacto
Literais de uma mesma interpretao so conectados
I6 f v f v v f por
I7 f f v v v v As interpretaes so conectadas por
I8 f f f v v f No exemplo
FNC(p q r): (p q r) (p q r) (p q r)
63 64
11
Soluo (Equivalncia) Soluo (Tabela Verdade)
p q r p pq pr pr (pq)(pr) (pq)(pr)
(p q) (p r)
v v v f v v f f v
(p q) (p r)
(p q) (p r) v v f f v f f f f
(p q p) (p q r) v f v f f v f v v
(p q) (p q r) v f f f f f f v v
FNC((p q) (p r)): (p q) (p q r) f v v v f f v v v
(p q) (p r) f v f v f f f v v
(p q) (p r) f f v v f f v v v
(p q) (p r) f f f v f f f v v
(p q p) (p q r)
(p q r) FNC((p q) (p r)): (p q r) (p q r)
FNC((p q) (p r)): (p q r)
FNC((p q) (p r)): (p q r)
67 68
69 70
12
Notao de Kowalsky Notao de Kowalsky
Huma disjuno () implcita esquerda de , So equivalentes as seguintes notaes:
chamada de concluso(es)
(1) B1, B2, ..., Bn A1, A2, ..., Am
(2) A1, A2, ..., Am B1, B2, ..., Bn
F1: s, p q
(3) A1 A2 ... Am B1 B2 ... Bn
F2: s p, r
(4) A1 A2 ... Am (B1 B2 ... Bn)
F3: s q, r
(5) A1 A2 ... Am B1 B2 ... Bn
Huma conjuno () implcita direita de , A clusula (2) uma clusula genrica na
chamada de premissa(s) ou condio(es) notao de Kowalsky
73 74
Pode-se ler A :- B1, B2, ..., Bn. da seguinte expresso mediante o clculo proposicional,
forma somente a parte formada por clusulas de
A verdade se B1 verdade e B2 verdade e ... Horn poder ser representada em Prolog
e Bn verdade Ou seja, um sub-conjunto do clculo
proposicional
77 78
13
Exerccio Prova por Resoluo
81 82
83 84
14
Exerccio 1 Soluo Exerccio 1
Qual a clusula resolvente das seguintes Qual a clusula resolvente das seguintes
clusulas pais? clusulas pais?
P1) (p s q) P1) (p s q)
P2) (p q r) P2) (p q r)
R) (p s r)
85 86
Qual a clusula resolvente das seguintes Qual a clusula resolvente das seguintes
clusulas pais? clusulas pais?
P1) (p s q) P1) (p s q)
P2) (p q r) P2) (p q r)
R) (p s p r) v
87 88
89 90
15
Procedimento da Resoluo Exemplos do Uso de Resoluo
4. Continuar este processo at que se tenha A seguir so mostrados dois exemplos
derivado p e p. Ao se aplicar resoluo nestas usando prova por reduo ao absurdo
duas clusulas, obtm-se a clusula vazia,
Por meio da negao da tese
denotada por , o que expressa a contradio,
completando ento o mtodo de reduo ao Por meio da negao do teorema
absurdo:
p, p deduz-se falso
Pode-se tambm usar a resoluo mediante a
negao do teorema. Neste caso aplicam-se os
mesmos passos anteriores
91 92
95 96
16
Resoluo: Vantagens Propriedades do CP
No necessrio o uso de equivalncias para Embora seja insuficiente para o formalismo do
rearranjar p q como q p raciocnio lgico, o CP possui propriedades muito
importantes:
Tudo colocado na FNC antes da aplicao do mtodo
O sistema consistente:
Para o mtodo, a posio (na clusula) do tomo a ser No possvel derivar simultaneamente uma frmula e sua
eliminado indiferente negao
Existe apenas uma regra de inferncia para ser O sistema correto ou coerente:
Todo teorema uma tautologia
lembrada
Completude
Fcil de ser mecanizado Toda tautologia um teorema
Linguagem Prolog est baseada no princpio da Decidibilidade
H um algoritmo que permite verificar se uma dada frmula do
resoluo aplicado a clusulas de Horn
sistema ou no um teorema
Usando Busca em Profundidade
97 98
Exerccio
99 100
17