pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira –...

39
Lógica Proposicional Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo

Transcript of pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira –...

Page 1: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Lógica Proposicional

Prof. Dr. Silvio do Lago Pereira

Departamento de Tecnologia da Informação

Faculdade de Tecnologia de São Paulo

Page 2: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Motivação

IA estuda como simular

comportamento inteligente

comportamento inteligente

é resultado de raciocínio correto

sobre conhecimento disponível

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2

conhecimento e raciocínio correto

podem ser representados em lógica

o formalismo lógico mais

simples é a lógica proposicional

Page 3: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

O que é? Para que serve?

É um formalismo composto por:Linguagem formal: usada para representar conhecimento.

Métodos de inferência: usados para representar raciocínio.

Tem como principal finalidade:Representar argumentos, isto é, sequências de sentenças em que uma

delas é uma conclusão e as demais são premissas.

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 3

delas é uma conclusão e as demais são premissas.

Validar argumentos, isto é, verificar se sua conclusão é uma consequência

lógica de suas premissas.

Exercício 1. Intuitivamente, qual dos dois argumentos a seguir é válido?

Se neva, então faz frio. Está nevando. Logo, está fazendo frio.

Se chove, então a rua fica molhada. A rua está molhada. Logo, choveu.

Page 4: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Elementos básicos

Exercício 2

Proposição

é uma sentença declarativa que pode ser verdadeira ou falsa, mas não as

duas coisas ao mesmo tempo.

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 4

Quais das sentenças a seguir são proposições?Abra a porta.

Excelente apresentação!

Esta semana tem oito dias.

Em que continente fica o Brasil?

A Lua é um satélite da Terra.

Por que a sentença “esta frase é falsa” não é uma proposição?

Page 5: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Elementos básicos

Exemplo:

Conectivo

são partículas (não, e, ou, então) que permitem construir sentenças

complexas a partir de outras mais simples.

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 5

A partir das sentenças (proposições atômicas):

Está chovendo

A rua está molhada

Podemos construir as sentenças (proposições compostas):

Não está chovendo

Se está chovendo, então a rua está molhada

Page 6: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Linguagem formal

Sintaxe: define a estrutura das sentenças

Símbolos

Proposições: p, q, r, ...

Conectivos: ¬, ∧, ∨, → (da maior para a menor precedência)

Fórmulas

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 6

Todas as proposições são fórmulas.

Se α e β são fórmulas, então também são fórmulas:

¬α (negação)

α∧β (conjunção)

α∨β (disjunção)

α→β (implicação)

Page 7: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Linguagem formal

Semântica: define o significado das sentenças

Interpretação: associação entre proposições e valores-verdade (V ou F)

Uma fórmula contendo n proposições admite 2n interpretações distintas.

Tabela-verdade: avalia uma fórmula em cada interpretação possível.

p q ¬p p ∧ q p ∨ q p → q

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 7

Tipos de fórmulas:

Válida (tautológica): é verdadeira em toda interpretação.

Satisfatível (contingente): é verdadeira em alguma interpretação.

Insatisfatível (contraditória): é verdadeira em nenhuma interpretação.

¬p p ∧ q p ∨ q p → q

F F V F F V

F V V F V V

V F F F V F

V V F V V V

Page 8: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Prolog: criação de tabela-verdade

% tv.pl - exibe tabelas-verdade

% conectivos lógicos

:- op(900,fy,não).:- op(901,yfx,e).:- op(902,yfx,ou).:- op(903,yfx,então).

% valor de uma fórmula

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 8

val(f ,f).val(v ,v).val(não P,f) :- val(P,v).val(não P,v) :- val(P,f).val(P e Q ,f) :- val(P,f);;;; val(Q,f).val(P e Q ,v) :- val(P,v), val(Q,v).val(P ou Q ,f) :- val(P,f), val(Q,f).val(P ou Q ,v) :- val(P,v);;;; val(Q,v).val(P então Q,f) :- val(P,v), val(Q,f).val(P então Q,v) :- val(P,f); val(Q,v).

Ponto-e-vírgula significa “ou”

Page 9: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Prolog: criação de tabela-verdade

% cria uma interpretação

interp([]).interp([f|I]) :- interp(I).interp([v|I]) :- interp(I).

