tailieunhanh - Trí tuệ nhân tạo - Chương 5

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. | 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. 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. Giải thuật Đệ Qui cho TK Sâu function depthsearch current_state closed is global begin if current_state is a goal Teminating condition then return SUCCESS add current_state to closed while current_state has unexamined children begin child next unexamined child if child not member of closed Loop detection then if depthsearch child SUCCESS Recusive call then return SUCCESS end return FAIL search exhausted end Chương 5. .