MỤC LỤC

MỞ ĐẦU
Chương 1: CHƯƠNG TRÌNH LOGIC TỔNG QUÁT
1.1 Mở đầu
1.2 Biểu diễn tri thức trong chương trình logic tổng quát
1.3 Câu trả lời cho truy vấn
1.4 Một số ngữ nghĩa khác của chương trình logic tổng quát
Chương 2: LẬP TRÌNH LOGIC MỞ RỘNG
2.1 Biểu diễn tri thức sử dụng các chương trình logic mở rộng
2.2 Ngữ nghĩa khác của chương trình logic mở rộng
2.3 Các chương trình logic phân biệt (Disjunctive Logic Programs)
2.3.1 Giới thiệu
2.3.2 Biểu diễn tri thức sử dụng chương trình logic phân biệt
2.3.3 Tìm câu trả lời cho truy vấn
Chương 3: MÔI TRƯỜNG LẬP TRÌNH LOGIC
3.1 Giới thiệu
3.2 Hệ thống DLV
3.2.1 Ngôn ngữ của môi trường DLV
3.2.2 Cấu trúc một chương trình
3.3 Gói DLV trong Java
3.3.1 Biểu diễn dữ liệu: các lớp Predicate, Literal, Model và Program
3.3.2 Kiến trúc gói DLV: lớp DlvHandler
Chương 4: CÁC BÀI TOÁN MINH HỌA
4.1 Bài toán N quân hậu
4.1.1 Phân tích bài toán
4.1.2 Cài đặt
4.2 Bài toán Cây khung nhỏ nhất
4.2.1 Mô tả bài toán
4.2.2 Phân tích và cài đặt
KẾT LUẬN
TÀI LIỆU THAM KHẢO

PHỤ LỤC