% exibe a tabela-verdade para uma fórmula F

tv(F) :-

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 9

tv(F) :-free_variables(F,I),forall(interp(I),

(val(F,R),format('~n ~w : ~w : ~w',[I,F,R]))).

% exemplo de consulta para testar o programa (use variáveis!!!)

% ?- tv( não A então B ).

Page 10: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Prolog: criação de tabela-verdade

????---- tvtvtvtv( não((P então Q) e P) ou Q ).( não((P então Q) e P) ou Q ).( não((P então Q) e P) ou Q ).( não((P então Q) e P) ou Q ).

[f,f] : não ((f então f) e f) ou f : v[f,v] : não ((f então v) e f) ou v : v[v,f] : não ((v então f) e v) ou f : v[v,v] : não ((v então v) e v) ou v : v

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 10

[v,v] : não ((v então v) e v) ou v : v

????---- tvtvtvtv( (P então Q) e P e não Q ).( (P então Q) e P e não Q ).( (P então Q) e P e não Q ).( (P então Q) e P e não Q ).

[f,f] : (f então f) e f e não f : f[f,v] : (f então v) e f e não v : f[v,f] : (v então f) e v e não f : f[v,v] : (v então v) e v e não v : f

Page 11: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Prolog: criação de tabela-verdade

Exercício 3. Classifique cada fórmula como válida, satisfatível ou insatisfatível.

p p p p ∨∨∨∨ ¬¬¬¬ pppp

p p p p ∧∧∧∧ ¬¬¬¬ pppp

(p(p(p(p→→→→ q) q) q) q) ∧∧∧∧ p p p p →→→→ qqqq

(p(p(p(p→→→→ q) q) q) q) ∧∧∧∧ q q q q →→→→ pppp

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 11

(p(p(p(p→→→→ q) q) q) q) ∧∧∧∧ q q q q →→→→ pppp

(p(p(p(p→→→→ q) q) q) q) ∧∧∧∧ ¬¬¬¬ q q q q →→→→ ¬¬¬¬ pppp

(p(p(p(p→→→→ q) q) q) q) ∧∧∧∧ p p p p ∧∧∧∧ ¬¬¬¬ qqqq

p p p p ∧∧∧∧ (p(p(p(p→→→→ q) q) q) q) ∧∧∧∧ (q(q(q(q→→→→ r)r)r)r)

Page 12: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Representação de conhecimento

Conhecimento pode ser representado de duas formas:

explícita: por meio da formalização de sentenças

implícita: por meio de consequência lógica (fatos derivados das sentenças)

Passos para formalização de sentenças

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 12

Identificamos as palavras da sentença que correspondem a conectivos.

Identificamos as partes da sentença que correspondem a proposições

atômicas e associamos a cada uma delas um símbolo proposicional.

Escrevemos a fórmula correspondente à sentença, substituindo suas

proposições atômicas pelos respectivos símbolos proposicionais e seus

conectivos lógicos pelos respectivos símbolos conectivos

Page 13: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Representação de conhecimento

Exemplo

Está chovendo.

Se está chovendo, então a rua está molhada.

Se a rua está molhada, então a rua está escorregadia.

Vocabulário

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 13

Vocabulário

p : “está chovendo”

q : “a rua está molhada”

r : “a rua está escorregadia”

Formalização

∆ = {p, p→q, q→r}

base de conhecimento

Page 14: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Representação de conhecimento

Exercício 4. Usando a sintaxe da lógica proposicional, formalize as sentenças

Se Ana é alta e magra, então ela é elegante.

Se Beto é rico, então ele não precisa de empréstimos.

Se Caio ama a natureza, então ele ama as plantas e os animais.

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 14

Se Denis jogar na loteria, então ele ficará rico ou desiludido.

Se faz frio ou chove, então Eva fica em casa e vê TV.

Page 15: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Formalização de argumentos

Um argumento é uma sequência de premissas seguida de uma conclusão

Exemplo

Se neva, então faz frio.

Está nevando.

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 15

Logo, está fazendo frio.

Vocabulário

p : “neve”

q : “frio”

Formalização

{p→q, p} ⊧⊧⊧⊧ qconsequência lógica

Page 16: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Formalização de argumentos

Exercício 5. Usando a sintaxe da lógica proposicional, formalize o argumento.

