Phương pháp định giá truy vấn đối với chương trình logic diễn giải có ràng buộc

Abstract

Sự diễn giải được tìm thấy trong nhiều ứng dụng rộng rãi như một công cụ mạnh mẽ cho lập luận giả thuyết với tri thức không đầy đủ. Chương trình logic diễn giải có ràng buộc là sự mở rộng của chương trình logic diễn giải, việc nghiên cứu phương pháp định giá truy vấn đối với lớp chương trình này đang được nhiều người quan tâm. Bài báo này trình bày một phương pháp để định giá truy vấn chương trình logic diễn giải có ràng buộc.