Môn Cơ sở trí tuệ nhân tạo Đồ án 2 Logic trong AI I Yêu cầu Nội dung Nội dung 1 (tỉ lệ điểm 50%) Sinh viên cài đặt chương trình trên ngôn ngữ C++/C#/Java/Python thực hiện chức năng đọc một tập c[.]
Mơn: Cơ sở trí tuệ nhân tạo Đồ án Logic AI I Yêu cầu Nội dung: Nội dung (tỉ lệ điểm 50%): Sinh viên cài đặt chương trình ngơn ngữ C++/C#/Java/Python thực chức đọc tập sở tri thức KB biểu diễn dạng hội chuẩn CNF (Conjunctive Normal Form) câu kết luận s từ tập tin input.txt Thực suy diễn thuật giải Robinson để kiểm tra xem s suy dẫn từ KB hay khơng Xuất chuỗi suy dẫn q trình thực thuật giải tập tin. Nội dung (tỉ lệ điểm 50%): Tìm hiểu ngơn ngữ Prolog để biểu diễn suy luận logic bậc Sử dụng cơng cụ để lập trình ngơn ngữ Prolog cho toán logic. Dạng tập: nhóm người. Thời gian: tuần Nộp bài: tất nội dung nén lại nộp moodle. II Nội dung (50%) a Tập tin input Tập tin input phải tuân theo quy định sau: Tên tập tin vị trí: “input.txt” nằm thư mục với tập tin exe Cấu trúc: Cơ sở tri thức cung cấp dạng văn Phần nội dung sở tri thức nằm từ khóa “KB” “ENDKB” Mỗi câu (mệnh đề) cho dòng dạng hội chuẩn CNF Các biến mệnh đề (literal) bắt đầu chữ thường chứa chữ chữ Mơn: Cơ sở trí tuệ nhân tạo số tên biến Các ký hiệu nối: o Phủ định: ~ (chỉ áp dụng với literal) o Nối rời (or): | (chỉ áp dụng cho câu mệnh đề cở sở tri thức) o Nối liền (and): & (chỉ áp dụng cho câu cần kiểm tra) Câu cần kiểm tra suy dẫn nằm dòng sau dòng ENDKB Lưu ý: biến mệnh đề khơng có khoảng trắng, khơng có dấu ngoặc mệnh đề b Tập tin output Tên tập tin vị trí: “mssv.txt” nằm thư mục với tập tin exe Ví dụ: Sinh viên có mã số 07K2099 output file: “07K2099.txt” Cấu trúc: Dòng 1: Viết lại câu yêu cầu kiểm tra Dòng 2: Lấy phủ định câu s, viết lại mệnh đề (KB ~s) dạng CNF Các dòng kế tiếp: thể chuỗi hợp giải (xem ví dụ), chuỗi suy diễn Dòng cuối đoạn: cho biết kết hợp giải o True: xuất hai mệnh đề đối ngẫu o False: không thấy xuất hai mệnh đề đối ngẫu tiếp tục hợp giải Ví dụ: Input.txt 07K2099.txt KB m ~p|q ~p | q, ~q | r, ~p | ~r | s, ~r | k, ~k | m, r, ~m ~q|r ~p | q, ~q | r, ~p | ~r | s, ~r | k, ~k, r ~p|~r|s ~p | q, ~q | r, ~p | ~r | s, ~r, r ~r|k True ~k|m r ENDKB m Mơn: Cơ sở trí tuệ nhân tạo c Cấu trúc thư mục Sinh viên phải dịch tập tin MSSV.exe đặt thư mục Release, toàn source code đặt thư mục Source III Nội dung (50%) - Phần tìm hiểu (20%): Sinh viên tìm hiểu ngơn ngữ Prolog liên hệ với logic bậc Kết tìm hiểu viết báo cáo với cách rõ ràng, dễ hiểu Khuyến khích hình ảnh ví dụ minh họa Báo cáo tối thiểu 10 trang A4 - Phần ứng dụng (30%): sử dụng ngôn ngữ Prolog công cụ SWI-Prolog (http://www.swi-prolog.org) Kết nộp lại gồm: o Báo cáo cách thức triển khai ngôn ngữ Prolog công cụ, chạy ví dụ minh họa (5%) o Xây dựng phả hệ cho gia đình hồng gia Anh hình sau: Sử dụng vị từ : parent(Parent,Child), male(Person), female(Person), married(Person, Person), and divorced(Person, Person) để mơ tả quan hệ hình Mơn: Cơ sở trí tuệ nhân tạo Định nghĩa vị từ sau dựa vị từ phía trên: father(Parent,Child), mother(Parent,Child), child(Child,Parent), grandparent(GP,GC), grandmother(GM,GC), son(Child,Parent), daughter(Child,Parent), grandfather(GF,GC), grandchild(GC,GP), grandson(GS,GP), granddaughter(GD,GP), spouse(Husband,Wife), husband(Person,Wife), wife(Person,Husband), sibling(Person1,Person2), brother(Person,Sibling), sister(Person,Sibling) Tương tự cho aunt, uncle, nephew, niece, firstCousin Đưa 20 câu hỏi để hỏi hệ tri thức vừa xây dựng Ví dụ: - Ai mẹ Prince Andrew? - Nữ hồn Alizabeth có phải vợ Mia Grace Tindall không? Sinh viên cần nộp code xây dựng sở tri thức tập liệu test