Tải bản đầy đủ (.pdf) (10 trang)

BÀI GIẢNG HỆ CHUYÊN GIA - ĐẠI HỌC HÀNG HẢI - 3 potx

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (404.08 KB, 10 trang )

17

B. C
Thêm 


___________________________________________________________________
Bài tập chương 2:



18

Chương 3: Các kỹ thuật suy diễn và lập luận
3.1. Nhập môn





- 
nference (CT, KL, set of facts) và KQ: boolean
 R: set of rule
- 


 metaknowledge)
+ phân rã CSTT SD phân tán
SD song song




3.2. Phân rã CSTT
Fact Precedence Graph (FPG) = (F, A)

+ Cung: (a,b)

A


r: left

b

R ; a

left







USER
 c

CSTT
Tình hu
Kernel
19




D: 1) a

b
2) b

c
3) c

e
4) c

d
5) d

e

f
6) b

h
7) f

h

g

T


F
1
= { a, b, c} R
1
= { a

b, b

c}
F
2
= { e, d, f, g, h} R
2
= { d

e

f, f

h

g}
R
0
= {c

e, c

d, b


h}
F
0
= {b, c, d, b, h}


rã CSTT

eval({F
1
, F
2
})

min
- Mô hình star







a b c
c
e d

f

h g



R
1

R
0
F
0
R
2
R
4
R
0
R
1
R
2
R
3
20









- 
- 
3.3. Mô tơ suy diễn




VD: 1) a

b
2) b

c
3) c

e
4)c

d
GT = {a}
{a}
f
min {a,b} min {a,b,c} {a,b,c,d}

{a}

{a, b}

{a, b, c} {a, b, h}


{a, b, h, c}



A b
B c
C e
hed
hb
dc




ghf 

r
1
2,6 r
2
3,4,6 r
3
r
1
r
2
r
6
(3,4,6)
(3,4)




5) d

e

f
6) b

h
7) f

h

g
21




1) GT


T.Gian

T.Gian

{q}
r: left


q
r

thoa

T.Gian

KL


2) Nút
3) CUNG
T.Gian

T.Gian
T.gian = Tgian

{q}

4) Lá


Chú ý:
- 

 

C
SD trên(vecan)



C

= 0(BH)
 



{g} {f, h} {d, e, h}

{g}

{f} {h}

{d} {e} {}

{c} {c} {a}

{b}

r
r
1
f
r
5




r
7
r
6
r
4
r
3

{a}
22






C
SDlùi


C
TKsâu
= 0 (B
'
H
)
- i mà có chu trình :
* Prolog
r

1
A

B

c
r
2
A

C

B GT = {a, b, hc}
r
3
B

C

A KL = {c}
r
4
a

hc

A 
r
5
b


hc

A
 {c} {AB} {B}




- 
- 

C
LÙI

0(B
T
H
T
) 0(B
L
H
L
)

-  

R R
B
T

(GT, KL, R) B
L
(GT, KL, R)
H
T
(GT, KL, R) H
L
(GT, KL, R)
B
T
= max B
T
(GT, KL, R)

T
H
L

- B
T
- B
L


T

VD:
r
1
A

r
3
A B
r
1

r
5
r
4


23

1) a

b

C

c 9) a

b

c

P
2) a

b


ma

c 10) a

b

c

P
3) a

b

mb

c 11) a

b

c

m
c

4) A

B

C 12) a


ha

S
5) a

hc

B 13) a

b

C

S
6) b

hc

A 14) a

b

c

P

S
7) a


R

A 15) b

S

hb
8) b

R

B 16) S

p

r
F
1
= {a, b, C}

R
1
= {r
1
, r
2
}
F
2
= {a, b, m

a
}

R
2
= {r
2
}
F
3
= {a, b, m
b
}

R
3
= {r
3
}
F
4
= {A, B}

R
4
= {r
4
}
F
5

= {a, h
c
}

R
5
= {r
5
}
F
6
= {b, h
c
}

R
6
= {r
6
}
F
7
= {a, R}

R
7
= {r
7
}
F

8
= {b,R}

R
8
= {r
8
}
F
9
= {a, b, c, p}

R
9
= {r
9
, r
10
, r
11
, r
14
}
F
10
= {a, h
a
}

R

10
= {r
12
}
F
11
= {b, S}

R
11
= {r
15
}
F
12
= {S, p}

R
12
= {r
16
}

B
m
T
= max (2, 1, 4) = 4

_
T

B
=
12
16
= 1,33

24


L


C có 1
B có 2 B
L
max = 3
A có 2
_
L
B
=
10
16
= 1,6
P có 1
p có 1
m
c
có 1
S có 3

h
b
có 1
r có 1
ta Knowlegde)
1. If B
T
> B
L
Lùi
2. If B
T
> B
L

3. If B
T
= B
L



 - Rule Conflict)
1. Suy diễn tiến





q/ left


TGian} 

1

k

- Khi # THOA

2







25

: 
(max, min)




h
)

 hàm
_

h
(r) (heurestic)

Max/ min (extremum)

- # VET


- 

min
VD: (*)
Gt = {a, b, R}, Kl = {p}
{a, b, R} {a, b, R, A} {a b R A B} {a bR AB} {a b RABCc}
VET = {r
7
, r
8
, r
4
, r
1
, r
9
, r
10
, r
11
}
A B C c P



Nên theo CS Min VET = {r
7
, r
8
, r
4
, r
1
, r
9
, r
10
, r
11
} (2)
CS Max VET = {r
8
, r
7
, r
4
, r
13
, r
11
} (1)
FIFO VET = {r
7

r
8
r
4
r
11
r
13
r
9
r
10
r
11
} (3)
LIFO VET = {r
8
r
7
r
4
r
13
r
15
r
1
r
9
r

10
r
11
} (4)

{a, b, R} 





7,8
CS min r
4
r
min



r
7 8
r
8

1,13
r
1 13,9,10,11
7,8
r
7

r
8

4
r
4

1,13

26



Vd (*)












h

1
(r) =

h

1
(r: left

q)
= UL (a, K, L) = kc
FPG
(a, KL)

h

1
(r)

min
NXét: 1) f g FPG thì 

g, f

left)
f




{a,b,r}
7,8



{a b R A}
8


{a b R A B}
4

{a b R A B C}
1,13



h

1
(r
7
)=kc(A,p)=3
h

1
(r
8
)=kc(B,p)=3
h

1
(r
1
)=kc(c,p)=1

h

1
(r
13
)=kc(s,p)=


h

1
(r
9
)=kc(P,p)=


h

1
(r
10
)=kc(m
c
,p)=


h

1
(r

11
)=kc(p,p)=0
Ch r
1
Ch r
11
h
c
R

A B
C
a b
m
a
c m
b
m
c
P p


h
a
S
h
b

r

×