Xem mẫu
- Lec 3
Giải quyết vấn đề bằng
tìm kiếm: tìm kiếm mù
TTNT. p.1
- Nội dung
◼ Biểu diễn bài toán trong Không Gian Trạng Thái
◼ Các chiến lược tìm kiếm
– Tìm kiếm mù
– Tìm kiếm kinh nghiệm (heuristic).
◼ Tìm kiếm trên không gian trạng thái:
– Tìm kiếm theo chiều rộng (breath – first search)
– Tìm kiếm theo chiều sâu (depth – first search)
– Tìm kiếm sâu bằng cách đào sâu nhiều lần (depth –
first search with iterative deepening)
◼ Sử dụng không gian trạng thái để biễu diễn suy luận
với phép tính vị từ: Đồ thị Và/Hoặc (And/Or Graph)
TTNT. p.2
- Giải quyết vấn đề bằng tìm kiếm
◼ Khi biểu diễn một vấn đề như là một đồ thị không gian
trạng thái, chúng ta có thể sử dụng lý thuyết đồ thị để
phân tích cấu trúc và độ phức tạp của các vấn đề cũng
như các thủ tục tìm kiếm. rb1
b2 b4
Riverbank1 b3
b1
4
i2
2 3 i1
1
Island1 Island 2
b6
b5 b7
5 6
7
Riverbank 2 rb2
Hệ thống cầu thành phố Konigsberg và biểu diễn đồ thị tương ứng
TTNT. p.3
- Bài toán tìm kiếm
◼ Tìm kiếm: là tìm một đối tượng thoả mãn một số đòi hỏi
nào đó, trong một tập hợp rộng lớn các đối tượng
◼ Các kỹ thuật tìm kiếm đuợc áp dụng rộng rãi trong lĩnh
vực TTNT :
– Tìm kiếm mù : không có hiểu biết gì về các đối tượng để
hướng dẫn tìm kiếm
– Tìm kiếm kinh nghiệm (heuristic) : dựa vào kinh nghiệm và
hiểu biết về vấn đề cần giải quyết để xây dựng hàm đánh giá
hướng dẫn sự tìm kiếm.
• Tìm kiếm tối ưu
• Tìm kiếm có đối thủ : tìm kiếm nước đi trong các trò chơi hai người (cờ
vua, cờ tướng,...)
TTNT. p.4
- Không gian trạng thái
◼ Không gian tìm kiếm : bao gồm tất cả các đối tượng mà ta cần quan tâm tìm
kiếm (có thể là không gian liên tục (không gian các véc tơ thực n chiều) hoặc
không gian các đối tượng rời rạc.
◼ Toán tử : mô tả hành động hoặc phép biến đổi để đưa một trạng thái tới trạng
thái khác
Ví dụ : Bài toán tìm đường đi : các con đường nối các thành phố sẽ được biểu
diễn bởi các toán tử --->Giải bài toán bằng tìm một dãy các toán tử để đưa
trạng thái ban đầu (điểm xuất phát) về trạng thái kết thúc (điểm đích)
◼ Biểu diễn một bài toán trong không gian trạng thái, cần xác định các yếu tố :
+ Trạng thái ban đầu
+ Một tập hợp các toán tử
+ Một tập hợp các trạng thái kết thúc (trạng thái đích).
→Không gian trạng thái có thể được biểu diễn bởi một đồ thị có hướng: mỗi đỉnh
của đồ thị tương đương với một trạng thái, nếu toán tử R biến đổi trạng thái u
thành trạng thái v thì cung (u,v) được gán nhãn R
TTNT. p.5
- Một phần KGTT triển khai
trong Tic-tac-toe
Đồ thị có hướng không
lặp (directed acyclic
graph - DAG)
TTNT. p.6
- Trò đố 8 ô hay 15 ô
Trạng thái ban đầu Trạng thái đích
◼ Trò đố
11 14 4 7 1 2 3 4
15 ô 10 6 5 12 13 14 5
1 2 13 15 11 15 6
9 12 8 3 10 9 8 7
◼ Trò đố 2 8 1 2 3
3 5 7 8 4
8ô 6 2 1 7 6 5
◼ Cần biểu diễn KGTT cho bài toán này như thế
nào?
TTNT. p.7
- KGTT của 8-puzzle sinh ra bằng phép
“di chuyển ô trống”
Có khả năng xảy ra
vòng lặp không?
TTNT. p.8
- Một ví dụ của bài toán TSP
◼ Cần biểu diễn KGTT cho bài toán này như thế
nào?
TTNT. p.9
- KGTT của bài toán TSP
Mỗi cung được
đánh dấu bằng
tổng giá của con
đường từ nút bắt
đầu đến nút hiện
tại.
TTNT. p.10
- Cây tìm kiếm
◼ Quá trình tìm kiếm được xem như quá trình xây
dựng cây tìm kiếm.
◼ Cây tìm kiếm:
– Gốc = trạng thái ban đầu
– Đỉnh = trạng thái của không gian trạng thái
A A
D D
B B C
C F
F I G E F C
I E
K
G G K K E F
G K
G K K
Đồ thị không gian trạng thái Cây tìm kiếm TTNT. p.11
- Các chiến lược tìm kiếm
◼ Tìm kiếm mù: không có sự hướng dẫn nào cho
tìm kiếm, chỉ phát triển các trạng thái ban đầu
cho tới khi gặp một trạng thái đích nào đó.
◼ Tìm kiếm kinh nghiệm (heuristic): tìm kiếm dựa
vào hiểu biết về các vấn đề, dựa vào kinh
nghiệm, trực giác để đánh giá các trạng thái
TTNT. p.12
- Tìm kiếm theo bề rộng
◼ Trạng thái chọn để phát triển là trạng thái được sinh ra trước các
trạng thái chờ phát triển khác
◼ Thuật toán:
Procedure Breadth_first_Search;
begin
1. Khởi tạo dsách L chỉ chứa trạng thái ban đầu;
2. Loop do
2.1 if L rỗng then {thông báo tìm kiếm thất bại; stop};
2.2 Loại trạng thái u đầu danh sách L;
2.3 if u là trạng thái kết thúc then
{thông báo tìm kiếm thành công; stop};
2.4 for mỗi trạng thái v kề u do
{Đặt v vào cuối danh sách L;
father(v) u};
end;
TTNT. p.13
- Đánh giá thuật toán
◼ Danh sách L được xử lý như hàng đợi
◼ Nếu bài toán có nghiệm (tồn tại đường đi từ trạng
thái ban đầu tới trạng thái đích) thì thuật toán sẽ
tìm ra nghiệm và đường đi là ngắn nhất.
◼ Nếu bài toán vô nghiệm, không gian trạng thái hữu
hạn, thuật toán dừng và thông báo vô nghiệm.
◼ Gọi b là nhân tố nhánh, nghiệm của bài toán là
đường đi có độ dài d, độ phức tạp O(bd).
TTNT. p.14
- Tìm kiếm theo độ sâu
◼ Trạng thái chọn phát triển là trạng thái được sinh ra sau cùng.
◼ Thuật toán:
Procedure Depth_first_Search;
begin
1. Khởi tạo dsách L chỉ chứa trạng thái ban đầu;
2. Loop do
2.1 if L rỗng then {thông báo tìm kiếm thất bại; stop};
2.2 Loại trạng thái u đầu danh sách L;
2.3 if u là trạng thái kết thúc then
{thông báo tìm kiếm thành công; stop};
2.4 for mỗi trạng thái v kề u do
{Đặt v vào đầu danh sách L;
father(v) u};
end;
TTNT. p.15
- Đánh giá thuật toán
◼ Nếu bài toán có nghiệm, không gian trạng thái
hữu hạn thì thuật toán sẽ tìm ra nghiệm. Nếu
không gian trạng thái vô hạn thì có thể không tìm
ra nghiệm→ không nên dùng thuật toán này với
bài toán có cây tìm kiếm chứa các nhánh vô hạn.
◼ Nghiệm bài toán là đường đi có độ dài d, cây tìm
kiếm có nhân tố nhánh b, độ phức tạp trong
trương hợp tồi nhất O(bd), độ phức tạp không
gian là O(db).
TTNT. p.16
- Các chiến lược cho TK-KGTT
◼ TK hướng từ dữ liệu (Data-driven Search)
– Suy diễn tiến (forward chaining)
◼ TK hướng từ mục tiêu (Goal-driven Search)
– Suy diễn lùi (backward chaining)
TTNT. p.17
- TK hướng từ dữ liệu
◼ Việc tìm kiếm đi từ
dữ liệu đến mục tiêu
◼ Thích hợp khi:
– Tất cả hoặc một phần dữ liệu được cho từ đầu.
– Có nhiều mục tiêu, nhưng chỉ có một số ít các phép toán có thể
áp dụng cho một trạng thái bài toán.
– Rất khó đưa ra một mục tiêu hoặc giả thuyết ngay lúc đầu.
TTNT. p.18
- TK hướng từ mục tiêu
◼ Việc tìm kiếm đi từ
mục tiêu trở về
dữ liệu.
◼ Thích hợp khi:
– Có thể đưa ra mục tiêu hoặc giả thuyết ngay lúc đầu.
– Có nhiều phép toán có thể áp dụng trên 1 trạng thái của bài
toán => sự bùng nổ số lượng các trạng thái.
– Các dữ liệu của bài toán không được cho trước, nhưng hệ
thống phải đạt được trong quá trình tìm kiếm.
TTNT. p.19
- Các phương pháp tìm kiếm trên đồ thị
KGTT:
Phát triển từ giải thuật quay lui (back –
tracking):
◼ Tìm kiếm rộng (breath-first search)
◼ Tìm kiếm sâu (depth-first search)
◼ TK sâu bằng cách đào sâu nhiều lần (depth-first
search with iterative deepening)
TTNT. p.20
nguon tai.lieu . vn