Chƣơng 1 đã trình bày cú pháp của chƣơng trình logic dƣơng và chƣơng trình logic thông thƣờng. Đối với chƣơng trình logic dƣơng, ngữ nghĩa của nó là mô hình nhỏ nhất, trong khi ngữ nghĩa mô hình bền vững đƣợc thiết lập cho chƣơng trình logic thông thƣờng (có chứa phép phủ định mặc định not). Các tính chất ngữ nghĩa cũng nhƣ vấn đề lập luận từ các mô hình bền vững đƣợc trình bày chi tiết cùng với các ví dụ minh họa. Trong chƣơng 2 sẽ tiếp tục tìm hiểu hƣớng mở rộng của các chƣơng trình logic thông thƣờng khi cho phép đồng thởi cả hai dạng phủ định (phủ định mặc định và phủ định mạnh) đƣợc phép xuất hiện trong các mệnh đề của chƣơng trình.
Chƣơng 2
NGỮ NGHĨA TẬP TRẢ LỜI CỦA CHƢƠNG TRÌNH LOGIC
Chƣơng 2 tiếp tục trình bày việc mở rộng về cú pháp của các chƣơng trình logic thông thƣờng và định nghĩa ngữ nghĩa tập trả lời (answer set semantics) của lớp chƣơng trình logic mở rộng này [10]. Có ba mở rộng của các chƣơng trình logic thông thƣờng để dẫn đến khái niệm lập trình tập trả lời:
(i) Ràng buộc, là các quy tắc có phần đầu rỗng, chẳng hạn:
canh(X,Y), do(X), do(Y)
để buộc các nút liền kề trong một đồ thị không đƣợc phép có màu đỏ;
(ii) Phủ định mạnh (hoặc phủ định cổ điển) ở các nguyên tố, chẳng hạn
docthan(Dung) với ý nghĩa là Dung đƣợc biết chắc chắn là độc thân;
(iii) Các quy tắc tuyển, nghĩa là cho phép tuyển () đƣợc xuất hiện trong đầu quy tắc, chẳng hạn:
nam(X) nu(X) nguoi(X) với ý nghĩa ngƣời chỉ có thể là nam hoặc nữ.
Việc mở rộng này không chỉ là một yêu cầu mà còn để có thể mã hóa các bài toán. Các chƣơng trình cho phép chứa cả phủ định mạnh và phủ định mặc định đƣợc gọi là chƣơng trình logic mở rộng (ELP – Extended Logic Program) và nếu các ELP cho phép có các quy tắc tuyển, ta nhận đƣợc lớp chƣơng trình ELP dạng tuyển và đƣợc gọi là chƣơng trình logic tuyển mở rộng (EDLP – Extended Disjunctive Logic Program).