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 3Chương 1 CHƯƠNG TRÌNH LOGIC TỔNG QUÁT 51.1 Mở đầu . 51.2 Biểu diễn tri thức trong chương trình logic tổng quát . 121.3 Câu trảlời cho truy vấn . 171.4 Một sốngữnghĩa khác của chương trình logic tổng quát. 19Chương 2 LẬP TRÌNH LOGIC MỞRỘNG 222.1 Biểu diễn tri thức sửdụng các chương trình logic mởrộng. 262.2 Ngữnghĩa khác của chương trình logic mởrộng. 372.3 Các chương trình logic phân biệt (Disjunctive Logic Programs) . 382.3.1 Giới thiệu . 382.3.2 Biểu diễn tri thức sửdụng chương trình logic phân biệt. 422.3.3 Tìm câu trảlời cho truy vấn. 46Chương 3 MÔI TRƯỜNG LẬP TRÌNH LOGIC 503.1 Giới thiệu. 503.2 Hệthống DLV . 533.2.1 Ngôn ngữcủa môi trường DLV. 543.2.2 Cấu trúc một chương trình . 57a. Cơsởdữliệu mởrộng – EDB . 57b. 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 . 65Chi Ha(ii.1) Ràng buộc toàn vẹn 65(ii.2) Ràng buộc yếu 673.3 Gói DLV trong Java . 703.3.1 Biểu diễn dữliệu: các lớp Predicate, Literal, Modelvà Program. 703.3.2 Kiến trúc gói DLV: lớp DlvHandler. 72Chương 4 CÁC BÀI TOÁN MINH HỌA 774.1 Bài toán N quân hậu. 784.1.1 Phân tích bài toán. 784.1.2 Cài đặt. 824.2 Bài toán Cây khung nhỏnhất . 844.2.1 Mô tảbài toán . 844.2.2 Phân tích và cài đặt . 85a. Chương trình logic DLV .85b. Cài đặt trên Java . 87KẾT LUẬN 93TÀI LIỆU THAM KHẢO 95PHỤLỤC

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