Bài giảng Trí tuệ nhân tạo: Chương 5 - Điều khiển & cài đặt cho TK–KGTT có nội dung trình bày giải thuật tìm kiếm đệ qui, giải thuật tìm kiếm hướng mẫu, hệ thống luật sinh, kiến trúc bảng đen. | Chương 5 – Điều Khiển & Cài Đặt cho TK–KGTT Giáo viên: Trần Ngân Bình Chương 5. p. Nội Dung Giải thuật tìm kiếm đệ qui (Recursive-based search) Có thể cài đặt tìm kiếm sâu với quay lui một cách đệ qui. Kết hợp phép đồng nhất để tạo ra giải thuật TK hướng mẫu. Là cơ sở của ngôn ngữ PROLOG. Giải thuật tìm kiếm hướng mẫu (Pattern search) Cài đặt tìm kiếm trên đồ thị Và/Hoặc Tách biệt tri thức giải quyết vấn đề khỏi việc điều khiển tìm kiếm. Hệ thống luật sinh (Production system) Tìm kiếm được điều khiển theo kiểu hướng mẫu Mô phỏng quá trình giải quyết vấn đề của con người Tách biệt tri thức và điều khiển Tách biệt tri thức giải quyết vấn đề khỏi các dữ kiện bài toán cụ thể trong bộ nhớ làm việc Kiến trúc bảng đen (Blackboard architecture) Chương 5. p. Giải thuật Đệ Qui cho TK Sâu % Recusive call % Teminating condition % Loop detection Chương 5. p. Tìm Kiếm Hướng Mẫu Function pattern_search(current_goal); Begin if current_goal closed then return fail else add current_goal . | Chương 5 – Điều Khiển & Cài Đặt cho TK–KGTT Giáo viên: Trần Ngân Bình Chương 5. p. Nội Dung Giải thuật tìm kiếm đệ qui (Recursive-based search) Có thể cài đặt tìm kiếm sâu với quay lui một cách đệ qui. Kết hợp phép đồng nhất để tạo ra giải thuật TK hướng mẫu. Là cơ sở của ngôn ngữ PROLOG. Giải thuật tìm kiếm hướng mẫu (Pattern search) Cài đặt tìm kiếm trên đồ thị Và/Hoặc Tách biệt tri thức giải quyết vấn đề khỏi việc điều khiển tìm kiếm. Hệ thống luật sinh (Production system) Tìm kiếm được điều khiển theo kiểu hướng mẫu Mô phỏng quá trình giải quyết vấn đề của con người Tách biệt tri thức và điều khiển Tách biệt tri thức giải quyết vấn đề khỏi các dữ kiện bài toán cụ thể trong bộ nhớ làm việc Kiến trúc bảng đen (Blackboard architecture) Chương 5. p. Giải thuật Đệ Qui cho TK Sâu % Recusive call % Teminating condition % Loop detection Chương 5. p. Tìm Kiếm Hướng Mẫu Function pattern_search(current_goal); Begin if current_goal closed then return fail else add current_goal to closed; while còn dữ kiện hoặc luật đồng nhất do begin case - current_goal đồng nhất với dữ kiện: return tập phép thế; - current goal là ¬p: pattern_search(p); if pattern_search thất bại then return {} else return fail - current_goal đồng nhất với kết luận của luật (p ← q): begin áp dụng phép thế đồng nhất mục tiêu vào tiền đề (p); pattern_search (p); if pattern_search thành công return hợp của tập phép thế của p và q; else return fail; end; . Chương 5. p. Tìm Kiếm Hướng Mẫu - current_goal có dạng (p1 ): begin repeat cho mỗi pi pattern_search(pi); until không còn thành phần pi nào hoặc thành công; if pattern_search thành công then return {phép thế}; else return fail; end; return fail; End. - current_goal có dạng (p1 ): begin for mỗi thành phần pi do begin pattern_search(pi); if pattern_search thất bại then return fail; else áp dụng các phép thế vào các pi còn lại; end; if pattern_search thành công cho tất cả các pi then return hợp của các tập phép thế; else return fail; end; .
