IA-logica

Resolução

Lógica Proposicional
1.

●

●

●

P

Q

P→Q P→(P→Q)

V

V

V

V

V

F

F

F

F

V

V

V

F F V
Contigência

V

P

Q

¬P ∨¬Q P ∧Q P ∧Q ∧(¬P ∨¬Q)

V

V

F

V

F

V

F

V

F

F

F

V

V

F

F

F F V
Contradição

F

F

Q

S

V

V

V V

V

V

V

V

F

V

V

V

V

F

V V

V

V

V

F

F

V

F

F

F

V

V V

V

V

F

V

F

V

V

V

F

F

V F

V

F

F

F

F F F
Contigência

P∨Q

¬S→Q (P∨Q)∧(¬S→Q)

P

F

2.
●
●
●
●

(A→B)→C : ¬(¬A∨B)∨C : (A∧¬B)∨C: (A∨C)∧(¬B∨C)
A→(B→C) : ¬A∨(¬B∨C) : ¬A∨¬B∨C
(A→B)∨(B→A): (¬A∨B)∨(¬B∨A) :¬A∨B∨¬B∨A
(A→B)→(¬C→(D∧E)): ¬(¬A∨B)∨(C∨(D∧E)): (A∧¬B)∨(C∨(D∧E)):
(A∧¬B)∨((C∨D)∧(C∨E)) : ((A∧¬B)∨(C∨D))∧((A∧¬B)∨(C∨E)):
(A∨C∨D)∧(¬B∨C∨D) ∧(A∨C∨E)∧ (¬B∨C∨E)

Lógica de Primeira Ordem
6.
Primeiro deve­se escrever as regras a serem utilizadas em LPO:
●

∀ X pessoa(X) ⇒ filho(X,mae(X))

●

∀ X filho(X,mae(X)) ⇒ ama(mae(X),X)

●

∀ X,Y ama(Y,X) ⇒ feliz(X feliz(X) ●

pessoa(ricardo)
Em seguida o objetivo (refutação) é adicionado à base de dados em sua negação:
●

¬ feliz(ricardo)

Passando para a FNC.
●

¬pessoa(X) v filho(X,mae(X))

●

¬filho(X,mae(X)) v ama(mae(X),X)

●

¬ama(Y,X) v feliz(X feliz(X) ●

pessoa(ricardo)

Aplicar resolução em seguida:

●
●

7. falha falha

●
●
●
●
●

falha falha falha
{X/Y,Y/Z}
Unificação Infinita (ERRO)