Se o time joga bem, então ganha o campeonato.

Se o time não joga bem, então o técnico é culpado.

Se o time ganha o campeonato, então os torcedores ficam contentes.

Os torcedores não estão contentes.

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 16

Os torcedores não estão contentes.

Logo, o técnico é culpado.

Page 17: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Validação de argumentos

Nem todo argumento é válido!

Exemplo: Intuitivamente, qual dos argumentos a seguir é válido?

Argumento 1

Se eu fosse artista, então eu seria famoso.

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 17

Se eu fosse artista, então eu seria famoso.Não sou famoso.Logo, não sou artista.

Argumento 2

Se eu fosse artista, então eu seria famoso.Sou famoso.Logo, sou artista.

Page 18: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Validação de argumentos

Vamos mostrar três métodos de validação de argumentos:

Um argumento é válido se a sua conclusão é uma consequência lógicade suas premissas, ou seja, a veracidade da conclusão está implícita na

veracidade das premissas.

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 18

Tabela-verdade (semântico)

Prova por dedução (sintático)

Prova por refutação (sintático)

Métodos semânticos são baseados em interpretações

Métodos sintáticos são baseados em regras de inferência (raciocínio)

Page 19: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Validação de argumentos usando tabela-verdade

Exemplo 1

ArgumentoSe eu fosse artista, seria famoso.

⊧⊧⊧⊧Um argumento da forma {{{{αααα1111,,,,…………,,,,ααααnnnn} } } } ⊧⊧⊧⊧ ββββ é válido se e somente se a

fórmula correspondente αααα1111∧∧∧∧ ………… ∧∧∧∧ ααααnnnn →→→→ ββββ é válida (tautológica).

p q (p → q) ∧∧∧∧ ¬¬¬¬ q → ¬¬¬¬ p

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 19

Se eu fosse artista, seria famoso.

Não sou famoso.

Logo, não sou artista.

Vocabuláriop : “artista”

q : “famoso”

Formalização{{{{p→q, ¬¬¬¬q} } } } ⊧⊧⊧⊧ ¬¬¬¬p

F F F V F V V F VVVV V F

F V F V V F F V VVVV V F

V F V F F F V F VVVV F V

V V V V V F F V VVVV F V

O argumento é válido!

Page 20: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Validação de argumentos usando tabela-verdade

Exemplo 2

ArgumentoSe eu fosse artista, seria famoso.

Sou famoso.

Logo, sou artista.

p q (p → q) ∧∧∧∧ q → p

F F F V F F F VVVV F

F V F V V V V FFFF F

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 20

Vocabuláriop : “artista”

q : “famoso”

Formalização{{{{p→q, q} } } } ⊧⊧⊧⊧ p

F V F V V V V FFFF F

V F V F F F F VVVV V

V V V V V V V VVVV V

O argumento NÃO é válido!

Page 21: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Validação de argumentos usando tabela-verdade

Exercício 6. Use tv.pl para verificar a validade dos argumentos.

1. Se neva, então faz frio.

Não está nevando.

Logo, não está frio.

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 21

2. Se eu durmo tarde, não acordo cedo.

Acordo cedo.

Logo, não durmo tarde.

3. Gosto de dançar ou cantar.

Não gosto de dançar.

Logo, gosto de cantar.

Page 22: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Validação de argumentos usando tabela-verdade

Exercício 7. Use tv.pl para verificar a validade do argumento

Se o time joga bem, então ganha o campeonato.

Se o time não joga bem, então o técnico é culpado.

Se o time ganha o campeonato, então os torcedores ficam contentes.

Os torcedores não estão contentes.

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 22

Os torcedores não estão contentes.

Logo, o técnico é culpado.

Formalização: {{{{j→g, ¬¬¬¬j→t, g→c, ¬¬¬¬c} } } } ⊧⊧⊧⊧ t

Page 23: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Validação de argumentos usando tabela-verdade

Exercício 8. Sócrates está disposto a visitar Platão ou não?

Se Platão está disposto a visitar Sócrates, então Sócrates está disposto a

visitar Platão. Por outro lado, se Sócrates está disposto a visitar Platão,

então Platão não está disposto a visitar Sócrates; mas se Sócrates não

está disposto a visitar Platão, então Platão está disposto a visitar Sócrates.

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 23

