Beruflich Dokumente
Kultur Dokumente
. tautology.
3. For all formulas F and G, (F v G) A
1.B) If ((ki=1F i) G) is a tautology,
is also a formula. - A (KB) A ()
then G is a consequence of {F , F
1 2,
Model : KB
..., F }.
k
A: {A , A , . A n} {true, Logical inference : entailment can
1 2
Proof 1.A :
false} be used to derive conclusions by
carrying out logical inference KB|i - if G is consequence of
A is a model of F: |=AF
- can be derived from KB by {F 1, F 2, ..., F }. then every
k
A is not a model of F: |= F
A
procedure i
model of F i also a model of G.
is
Satisfiable : iff it has at least one k
John Orders Pizza : John orders - A ( ( i=1F i )=true
model. A(F) = true. pizza whenever it is late or he - then A (G) = true
Validity (tautology): iff every is tired, and he has worked all day in - therefore A ((ki=1F i) G) is also
possible truth assignment is a the lab. He is always tired when he
true by definition of semantics.
model for it. gets up early or he has worked all
Proof 1.B :
day in the lab. He has actually
m
A formula is valid: |=F k
- A (( i=1F i) G) is a tautology
er as
A set is satisfiable : {F1, F2,...,Fn} worked all day in the lab.
a=John orders pizza - If A (ki=1F i) = true
co
iff all the formulae in the set are
b=It is late
eH w
- then A (G) = true
true.
c=John is tired - If A is a model of {F , F , ..., F }
Circuit : 1 2 k
o.
d=John has worked all day in the then A is also a model of G.
rs e lab
- So, G is a consequence of F .
i
ou urc
e=John gets up early
2. G is a consequence of {F 1 2 ...,
, F ,
Prolog Translation : k
F } iff (( F ) G) is unsatisfiable.
a :- (b ; c) , d. k i=1 i
?- a
Satisfiability : connected to
vi y re
Prove a by Resolution
o ((p q) (p q)) (pxorq) CNF forms: inference. KB| = iff (KB ) is
(A B D) (A C D) unsatisfiable.
a (r o)
b (p q) (E C) (D C)
Equivalence Rules
ed d
D
s ((o r) (o r)) Contraposition:
Step Formula
ar stu
c (a b) (F G) (G F)
1 (A v ~B v ~D) Given Implication elimination:
(F G) (F G)
2 (A v ~C v ~D) Given
Double Implication Elimination:
sh is
(F F ) (F F ) F
A (p)=true A
(pvq)=true 5 D Given Commutativity:
A (q)=false A
(q)=true
6 ~A Neg. (F G) (G F )
Satisfaction : (F G) (G F )
Given : -> Find
: 7 (A v ~C) 2, 5
Associativity:
A (pvq)=true A
(p)=true 8 C 4, 5 ((A B) C) (A (B C))
A (q)=true A
(q)=false 9 A 7,8 Absorption:
A formula is a consequence of a (A (A B)) A
10 6, 9
Knowledge Base(KB), where KB = Double Negation
{F 1, F 2, ..., F k} iff F F
-for every truth assignment A Therefore ((ki=1F i) G) is Tautology:
If A is a model for KB then Ais unsatisfiable and G is a consequence (1 G) 1, (1 G) G
of F. Unsatisfiable:
also a model for i
A (KB) A () (0 G) G, (0 G) 0
KB
https://www.coursehero.com/file/11401132/COT3541-Midterm-Review/
Substitution Theorem : Deductive Inference Rules
:
prove: ((A (B C)) (C A))
((B A) C). by ST
Conjuctive Normal Form(CNF) :
((A B C) (B D) A (B C))
Given KB, prove conclusion S.
((A B) (C D)) KB |= S.
1.Eliminate implications
((A B) (C D))
2.deMorgans law. Step Formula Derivation
((A B) (C D)) 1 R1 : P Q given
3.Distribute or over and
((A (C D)) (B (C D))) 2 R2 : P R given
4.We get final CNF. 3 R3 : (Q R) S given
m
D E) 7 QR 5,6 and-int
er as
can be rewritten as
8 S (conclusion) 7,3Mod-Po
co
F ((B A) ((C A) D) ((A B) 0)
eH w
(1 D) (E 0)).
Recursion example :
o.
Use binary predicate d_taller
and
Validity
Soundness : rs e translate the following:
ou urc
Nick is taller than Mike
if something is provable from KB it is
Mike is taller than Sam
entailed by KB.
Sam is taller than Eve
Completeness : if KB |= then
trace:
o
KB |-
?- taller(nick, Who)
if something is entailed by KB, it is
aC s
provable.
vi y re
taller(Y,Z).
Th
https://www.coursehero.com/file/11401132/COT3541-Midterm-Review/
?-taller(nick, who).
4
who = Mike ;
m
co
Y = Mike taller(mike, who).
o.
4
er
X=Mike
H
d_taller(mike, who)
Y = Who
se
2
ur
5
who = Sam ;
Co
X=Mike
a
d_taller(mike, Y), taller(Y, who)
Y = Who
vi
d
re Y = Sam taller(sam, who).
ha
4
s
X=Sam
as
d_taller(sam, who)
Y = Who
3
w
ce
who = Eve ;
ur
so
https://www.coursehero.com/file/11401132/COT3541-Midterm-Review/
ss