[TABLE="class: itemDisplayTable"]

[TD="class: metadataFieldLabel"]Nhà xuất bản:

[TD="class: metadataFieldValue"]Đại học Bách Khoa Hà Nội

[TD="class: metadataFieldLabel"]Series/Report no.:

[TD="class: metadataFieldValue"]H.

2006

114tr.

[TD="class: metadataFieldLabel"]Tóm tắt:

[TD="class: metadataFieldValue"]Luận văn này sẽ trình bày các kết quả nghiên cứu về cú pháp và ngữ nghĩa của chương trình logic, bao gồm các lập trình logic thông thường và lập trình logic mở rộng, tiếp đó sẽ đề cập môi trường lập trình logic DLV và được chạy trong mã nguồn hướng đối tượng Java, cuối cùng trình bày hai bài toán minh họa (bài toán N quân hậu và bài toán cây khung nhỏ nhất) được cài đặt trên DLV và được chạy trong mã nguồn hướng đối tượng Java

1

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

2

(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, Model và 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 9