High Quality
Open the downloaded document, and select print from the file menu (PDF reader required).
Ch
ươ
ng 3:
Tìm ki
ế
m Trong Không Gian Tr
ạ
ng Thái
Ch
ươ
ng IIICÁC C
Ấ
U TRÚC VÀ CHI
Ế
N L
ƯỢ
CDÙNG CHO VI
Ệ
C TÌM KI
Ế
M TRONGKHÔNG GIAN TR
Ạ
NG THÁI
N
ộ
i dung chính :
Trong ch
ươ
ng này, chúng ta gi
ớ
i thi
ệ
u v
ề
lý thuy
ế
t c
ủ
a vi
ệ
c tìm ki
ế
mtrong không gian tr
ạ
ng thái.
Để
thi
ế
t k
ế
và th
ự
c hi
ệ
n thành công các thu
ậ
t toán tìm ki
ế
m,ng
ườ
i l
ậ
p trình ph
ả
i có kh
ả
n
ă
ng phân tích và d
ự
đ
oán hành vi c
ủ
a chúng. Lý thuy
ế
t tìmki
ế
m trong không gian tr
ạ
ng thái (state space search) là công c
ụ
c
ơ
b
ả
n
để
gi
ả
i quy
ế
t v
ấ
n
đề
này. N
ộ
i dung ch
ươ
ng III s
ẽ
trình bày
đị
nh ngh
ĩ
a v
ề
không gian tr
ạ
ng thái, gi
ớ
i thi
ệ
u m
ộ
t s
ố
các ví d
ụ
minh h
ọ
a vi
ệ
c mô t
ả
v
ấ
n
đề
dùng lý thuy
ế
t
đồ
th
ị
, nêu ra hai h
ướ
ng tìm ki
ế
m trongkhông gian tr
ạ
ng thái (h
ướ
ng d
ữ
li
ệ
u và h
ướ
ng m
ụ
c tiêu) và t
ậ
p trung phân tích các chi
ế
nl
ượ
c ch
ủ
y
ế
u dùng cho vi
ệ
c tìm ki
ế
m trên không gian tr
ạ
ng thái
đồ
th
ị
nh
ư
: tìm ki
ế
m r
ộ
ng,tìm ki
ế
m sâu, tìm ki
ế
m sâu
đ
ào sâu nhi
ề
u l
ầ
n, … Ph
ầ
n cu
ố
i ch
ươ
ng c
ũ
ng
đề
c
ậ
p
đế
n vi
ệ
cdùng không gian tr
ạ
ng thái
để
bi
ể
u di
ễ
n quá trình suy lu
ậ
n b
ằ
ng phép tính v
ị
t
ừ
trên
đồ
th
ị
AND/OR.
M
ụ
c tiêu c
ầ
n
đạ
t :
Sau ch
ươ
ng này, sinh viên có th
ể
:
V
ậ
n d
ụ
ng lý thuy
ế
t
đồ
th
ị
để
xây d
ự
ng mô hình toán cho m
ộ
t bài toán c
ụ
th
ể
.
V
ậ
n d
ụ
ng các chi
ế
n l
ượ
c tìm ki
ế
m
V
ậ
n d
ụ
ng
đồ
th
ị
AND/OR
để
bi
ể
u di
ễ
n quá trình suy lu
ậ
n trên không gian tr
ạ
ng tháic
ủ
a m
ộ
t h
ệ
logic.
Ki
ế
n th
ứ
c tiên quy
ế
t
: Lý thuy
ế
t
đồ
th
ị
, Các thu
ậ
t toán tìm ki
ế
m trên
đồ
th
ị
, Logic hìnhth
ứ
c, …
Tài li
ệ
u tham kh
ả
o :[1]
George F. Luger, William A. Stubblefield – Albuquerque –
Artificial Intelligence
– Wesley Publishing Company, Inc – 1997
(Chapter3)
[2]
Bùi Xuân To
ạ
i – Tr
ươ
ng Gia Vi
ệ
t (Biên d
ị
ch) –
Trí tu
ệ
nhân t
ạ
o – Các c
ấ
u trúcvà chi
ế
n l
ượ
c gi
ả
i quy
ế
t v
ấ
n
đề
-
NXB Th
ố
ng kê, 2000 (Ph
ầ
n II)
[3]
Wikipedia – Bách khoa toàn th
ư
m
ở
-
Lý thuy
ế
t
đồ
th
ị
[4]
Lecture note for February 15, 1996-ICS 161: Design and Analysis of Algorithm –
BFS và DFS
Võ Hu
ỳ
nh Trâm – Tr
ầ
n Ngân Bình
43
Giáo Trình Trí Tu
ệ
Nhân T
ạ
o
I
M
Ở
ĐẦ
U
B
ằ
ng cách bi
ể
u di
ễ
n bài toán d
ướ
i d
ạ
ng
đồ
th
ị
không gian tr
ạ
ng thái
(state space graph),chúng ta có th
ể
dùng lý thuy
ế
t
đồ
th
ị
(graph theory)
để
phân tích c
ấ
u trúc và
độ
ph
ứ
c t
ạ
p c
ủ
a bài toán này l
ẫ
n các th
ủ
t
ụ
c dùng
để
gi
ả
i quy
ế
t nó.M
ộ
t
đồ
th
ị
s
ẽ
bao g
ồ
m m
ộ
t s
ố
nút
(node) và m
ộ
t s
ố
cung
(arc), hay còn g
ọ
i là liên k
ế
t (link),n
ố
i gi
ữ
a các c
ặ
p nút. Trong mô hình không gian tr
ạ
ng thái c
ủ
a bài toán, các nút c
ủ
a
đồ
th
ị
đượ
c dùng
để
bi
ể
u di
ễ
n các tr
ạ
ng thái r
ờ
i r
ạ
c trong quá trình
đ
ó, nh
ư
các k
ế
t qu
ả
c
ủ
a nh
ữ
ngsuy di
ễ
n logic hay các c
ấ
u hình c
ủ
a m
ộ
t b
ả
ng trò ch
ơ
i ch
ẳ
ng h
ạ
n. Còn các cung thì bi
ể
u di
ễ
ns
ự
chuy
ể
n ti
ế
p gi
ữ
a các tr
ạ
ng thái
đ
ó. Nh
ữ
ng chuy
ể
n ti
ế
p này t
ươ
ng
ứ
ng v
ớ
i các b
ướ
c suydi
ễ
n logic ho
ặ
c các di chuy
ể
n h
ợ
p lu
ậ
t c
ủ
a m
ộ
t trò ch
ơ
i.Lý thuy
ế
t
đồ
th
ị
là m
ộ
t công c
ụ
t
ố
t nh
ấ
t c
ủ
a chúng ta trong vi
ệ
c suy lu
ậ
n v
ề
c
ấ
u trúc c
ủ
a các
đố
i t
ượ
ng và các m
ố
i quan h
ệ
. Th
ậ
t v
ậ
y,
đ
ây c
ũ
ng chính là m
ộ
t trong nh
ữ
ng nguyên nhând
ẫ
n
đế
n s
ự
sáng t
ạ
o ra nó vào th
ờ
i k
ỳ
đầ
u th
ế
k
ỷ
XVIII. Nhà toán h
ọ
c ng
ườ
i Áo Leonhard Euler
đ
ã phát minh ra lý thuy
ế
t
đồ
th
ị
để
gi
ả
i quy
ế
t “bàitoán các cây c
ầ
u c
ủ
a Konigsberg”. Thành ph
ố
Konigsberg n
ằ
m trên c
ả
hai b
ờ
và hai hòn
đả
oc
ủ
a m
ộ
t con sông. Ng
ườ
i ta n
ố
i các
đả
o và hai b
ờ
sông v
ớ
i nhau b
ằ
ng b
ả
y chi
ế
c c
ầ
u nh
ư
hình 3.1
B
ờ
sông 1
B
ờ
sông2
Đả
o
1
Đả
o212 35647
Hình 3.1 -
Bi
ể
u di
ễ
n không gian tr
ạ
ng thái h
ệ
th
ố
ng c
ầ
u thành ph
ố
Konigsberg
Bài toán Konigsberg
đặ
t câu h
ỏ
i là li
ệ
u có th
ể
đ
i kh
ắ
p thành ph
ố
mà ch
ỉ
ngang qua m
ỗ
i câyc
ầ
u m
ộ
t l
ầ
n hay không? M
ặ
c dù nh
ữ
ng ng
ườ
i dân
ở
đ
ây không ai tìm
đượ
c l
ố
i
đ
i nào nh
ư
v
ậ
y, nh
ư
ng h
ọ
v
ẫ
n nghi ng
ờ
là có th
ể
,
đồ
ng th
ờ
i c
ũ
ng không ai ch
ứ
ng minh
đượ
c là không cókh
ả
n
ă
ng. Nh
ờ
phát minh d
ạ
ng lý thuy
ế
t
đồ
th
ị
, Euler
đ
ã t
ạ
o ra cách bi
ể
u di
ễ
n ph
ươ
ng án l
ự
ach
ọ
n cho b
ả
n
đồ
thành ph
ố
nh
ư
trên hình 3.244
Võ Hu
ỳ
nh Trâm – Tr
ầ
n Ngân Bình
Ch
ươ
ng 3:
Tìm ki
ế
m Trong Không Gian Tr
ạ
ng Thái
đ
1
đ
2bs1bs2
c2c3c1c6c5c7c4
Hình 3.2 -
Đồ
th
ị
c
ủ
a h
ệ
th
ố
ng c
ầ
u Konigsberg
Các b
ờ
sông (bs1 và bs2) và các hòn
đả
o (
đ
1 và
đ
2)
đề
u
đượ
c mô t
ả
b
ằ
ng các nút c
ủ
a
đồ
th
ị
;còn các cây c
ầ
u
đượ
c bi
ể
u di
ễ
n b
ằ
ng các cung có
đ
ánh d
ấ
u n
ố
i gi
ữ
a các nút (c1, c2, ..., c7).
Đồ
th
ị
này bi
ể
u di
ễ
n c
ấ
u trúc b
ả
n ch
ấ
t c
ủ
a h
ệ
th
ố
ng c
ầ
u, b
ỏ
qua các
đặ
c tr
ư
ng ph
ụ
khác nh
ư
kho
ả
ng cách và h
ướ
ng ch
ẳ
ng h
ạ
n.
Câu h
ỏ
i :
Chu trình Hamilton là con
đườ
ng s
ử
d
ụ
ng t
ấ
t c
ả
các nút c
ủ
a
đồ
th
ị
đ
úng m
ộ
t l
ầ
n ?B
ạ
n ngh
ĩ
có t
ồ
n t
ạ
i m
ộ
t con
đườ
ng nh
ư
v
ậ
y trong
đồ
th
ị
h
ệ
th
ố
ng c
ầ
u Konigsberg ?
ĐỊ
NH NGH
Ĩ
A TÌM KI
Ế
M TRONG KHÔNG GIAN TR
Ạ
NG THÁI
M
ộ
t không gian tr
ạ
ng thái (state space)
đượ
c bi
ể
u di
ễ
n b
ằ
ng m
ộ
t nhóm g
ồ
m b
ố
n y
ế
u t
ố
[N,A, S, GD], trong
đ
ó: N (node) là t
ậ
p h
ợ
p các nút hay các tr
ạ
ng thái c
ủ
a
đồ
th
ị
. T
ậ
p này t
ươ
ng
ứ
ng v
ớ
i các tr
ạ
ngthái trong quá trình gi
ả
i bài toán.A (arc) là t
ậ
p các cung (hay các liên k
ế
t) gi
ữ
a các nút. T
ậ
p này t
ươ
ng
ứ
ng v
ớ
i các b
ướ
c trongquá trình gi
ả
i bài toán.S (Start) là m
ộ
t t
ậ
p con không r
ỗ
ng c
ủ
a N, ch
ứ
a (các) tr
ạ
ng thái ban
đầ
u c
ủ
a bài toán.GD (Goal Description) là m
ộ
t t
ậ
p con không r
ỗ
ng c
ủ
a N, ch
ứ
a (các) tr
ạ
ng thái
đ
ích c
ủ
a bàitoán. Các tr
ạ
ng thái trong GD
đượ
c mô t
ả
theo m
ộ
t trong hai
đặ
c tính:1.
Đặ
c tính có th
ể
đ
o l
ườ
ng
đượ
c các tr
ạ
ng thái g
ặ
p trong quá trình tìm ki
ế
m.2.
Đặ
c tính c
ủ
a
đườ
ng
đ
i
đượ
c hình thành trong quá trình tìm ki
ế
m.
Đườ
ng
đ
i c
ủ
a l
ờ
i gi
ả
i (solution path) là
đườ
ng
đ
i qua
đồ
th
ị
này t
ừ
m
ộ
t nút trong S
đế
n m
ộ
tnút trong GD.
Võ Hu
ỳ
nh Trâm – Tr
ầ
n Ngân Bình
45
Add a Comment
huongitleft a comment