Giao trinh TRÍ TUỆ NHÂN TẠO chương 4 BIỂU DIỄN BÀI TOÁN BẰNG LOGIC VÀ CÁC PHƯƠNG PHÁP CHỨNG MINH

... minh phản chứng: Bài toán Chứng minh phép suy luận (a → b) là đúng (với a là giả thiết, b là kết luận). Phản chứng: giả sử b sai suy ra ¬ b là đúng. Bài toán được chứng minh nếu a đúng và ¬ b ... phương pháp chứng minh mệnh đề (ở mục 2.1 v à 2.2) với độ phức tạp chỉ có O(n ). Bài toán Cho tập các giả thiết dưới dạng các biểu thức logic mệnh đề GT={GT 1 ,...

Ngày tải lên: 06/01/2014, 08:14

... trạng thái khác. Có hai cách dùng để biểu diễn các toán tử: - Biểu diễn như một hàm xác định trên tập các trạng thái và nhận giá trị cũng trong tập này. - Biểu diễn dưới dạng các quy tắc sản xuất ... trạng của bài toán, các tình trạng ban đầu và tình trạng cuối của bài toán gọi là trạng thái đầu và trạng thái cuối. Ví dụ 1. Bài toán đong nước Cho 2 bình...

Ngày tải lên: 06/01/2014, 08:14

... trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng. Chơng 4- Trang 4 Giả sử Đen đi trớc, ta có cây trò chơi đợc biểu diễn nh trong hình 4. 2. 4. 2 Chiến lợc Minimax Quá trình chơi cờ là quá trình Trắng và Đen ... tiên. các nhà nghiên cứu Trí Tuệ Nhân Tạo đã nghiên cứu việc chơi cờ, vì rằng máy tính chơi cờ là một bằng chứng rõ ràng về khả năng máy tính có thể làm đợc cá...

Ngày tải lên: 09/12/2013, 20:15

... thể biểu diễn việc quy một vấn đề về các vấn đề con cơ bởi các trạng thái và các toán tử. ở đây, bài toán cần giải là trạng thái ban đầu. Mỗi cách quy bài toán về các bài toán con đợc biểu diễn ... đỉnh a 1 biểu diễn tập các bài toán {d, e, f} và a 1 đợc giải quyết nếu d và e và f đợc giải quyết. Còn tại đỉnh a, ta có các toán tử R 1 , R 2...

Ngày tải lên: 09/12/2013, 15:15

... 5 Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng. Chơng II Các chiến lợc tìm kiếm kinh nghiệm Trong chơng I, chúng ta đã nghiên cứu việc biểu diễn vấn đề trong không gian trạng thái và các kỹ thuật ... và u là trạng thái ở bên trái hình 2.1, thì h 1 (u) = 4, vì các quân không đúng vị trí là 3, 8, 6 và 1. Hàm h 2 : h 2 (u) là tổng khoảng cách giữa vị trí của các...

Ngày tải lên: 09/12/2013, 20:15

... trên các câu Horn: 6 .4 Thuật toán hợp nhất 6.5 Chứng minh bằng luật phân giải 5 Các ký hiệu lợng tử: ( với mọi), ( tồn tại). Các ký hiệu ngăn cách: dấu phẩy, dấu mở ngoặc và dấu đóng ngoặc. Các ... của các câu phức hợp. Khi đã xác định đợc ngữ nghĩa của các câu đơn, ta có thể thực hiện đợc ngữ nghĩa của các câu phức hợp (đợc tạo thành từ các câu đơn bằng cách...

Ngày tải lên: 09/12/2013, 20:15

... máy. 2.1. Biểu diễn tri thức bằng logic Như ta đã nghiên cứu ở phần trước, ta có thể biểu diễn bài toán bằng các biểu thức logic (logic mệnh đề, logic vị từ) 2.2. Biểu diễn tri thức bằng mạng ... → i 4) (e+ f)b → gi 5) (¬a+ e +¬c)abc Dùng phương pháp suy diễn tiến và suy diễn lùi để chứng minh hoặc bác bỏ sự kiện i≡1. Bài tập 4 Cho cơ sở tri...

Ngày tải lên: 06/01/2014, 08:14

... 90 2. Đồ thị Và/ Hoặc 92 3. Các phương pháp tìm kiếm lời giải trên đồ thị Và/ Hoặc 94 4. Cây tìm kiếm và các đấu thủ 1 04 Chương 4. Biểu diễn bài toán bằng logic và các phương pháp chứng minh 107 ĐẠI ... lục Chương 0. Mở đầu 2 1. Tổng quan về Khoa học Trí ruệ nhân tạo 2 2. Lịch sử phát triển của Trí tuệ nhân tạo 5 3. Một số vấn đề Trí tuệ...

Ngày tải lên: 06/01/2014, 08:14

... quyết những bài toán cỡ lớn và phân tán. 1.3. Các kỹ thuật Trí tuệ nhân tạo. Có nhiều kỹ thuật nghiên cứu, phát triển ngành khoa học Trí tuệ nhân tạo. Tuy vậy, các kỹ thuật Trí tuệ nhân tạo thường ... về Trí tuệ nhân tạo phân tạo, về các mô hình tương tác. Những đặc trưng của Trí tuệ nhân tạo • Trí tuệ nhân tạo xử lý thông tin theo...

Ngày tải lên: 06/01/2014, 08:14