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 đối với chương trình logic diễn giải có các ràng buộc.
References
. Kakas A.C., Kowalski R.A., and Toni F., Abductive Logic Programming, Journal of Logic and Computation, (1993), 719 – 770.
. Kakas A.C., Michael A., and Mourlas C., ACLP: Abductive constraint logic programming, Journal of Logic Programming, (2000), 129–177.
. Kowalski R.A., Sadri F., From Logic programming to Multiagent Systems, Annals of Mathematics and Artificial Intelligence (Forthcomming), 1999.
. Marc Denecker and Antonis Kakas, Abduction in Logic Programming, LNAI 2407, (2002), 402–436.
. Mancarella M., and Terreni G.: The CIFF Proof Procedure for Abductive LogicProgramming with Constraints, Theory, Implementation and Experiments, 2009.
. Paolo Mancarella, Francesca Toni, Fariba Sadri, Francesca Toni, Ulle Endriss., A semantics for positive abductive logic programs with implicative integrity constraints, Association for the Advancement of Artificial Intelligence, 2010.
. Tze Ho Fung, Robert Kowalski, The IFF proof procedure for Abductive Logic Programming, The Journal of Logic Programming, (1997), 151-165.