está disposto a visitar Platão, então Platão está disposto a visitar Sócrates.

Vocabulário:

pppp : “Platão está disposto a visitar Sócrates”

ssss : “Sócrates está disposto a visitar Platão”

Formalização: {{{{ pppp →→→→ s, (ss, (ss, (ss, (s →→→→ ¬¬¬¬ p)p)p)p) ∧∧∧∧ ((((¬¬¬¬ ssss →→→→ p)p)p)p) }}}}

Page 24: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Validação de argumentos usando tabela-verdade

Consequência lógica é o elo entre o que um agente “acredita” e aquilo que

é explicitamente representado em sua base de conhecimento

A tabela-verdade é um método semântico que permite verificar

consequências lógicas.

Este método tem a vantagem de ser conceitualmente simples; porém,

como o número de linhas na tabela-verdade cresce exponencialmente em

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 24

como o número de linhas na tabela-verdade cresce exponencialmente em

função do número de símbolos proposicionais na fórmula, na prática, seu

uso nem sempre é viável.

Assim, adotamos raciocínio automatizado como uma alternativa mais

eficiente para verificação de consequência lógica (isto é, validação de

argumentos)

Page 25: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Prova por dedução

Uma prova por dedução de uma fórmula ϕ, a partir de uma base de

conhecimento ∆, é uma sequência finita de fórmulas γ1, …, γk tal que:

γk = ϕ;

para 1≤ i≤k, ou γi∈∆ ou, então, γi é derivada de fórmulas em

∆∪{γ , …, γ }, pela aplicação de uma regra de inferência.

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 25

∆∪{γ1, …, γi−1}, pela aplicação de uma regra de inferência.

Regra de inferência:

é um padrão de manipulação sintática que define como uma fórmula (conclusão) pode ser derivada de outras fórmulas (premissas)

Page 26: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Prova por dedução

Regras de inferência clássicas:

⊢⊢⊢⊢

⊢⊢⊢⊢

Modus ponens (MP): {{{{αααα → ββββ, αααα} } } } ⊢⊢⊢⊢ ββββ

Modus tollens (MT): {{{{αααα → ββββ, ¬¬¬¬ ββββ} } } } ⊢⊢⊢⊢ ¬¬¬¬ αααα

Silogismo hipotético (SH): {{{{αααα → ββββ, ββββ → γγγγ} } } } ⊢⊢⊢⊢ αααα → γγγγ

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 26

⊢⊢⊢⊢

⊢⊢⊢⊢

As regras de inferência clássicas:

representam “esquemas de raciocínio” válidos

podemos validar estes esquemas usando tabela-verdade

podem ser usadas para derivar conclusões que são consequências

lógicas de suas premissas

Page 27: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Prova por dedução

Exemplo: validar o argumento {j→g, ¬j→t, g→c, ¬c} ⊧⊧⊧⊧ t

(1) j→g ∆

(2) ¬¬¬¬j→t ∆

(3) g→c ∆

¬¬¬¬ ∆

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 27

(4) ¬¬¬¬c ∆

------------

(5) j→c SH(1,3)

(6) ¬¬¬¬j MT(5,4)

(7) t MP(2,6)

Conclusão: o argumento é válido, pois a fórmula t pode ser derivada de ∆.

Page 28: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Prova por dedução

Exercício 9

Use o programa tv.pl para validar as regras de inferência clássicas:

MP: {α → β, α} ⊢ β

MT: {α → β, ¬ β} ⊢ ¬ α

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 28

SH: {α → β, β → γ} ⊢ α → γ

Prove usando as regras de inferências clássicas:

{p→q, ¬q, ¬p→r} ⊢ r

{¬p→ ¬q, q,p→ ¬r} ⊢ ¬r

{p→q, q→r, ¬r, ¬p→ s} ⊢ s

Page 29: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Prova por refutação

Embora a prova por dedução seja um método mais prático que a

tabela-verdade, ainda é muito difícil obter algoritmos eficientes para

validação de argumentos com base neste método.

RefutaçãoRefutação é um processo em que se demonstra que uma determinada

hipótese contradiz uma base de conhecimento.

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 29

hipótese contradiz uma base de conhecimento.

