Nghiên cứu ngữ nghĩa tập trả lời của chương trình logic ưu tiên

Trình bày những khái niệm cơ sở của chương trình logic, ngữ nghĩa của chương trình logic dương; ngữ nghĩa mô hình bền vững của chương trình logic thông thường. Nghiên cứu cú pháp và ngữ nghĩa của chương trình logic ưu tiên theo tiếp cận tập trả lời cùng với các tính chất ngữ nghĩa của lớp chương trình này. Trình bày thuật toán để tính tập trả lời của chương trình logic ưu tiên. Cài đặt và thực thi một số ví dụ trên hệ thống lập trình logic DLV và Eclipse.

Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ:
Email: thuviendhkh@gmail.com
ĐT: 054 3822440 – 054 3832447

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phần mềm Eclipse, Thuật toán, Logic thông thường