Professional Documents
Culture Documents
L6-Logic Va Suy Dien
L6-Logic Va Suy Dien
Ni dung mn hc:
Tc t
Hc my
Tr tu nhn to
Logic l ngn ng hnh thc cho php (gip) biu din thng
ttin d
di d
dng
g cc kt
t lun
u c tth
c a ra
a
Tc l, xc nh s ng n
ca mt mnh
C p
php
p ca mt logic
g
Ngn ng (Language)
Tp hp
T
h cc
llut
t suy din
di cho
h php
h chng
h minh
i h ((suy llun
ra)) cc
biu thc
V d: Lut suy din any plus zero any
Mt nh l (theorem) l mt mnh
logic cn
chng minh
Ng
g ngha
g ca mt logic
g
V d
d
I(one) ngha l 1 ( N)
I(two) ngha l 2 ( N)
I(plus) ngha l php cng + : N x N N
I(equal) ngha l php so snh bng = : N x N {true, false}
I(one plus one equal two) ngha l true
V d: A OR NOT A
Tr tu nhn to
Tnh bao hm
Cc m hnh
nh ngha: m l mt m hnh ca
mnh nu l ng trong m
M() l tp hp tt c cc m hnh
ca
KB nu v ch nu M(KB) M()
V d: KB = i bng A thng v
i bng B thng, = i bng
A thng
thng
Tr tu nhn to
KB i
Tnh ng n (soundness)
b hm
bao
h (entailed
( t il d sentences)
t
)
Th tc i l ng n, nu bt c khi no KB i , th cng ng
i vi KB
Nu th tc i suy ra mnh , m khng c bao hm trong
KB, th th tc i l khng ng n (unsound)
Tr tu nhn to
Mt th tc
t suy din
di i c
gii l hon
h chnh
h h (complete),
(
l t ) nu
i vi KB i
Tr tu nhn to
Tr tu nhn to
10
Tr tu nhn to
11
Logic
g nh C p
php
p (1)
Mt k hiu
hi nh
h (S1, S2, )) l mt
t biu
bi thc
th (nh
( h )
Cc gi tr hng logic ng (true) v sai (false) l cc biu
thc
Nu S1 l mt biu thc, th (S1) cng l mt biu thc
(Php ph nh)
Tr tu nhn to
12
Logic
g nh C p
php
p (2)
Nu S1 v
N
S2 l cc
bi
biu th
thc, th (S1 S2) cng
l mt
t
biu thc (Php kt hp / v)
Nu S1 v S2 l cc biu thc, th ((S1 S2) cng
g l mt
Tr tu nhn to
13
C p
php
p ca logic
g nh V d
t
true
false
(p) true
((p)
(( p) false)
(p (q r)) (p q) (p r)
Tr tu nhn to
14
, , , ,
S dng cp k t () xc nh mc u tin
Cc v d
pqr
p q
Tr tu nhn to
15
Logic
g nh Ng
g ngha
g (1)
S3=sai)
i)
Vi 3 k hiu nh nh v d trn, c th ch ra 8 m
hnh c th
Tr tu nhn to
16
Logic
g nh Ng
g ngha
g (2)
V d:
d Vi m
hnh
h h m1 nh
h trong v d
d trn,
th
h gi
i tr ca
17
p l sai
q l ng
p q l sai
p q l ng
p q l sai
q p l ng
p q l sai
p q l ng
Tr tu nhn to
18
p l ng
q l sai
p q l sai
p q l ng
p q l ng
q p l sai
p q l sai
p q l ng
Tr tu nhn to
19
S2
S
S1
sai
sai
ng
sai
sai
ng
ng
sai
ng
ng
sai
ng
ng
sai
ng
sai
sai
sai
ng
sai
sai
sai
ng
ng
ng
ng
ng ng
Tr tu nhn to
20
Tr tu nhn to
21
Gi s chng ta c cc nh sau
p Chiu
Chiu nay tri nng
nng
q Thi tit lnh hn hm qua
r Ti s i bi
s Ti s
i bng
b
t Ti s v n nh vo bui ti
Tr tu nhn to
22
Mu thun v Tautology
g
V d: (p p)
V d:
(p p)
(p
(p q) (p
( p q)
q)
(p q) (p q)
Tr tu nhn to
23
Mt biu
bi thc
th l khng
kh th tha
th mn
c
V d: A B, A B
V d:
d A A
A
V d: ng; A A; A A; (A (A B)) B
Tr tu nhn to
24
Cu hi t ra:
C
ra Liu
Li c tn ti mt th tc
t c (suy
(s din) c
th gii quyt c bi ton chng minh logic, trong mt
s hu hn cc bc?
i
vi logic nh ,
cu tr li l c!
Tr tu nhn to
25
Mc ch: tr li cu hi KB ?
Tr tu nhn to
26
KB
p
pq
pq
(p q) q
ng
ng
ng
ng
ng
ng
sai
ng
sai
sai
sai
ng
ng
sai
sai
sai
sai
sai
ng
sai
Tr tu nhn to
chng minh
27
KB = (p r) (q r)
= (p q)
KB ?
p
pr
q r
KB
ng
ng
ng
ng
ng
ng
ng
ng
ng
sai
ng
ng
ng
ng
ng
sai
ng
ng
sai
sai
ng
ng
sai
sai
ng
ng
ng
ng
sai
ng
ng
ng
ng
ng
ng
sai
ng
sai
sai
ng
sai
ng
sai
sai
ng
ng
sai
sai
sai
sai
sai
sai
sai
ng
sai
sai
Tr tu nhn to
28
Tr tu nhn to
29
30
Tr tu nhn to
31
Gi s c tp gi thit KB
1) p q
2) p r
3)) (q r)) s
Cn chng minh nh l s
T 1) v
s dng
d ng lut
l t And-Elimination,
And Elimination ta c:
c
4) p
T 2),
2) 4)
4), v s dng lut Modus Ponens
Ponens, ta c:
5) r
Tr tu nhn to
32
Tr tu nhn to
33
Chn lut no
p dng tip
theo?
KB
pq
rs
p
r
p q, p
q
?
Tr tu nhn to
r s, r
s
34
Trong logic nh
Mt biu
bi thc
th c
th bao
b gm
nhiu
hi lin
li kt:
kt , , , ,
Chng ta c cn
s
dng tt
c
cc lin kt
logic
biu
Khng.
Chng ta c th vit li (chuyn i) mt biu thc logic nh
thnh mt biu thc tng ng ch cha cc lin kt , ,
Tr tu nhn to
35
Cc dngg chun
36
(p q) (r p)
2. S dng cc php bin
i
tng ng (vd: lut
(distributive rules)
(p r p) (q r p)
(p r) (q r p)
Tr tu nhn to
37
Tp cc bin
Cc k hiu nh (v d: p, q, r, s, t)
Cc gi tr (hng) logic ng, sai
Tp cc
T
rng
buc
b
Tt c cc mnh (c lin kt bi php V) trong biu thc
phi ng
Vi mi
i mnh
h ,
t nht
ht mt
t trong
t
cc
nh
h n
phi
hi ng
Tr tu nhn to
38
39
Gii php
KB
(KB )
nu
v ch nu:
l khng th tha mn c
(unsatisfiable)
(u
sat s ab e)
Tr tu nhn to
40
Lut
suyy din hp
p g
gii p
p dng
g c
i vi cc biu
thc logic dng chun CNF
Tr tu nhn to
41
Ph
Phng
php
h chng
h minh
i h bng
b phn
h chng
h
Tr tu nhn to
42
Gii thut hp
p ggii
Q trnh
Qu
t h p
dng
d
l t suy din
lut
di hp
h gii
ii dng
d li
l i khi:
khi
C mu thun xy ra
Sau khi hp gii, thu c (suy ra) biu thc rng (mu thun)
p, p
{}
Khng c biu thc mi no c sinh ra na
Tr tu nhn to
43
Gi s c tp gi thit KB
p q
p r
(q r) s
C chng minh nh l s
Cn
Bc 2. Ph nh
biu thc cn chng
g minh
s
44
Tc l biu
bi thc ban u
(s) c
c chng minh l ng
Tr tu nhn to
45
p r
q r s
r
r s
s
{} (C mu thun)
Tr tu nhn to
46
Khng phi
Kh
hi mii biu
bi thc
th logic
l i nh
h u
c
th c
chuyn
h v
Cc lut (Rules)
(p1 p2 pn q)
Tng ng vi lut: (p1 p2 pn q)
Cc s kin (Facts)
p1, q
Cc rng buc ton vn (Integrity constraints)
(
(p
p1 p
p2 pn)
Tng ng vi lut: (p1 p2 pn sai)
Tr tu nhn to
47
Tr tu nhn to
48
Tr tu nhn to
49
Tr tu nhn to
50
Tr tu nhn to
51
Tr tu nhn to
52
Tr tu nhn to
53
Tr tu nhn to
54
Tr tu nhn to
55
Tr tu nhn to
56
Trnh cc vng lp
57
Tr tu nhn to
58
Tr tu nhn to
59
Tr tu nhn to
60
Tr tu nhn to
61
Tr tu nhn to
62
V d:
d vic
i nhn
h dng
d
i tng,
t
vic
i a
ra quyt
t nh
h
Tr tu nhn to
63
Logic
g nh - u v nhc im
(+) Logic nh cho php d dng pht biu (biu din) c s tri
thc bng tp cc mnh
64
Gii hn ca Logic
g nh
Hy xt v d sau y:
T l mt
Tun
t sinh
i h vin
i ca
HUT
Trong logic nh :
nh p: Tun
Tun l mt sinh vin ca HUT
HUT
nh
r: Tun hc
mn i
s
Tr tu nhn to
65
Logic
g v t (FOL) V d
Studies_Algebra(Tuan)
x l bin)
66
FOL Ngn
g ng
g (1)
Mi k hi
hiu hm
h h
hoc
v t u
c
mt
t tp
t cc
th
tham s
67
FOL Ngn
g ng
g (2)
Mt hng s l mt phn t
Mt bin l mt phn t
Nu t1, t2,,tn l cc thnh phn v f l mt k hiu hm c n
tham s
s, th f(t1,tt2,,ttn) l mt phn t
Khng cn g khc l mt phn t
Cc v d ca phn t (term)
Tuan
2
f i d(T
friend(Tuan)
)
friend(x)
plus(x,2)
Tr tu nhn to
68
Cc nguyn t (Atoms)
Lu : x: c
nh
ngha
g
bng
g x:
Tr tu nhn to
69
FOL Ng
g ngha
g (1)
i vi hng c: I(c) D
i vi
i k hi
hiu v t (c
( n tham
th
s)
) P: I(P):
I( ) Dn {true,
{
false}}
Tr tu nhn to
70
FOL Ng
g ngha
g (2)
Nu l , th I()=sai nu I()=ng, v
I()=ng nu I()=sai
Nu l (), th I()=sai nu I() hoc I() l
sai, v I()=true nu c I() v I() l ng
Gi s
x:(x)
( ) l mt
t biu
bi thc,
th th
I(x:(x))=ng nu I()(d)=ng vi mi gi tr
dD
Tr tu nhn to
71
FOL Ng
g ngha
g (3)
Tr tu nhn to
72
Lngg t logic
g Vi mi
Ngoi_trong_lop(Hue,K4)
N
i t
l (H K4) Cham_chi(Hue)
Ch
hi(H )
Ngoi_trong_lop(Cuong,K4) Cham_chi(Cuong)
Ngoi_trong_lop(Tuan,K4) Cham_chi(Tuan)
Tr tu nhn to
73
Lngg t logic
g Tn ti
Ngoi_trong_lop(Hue,K4)
N
i t
l (H K4) Cham_chi(Hue)
Ch
hi(H )
Ngoi_trong_lop(Cuong,K4) Cham_chi(Cuong)
Ngoi_trong_lop(Tuan,K4) Cham_chi(Tuan)
Tr tu nhn to
74
Cc c im ca cc lngg t logic
g
Tnh hon v:
(x y) l tng ng vi (y x)
(x y) l tng ng vi (y x)
y x: Yeu(x,y) - Trn
Trn th gii ny, mi ngi u c t nht
mt ngi khc yu thch
75
S dngg logic
g v t
Biu din cc pht biu trong ngn ng t
nhin
hi
M ca c l m tng ng vi m l ph n v m l
bc cha m ca c
m,c:
, Me(c)
( ) = m ((Phu_nu(m)
( ) Cha_me(m,c))
( , ))
76
2.
T hp,
Tp
h
th thp
thu
th cc
ttrii th
thc li
lin quan
3.
4.
5.
6.
Kim tra
Ki
t th tc
t suy di
din: t cc
cu
hi (t
(truy vn)
) v
7.
77