Uma base de conhecimento ∆∆∆∆ = {αααα1, …………, ααααn } é consistente se a fórmula

correspondente αααα1 ∧∧∧∧ ………… ∧∧∧∧ ααααn é satisfatível.

Se ∆∆∆∆ = {α1, …, αn} é consistente, provar ∆∆∆∆ ⊧⊧⊧⊧ γγγγ equivale a mostrar que o

conjunto de fórmulas {α1, …, αn, ¬¬¬¬ γγγγ } é inconsistente.

Page 30: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Prova por refutação

Argumento(1) Se o time joga bem, então ganha o campeonato.

(2) Se o time não joga bem, então o técnico é culpado.

(3) Se o time ganha o campeonato, então os torcedores ficam contentes.

(4) Os torcedores não estão contentes.

(5) Logo, o técnico é culpado.

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 30

Refutação(a) O técnico não é culpado hipótese(b) O time joga bem MT(a,2)(c) O time ganha o campeonato MP(b,1)(d) Os torcedores ficam contentes MP(c,3)(e) Contradição! Confrontando (d) e (4)

Conclusão: a hipótese contradiz as premissas, logo o argumento é válido!

Page 31: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Prova por refutação

Exemplo: validar o argumento {j→g, ¬j→t, g→c, ¬c} ⊧⊧⊧⊧ t

(1) j→→→→g ∆

(2) ¬¬¬¬j→→→→t ∆

(3) g→→→→c ∆

(4) ¬¬¬¬c ∆

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 31

(4) ¬¬¬¬c ∆

------------

(5) ¬¬¬¬tttt HipóteseHipóteseHipóteseHipótese

(6) j MT(5,2)

(7) g MP(6,1)

(8) c MP(7,3)

(9) ⃞⃞ ⃞⃞ Contradição!Contradição!Contradição!Contradição!

Conclusão: como ∆∆∆∆ ∪∪∪∪ {{{{¬¬¬¬t}t}t}t} é inconsistente, segue que ∆∆∆∆ ⊧⊧⊧⊧ tttt .

Page 32: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Prova por refutação

Exercício 10

Usando refutação, mostre que o argumento é válido.

(1) Se Ana sente dor de estômago ela fica irritada.

(2) Se Ana toma remédio para dor de cabeça ela fica com dor de estômago.

(3) Ana não está irritada.

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 32

(3) Ana não está irritada.

(4) Logo, Ana não tomou remédio para dor de cabeça.

Prove usando refutação:

{p→q, ¬q, ¬p→r} ⊢ r

{¬p→ ¬q, q,p→ ¬r} ⊢ ¬r

{p→q, q→r, ¬r, ¬p→ s} ⊢ s

Page 33: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Forma normal conjuntiva

Para simplificar a automatização do processo de refutação, vamos usar fórmulas normais (Forma Normal Conjuntiva - FNC).

Passos para conversão para FNCElimine a implicação:

αααα→→→→ββββ ≡≡≡≡ ¬¬¬¬αααα∨∨∨∨ββββ

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 33

Reduza o escopo da negação:

¬¬¬¬ (αααα∧∧∧∧ββββ) ≡≡≡≡ ¬¬¬¬αααα∨∨∨∨¬¬¬¬ββββ

¬¬¬¬ (αααα∨∨∨∨ββββ) ≡≡≡≡ ¬¬¬¬αααα∧∧∧∧¬¬¬¬ββββ

Reduza o escopo da disjunção:

αααα∨∨∨∨ (ββββ∧∧∧∧γγγγ) ≡≡≡≡ (αααα∨∨∨∨ββββ)∧∧∧∧ (αααα∨∨∨∨γγγγ)

Page 34: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Forma normal conjuntiva

Exemplo de conversão para FNC

p∨∨∨∨ q →→→→ r ∧∧∧∧ s

≡≡≡≡ ¬¬¬¬ (p ∨∨∨∨ q) ∨∨∨∨ (r ∧∧∧∧ s)

≡≡≡≡ (¬¬¬¬ p ∧∧∧∧ ¬¬¬¬ q) ∨∨∨∨ (r ∧∧∧∧ s)FNC

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 34

≡≡≡≡ (¬¬¬¬ p ∧∧∧∧ ¬¬¬¬ q) ∨∨∨∨ (r ∧∧∧∧ s)

