Đang chuẩn bị liên kết để tải về tài liệu:
Giáo trình Trí tuệ nhân tạo - Phần 2: Biểu diễn tri thức và lập luận

Giáo trình Trí tuệ nhân tạo - Phần 2: Biểu diễn tri thức và lập luận, Phần này đề cập đến các ngôn ngữ biểu diễn tri thức, đặc biệt là các logic và các phương pháp luận trong mỗi ngôn ngữ biểu diễn tri thức. Các kỹ thuật biểu diễn tri thức và lập luận đóng vai trò quan trọng trong việc thiết kế các hệ thông minh. Mời các bạn cùng tham khảo! | h a n g e Vi h a n g e Vi XC e XC e F- w F- w PD PD er er W W O O N N y y bu bu to to Phần II. TRI THỨC VÀ LẬP LUẬN 1 k k lic lic C C w w m m w w w w o o .d o . c .d o .c c u -tr ack c u -tr a c k MỤC LỤC Trang LỜI NÓI ĐẦU.6 NHẬP MÔN.8 PHẦN I GIẢI QUYẾT VẤN ĐỀ BẰNG TÌM KIẾM Chương 1. CÁC CHIẾN THUẬT TÌM KIẾM MÙ.16 1.1. Biểu diễn vấn đề trong không gian trạng thái.16 1.2. Các chiến lược tìm kiếm.19 1.3. Các chiến lược tìm kiếm mù.22 1.3.1. Tìm kiếm theo bề rộng.22 1.3.2. Tìm kiếm theo độ sâu.24 1.3.3. Các trạng thái lặp.25 1.3.4. Tìm kiếm sâu lặp.26 1.4. Quy vấn đề về các vấn đề con. Tìm kiếm trên đồ thị và hoặc.27 1.4.1. Quy vấn đề về các vấn đề con.27 1.4.2. Đồ thị và hoặc.30 1.4.3. Tìm kiếm trên đồ thị và hoặc.34 Chương 2. CÁC CHIẾN LƯỢC TÌM KIẾM KINH NGHIỆM.36 2.1. Hàm đánh giá và tìm kiếm thiếu kinh nghiệm.36 2.2. Tìm kiếm tốt nhất - đầu tiên.37 2.3. Tìm kiếm leo đồi.40 2.4. Tìm kiếm BEAM.41 h a n g e Vi h a n g e Vi XC e XC e F- w F- w PD PD er er W W O O N N y y bu bu to to Phần II. TRI THỨC VÀ LẬP LUẬN 2 k k lic lic C C w w m m w w w w o o .d o . c .d o .c c u -tr ack c u -tr a c k Chương 3. CÁC CHIẾN LƯỢC TÌM KIẾM TỐI ƯU.42 3.1. Tìm đường đi ngắn nhất.42 3.1.1. Thuật toán A .44 3.1.2. Thuật toán tìm kiếm nhánh và cận.46 3.2. Tìm đối tượng tốt nhất.48 3.2.1. Tìm kiếm leo đồi.49 3.2.2. Tìm kiếm gradient.50 3.2.3. Tìm kiếm mô phỏng luyện kim.50 3.3. Tìm kiếm mô phỏng sự tiến hoá. Thuật toán di truyền.52 Chương 4. TÌM KIẾM CÓ ĐỐI THỦ.58 4.1. Cây trò chơi và tìm kiếm trên cây trò chơi.58 4.2. Chiến lược Minimax.60 4.3. Phương pháp cắt cụt alpha beta.64 PHẦN II TRI THỨC VÀ LẬP LUẬN Chương 5. LOGIC MỆNH ĐỀ.69 5.1. Biểu diễn tri thức.69 5.2. Cú pháp và ngữ nghĩa của logic mệnh đề.71 5.2.1. Cú pháp.71 5.2.2. Ngữ nghĩa.72 5.3. Dạng chuẩn tắc.74 5.3.1. Sự tương đương của các công thức.74 5.3.2. Dạng chuẩn tắc.75 5.3.3. Các câu Horn.76 5.4. Luật suy diễn.77 5.5. Luật phân giải chứng minh bác bỏ bằng luật phân giải.80 h a n g e Vi h a n g e Vi XC e XC e F- w F- w PD PD