Mục tiêu của đề tài là nghiên cứu việc mở rộng về ngữ nghĩa chương trình logic theo các cách tiếp cận trên xuống (top-down) và dưới lên (bottom-up) khi cho phép các quy tắc có chứa ký hiệu tuyển, ký hiệu phủ định và có chứa các ràng buộc. Với phương pháp nghiên cứu được thực hiện dựa trên cơ sở các tiếp cận ngữ nghĩa của chương trình logic đã có, các kết quả trong lĩnh vực lý thuyết điểm bất động, từ đó thực hiện nội dung nghiên cứu của đề tài.

Qua quá trình nghiên cứu, nhóm tác giả đã đưa ra các kết quả sau:

• Mở rộng ngữ nghĩa mô hình bền vững 3-trị trên lớp chương trình Datalog dạng tuyển.
• Xây dựng ngữ nghĩa chương trình logic có chứa ràng buộc theo kiểu tiếp cận trên xuống.
• Xây dựng ngữ nghĩa chương trình Datalog có chứa ràng buộc theo kiểu tiếp cận dưới lên.
•  Nghiên cứu ngữ nghĩa chương trình logic diễn giải và chương trình logic dạng tuyển cùng với mối quan hệ giữa các tiếp cận ngữ nghĩa này.