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ƯƠNGPHÁ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={GT1, GT2, GTn}. Hãy chứng minh tập ... d (Res 2A, 4) 9. ¬b ∨ ¬c (Res 2C, 5)10. c (Res 3, 7A)11. ¬c (Res 4, 9A)Mâu thuẫn giữa 10 và 11. Chứng minh xong.2.3. Chứng minh bằng luật phân giải trên logic vị từTrong phần logic mệnh...

41
2,558
1

Giao trinh TRÍ TUỆ NHÂN TẠO chương 1 BIỂU DIỄN BÀI TOÁNTRONG KHÔNG GIAN TRẠNG THÁI

... 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ướcCho 2 bình có dung tích lần lượt là m và n (lit). ... đi5.3. Biểu diễn đồ thịCho đồ thị G = (V,E) , giả sử V={1, 2, ,n}. Có hai cách thường dùng để biểu diễn đồ thị G lưu trữ trong máy tính.i) Biểu diễn bằng ma trận kềĐồ thị G được biểu diễn bởi...

11
4,033
8

Tài liệu Giáo trình trí tuệ nhân tạo- chương 4-TÌM KIẾM CÓ ĐỐI THỦ pptx

... 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 MinimaxQuá 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ứuviệ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ăngmáy tính có thể làm đợc các công việc đòi hỏi trí thông minh ... trong các giá trị của các đỉnh con. Còn nếu v là đỉnh Đen thì giá trịcủa nó là giá trị nhỏ nhất trong các giá trị của các đỉnh con.Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng.Chơng 4- Trang...

Tài liệu Giáo trình Trí Tuệ Nhân Tạo -chương 1- GIẢI QUYẾT VẤN ĐỀ BẰNG TÌM KIẾM ppt

... thể biểu diễn việc quy một vấn đề về các vấn đề con cơ bởi các trạngthá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 a1 biểu diễn tập các bài toán {d, e, f} và a1 đợc giải quyếtnếu d và e và f đợc giải quyết. Còn tại đỉnh a, ta có các toán tử R1, R2, R3 quy bài toán a về các bài toán con khác ... tử quy một bài toán về một số bài toán con, chẳng hạn R : ab, c, d ta đa vào một đỉnh mới a1, đỉnh này biểu diễn tập các bài toán con {b, c, d} và toán tử R : a b, c, d đợc biểu diễn bởi đồ...

14
2,866
38

Tài liệu Giáo trình trí tuệ nhân tạo- chương 2-CÁC CHIẾN LƯỢC TÌM KIẾM KINH NGHIỆM pptx

... 5Giá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ì h1(u) = 4, vì các quân không đúng vị trí là 3, 8, 6 và 1.Hàm h2: h2(u) là tổng khoảng cách giữa vị trí của các quân trong trạng thái u và ... số ví dụ về hàm đánh giá:Chơng 2 - Trang 1Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng. Trong bài toán tìm kiếm đờng đi trên bản đồ giao thông, ta có thể lấy độ dài của đờng chim bay từ một...

5
1,145
18

Tài liệu Giáo trình trí tuệ nhân tạo- chương 6- Logic vị từ cấp một pptx

... trên các câu Horn:6 .4 Thuật toán hợp nhất6.5 Chứng minh bằng luật phân giải5 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 liên kết các câu đơn bởi các ... là một câu đơn. Các công thứcTừ công thức phần tử, sử dụng các kết nối logic và các lợng tử, ta xây dựng nên các côngthức (các câu). Các công thức đợc xác định đệ quy nh sau: Các công thức phân...

5
1,856
18

Giao trinh TRÍ TUỆ NHÂN TẠO chương 5 TRI THỨC VÀ CÁC PHƯƠNG PHÁP SUY DIỄN

... 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 → gi5) (¬a+ e +¬c)abcDù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 thức được biểu diễn bằng các biểu thức logic ... dạng luật sản xuất và 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 s≡1. Bài tập 3. Cho cơ sở tri thức được biểu diễn bằng các biểu thức logic đúng sau1) (a+c)b...

15
2,504
12

Giao trinh Giao trinh Giao trinh TRÍ TUỆ NHÂN TẠO chương gioi thieu

... 902. Đồ thị Và/ Hoặc 923. 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 21. Tổng quan về Khoa học Trí ruệ nhân tạo 22. Lịch sử phát triển của Trí tuệ nhân tạo 53. Một số vấn đề Trí tuệ nhân tạo quan tâm 8 4. Các khái niêm cơ bản 10 Chương 1. Biểu ... Một số giải thuật chứng minh 1303. Ví dụ và bài tập 138 Chương 5. Tri thức và các phương pháp suy diễn 148 1. Tri thức và dữ liệu 148 2. Các dạng mô tả tri thức 149 3. Suy diễn trên luật sản xuất...

5
1,145
18

Giao trinh Giao trinh Giao trinh TRÍ TUỆ NHÂN TẠO chương 0

... 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 trật tự ký hiệu. Các thông tin gồm: khái niệm, luật, các ... 90, các nghiên cứu nhằm vào cài đặt thành phần thông minh trong các hệ thống thông tin, gọi chung là cài đặt trí tuệ nhân tạo, làm rõ hơn các ngành của khoa học Trí tuệ nhân tạo và tiến hành các...

10
1,094
10

Xem thêm