tailieunhanh - 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 NHẬP 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 . Biểu diễn vấn đề trong không gian trạng . Các chiến lược tìm . Các chiến lược tìm kiếm . Tìm kiếm theo bề . Tìm kiếm theo độ . Các trạng thái . Tìm kiếm sâu . Quy vấn đề về các vấn đề con. Tìm kiếm trên đồ thị và . Quy vấn đề về các vấn đề . Đồ thị và . Tìm kiếm trên đồ thị và Chương 2. CÁC CHIẾN LƯỢC TÌM KIẾM KINH . Hàm đánh giá và tìm kiếm thiếu kinh . Tìm kiếm tốt nhất - đầu . Tìm kiếm leo . Tìm kiếm 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 . Tìm đường đi ngắn . Thuật toán A .44 . Thuật toán tìm kiếm nhánh và . Tìm đối tượng tốt . Tìm kiếm leo . Tìm kiếm . Tìm kiếm mô phỏng luyện . Tìm kiếm mô phỏng sự tiến hoá. Thuật toán di Chương 4. TÌM KIẾM CÓ ĐỐI . Cây trò chơi và tìm kiếm trên cây trò . Chiến lược . Phương pháp cắt cụt alpha PHẦN II TRI THỨC VÀ LẬP LUẬN Chương 5. LOGIC MỆNH . Biểu diễn tri . Cú pháp và ngữ nghĩa của logic mệnh . Cú . Ngữ . Dạng chuẩn . Sự tương đương của các công . Dạng chuẩn . Các câu . Luật suy . Luật phân giải chứng minh bác bỏ bằng luật phân h a n g e Vi h a n g e Vi XC e XC e F- w F- w PD PD