≡≡≡≡ ((¬¬¬¬ p ∧∧∧∧ ¬¬¬¬ q) ∨∨∨∨ r) ∧∧∧∧ ((¬¬¬¬ p ∧∧∧∧ ¬¬¬¬ q) ∨∨∨∨ s)

≡≡≡≡ (¬¬¬¬ p ∨∨∨∨ r) ∧∧∧∧ (¬¬¬¬ q ∨∨∨∨ r) ∧∧∧∧ (¬¬¬¬ p ∨∨∨∨ s) ∧∧∧∧ (¬¬¬¬ q ∨∨∨∨ s)

Fórmulas normais: {¬¬¬¬ p ∨∨∨∨ r, ¬¬¬¬ q ∨∨∨∨ r, ¬¬¬¬ p ∨∨∨∨ s, ¬¬¬¬ q ∨∨∨∨ s}

Page 35: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Forma normal conjuntiva

Exercício 11. Formalize as sentenças e normalize as fórmulas.

Se não é noite e nem há lua cheia, então não há lobisomem.

Se eu fosse rico ou famoso, não precisaria trabalhar tanto.

Se o programa está correto, então o compilador não exibe mensagens de

erro e gera um arquivo executável.

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 35

erro e gera um arquivo executável.

Se o motorista é multado, então ele passou um sinal vermelho ou excedeu o

limite de velocidade.

Page 36: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Inferência por resolução

FNC permite usar inferência por resolução

A idéia da resolução é:

RES( αααα ∨∨∨∨ ββββ, ¬¬¬¬ ββββ ∨∨∨∨ γγγγ ) = αααα ∨∨∨∨ γγγγ

RES( αααα, ¬¬¬¬ αααα ) = ⃞⃞⃞⃞

Equivalência entre resolução e regras de inferência clássicas

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 36

Equivalência entre resolução e regras de inferência clássicas

MP(αααα→→→→ββββ, αααα) = ββββ RES(¬¬¬¬αααα∨∨∨∨ββββ, αααα) = ββββ

MT(αααα→→→→ββββ, ¬¬¬¬ββββ) = ¬¬¬¬αααα RES(¬¬¬¬αααα∨∨∨∨ββββ, ¬¬¬¬ββββ) = ¬¬¬¬αααα

SH(αααα→→→→ββββ, ββββ→→→→γγγγ) = αααα→→→→γγγγ RES(¬¬¬¬αααα∨∨∨∨ββββ, ¬¬¬¬ββββ∨∨∨∨γγγγ) = ¬¬¬¬αααα∨∨∨∨γγγγ

Page 37: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Inferência por resolução

Exemplo: validar o argumento {j→g, ¬j→t, g→c, ¬c} ⊧⊧⊧⊧ t

(1) ¬¬¬¬j∨∨∨∨g ∆

(2) j∨∨∨∨t ∆

(3) ¬¬¬¬g∨∨∨∨c ∆

(4) ¬¬¬¬c ∆

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 37

(4) ¬¬¬¬c ∆

------------

(5) ¬¬¬¬tttt HipóteseHipóteseHipóteseHipótese

(6) j RES(5,2)

(7) g RES(6,1)

(8) c RES(7,3)

(9) ⃞⃞ ⃞⃞ RES(8,4)

Conclusão: como ∆∆∆∆ ∪∪∪∪ {{{{¬¬¬¬t}t}t}t} é inconsistente, segue que ∆∆∆∆ ⊧⊧⊧⊧ tttt .

Page 38: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Inferência por resolução

Exercício 12. Prove usando refutação e inferência por resolução.

Se o programa possui erros de sintaxe, sua compilação produz uma

mensagem de erro.

Se o programa não possui erros de sintaxe, sua compilação produz um

Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 38

Se o programa não possui erros de sintaxe, sua compilação produz um

programa executável.

Se tivermos um programa executável, podemos executá-lo para obter um

resultado.

Não temos como executar o programa para obter um resultado.

Logo, a compilação do programa produz uma mensagem de erro.

Page 39: pl-02 [Modo de Compatibilidade] - ime.usp.brslago/pl-02.pdf · Prof. Dr. Silvio do Lago Pereira – DTI / FATEC-SP 2 conhecimento e raciocínio correto podem ser representados em

Fim