Nghiên cứu các phương pháp biểu diễn tri thức trong lập trình logic

Download miễn phí Luận văn Nghiên cứu các phương pháp biểu diễn tri thức trong lập trình logic



MỤC LỤC
MỞ ĐẦU 3
Chương 1 CHƯƠNG TRÌNH LOGIC TỔNG QUÁT 5
1.1 Mở đầu . 5
1.2 Biểu diễn tri thức trong chương trình logic tổng quát . 12
1.3 Câu trảlời cho truy vấn . 17
1.4 Một sốngữnghĩa khác của chương trình logic tổng quát. 19
Chương 2 LẬP TRÌNH LOGIC MỞRỘNG 22
2.1 Biểu diễn tri thức sửdụng các chương trình logic mởrộng. 26
2.2 Ngữnghĩa khác của chương trình logic mởrộng. 37
2.3 Các chương trình logic phân biệt (Disjunctive Logic Programs) . 38
2.3.1 Giới thiệu . 38
2.3.2 Biểu diễn tri thức sửdụng chương trình logic phân biệt. 42
2.3.3 Tìm câu trảlời cho truy vấn. 46
Chương 3 MÔI TRƯỜNG LẬP TRÌNH LOGIC 50
3.1 Giới thiệu. 50
3.2 Hệthống DLV . 53
3.2.1 Ngôn ngữcủa môi trường DLV. 54
3.2.2 Cấu trúc một chương trình . 57
a. Cơsởdữliệu mởrộng – EDB . 57
b. Cơsởdữliệu cơbản – IDB. 58
(i) Luật . 58
(i.1) Luật ngầm định 59
(i.2) Luật phân biệt 61
(i.3) Luật phủ định 62
(ii) Ràng buộc . 65
Chi Ha(ii.1) Ràng buộc toàn vẹn 65
(ii.2) Ràng buộc yếu 67
3.3 Gói DLV trong Java . 70
3.3.1 Biểu diễn dữliệu: các lớp Predicate, Literal, Modelvà Program. 70
3.3.2 Kiến trúc gói DLV: lớp DlvHandler. 72
Chương 4 CÁC BÀI TOÁN MINH HỌA 77
4.1 Bài toán N quân hậu. 78
4.1.1 Phân tích bài toán. 78
4.1.2 Cài đặt. 82
4.2 Bài toán Cây khung nhỏnhất . 84
4.2.1 Mô tảbài toán . 84
4.2.2 Phân tích và cài đặt . 85
a. Chương trình logic DLV .85
b. Cài đặt trên Java . 87
KẾT LUẬN 93
TÀI LIỆU THAM KHẢO 95
PHỤLỤC




Do Drive thay đổi chính sách, nên một số link cũ yêu cầu duyệt download. các bạn chỉ cần làm theo hướng dẫn.
Password giải nén nếu cần: ket-noi.com | Bấm trực tiếp vào Link để tải:

Ai cần download tài liệu gì mà không tìm thấy ở đây, thì đăng yêu cầu down tại đây nhé:
Nhận download tài liệu miễn phí