BIỂU DIỄN TRI THỨC BẰNG CHƯƠNG TRÌNH DATALOG DẠNG TUYỂN VỚI CÁC RÀNG BUỘC MẠNH VÀ YẾU
Abstract
Chương trình Datalog dạng tuyển với các ràng buộc mạnh và yếu là sự mở rộng của chương trình Datalog dạng tuyển. Trong đó, ràng buộc mạnh chính là các ràng buộc toàn vẹn kinh điển, diễn tả các điều kiện phải được thỏa mãn, còn ràng buộc yếu cho phép ta thể hiện sự mong muốn theo nghĩa nó không cần phải được thỏa mãn nhưng tốt nhất nên được thỏa mãn. Bài báo này nhằm mục đích trình bày về việc biểu diễn tri thức của chương trình Datalog dạng tuyển được mở rộng bởi các ràng buộc mạnh và yếu và mã hóa một số bài toán dựa vào tri thức trên hệ thống biểu diễn tri thức và lập luận DLV.References
Lloyd, J.W.: Foundations of logic programming, Springer, Berlin (1984).
Francesco Buccafurri, Nicola Leone, and Pasquale Rullo, Enhancing Disjunctive Datalog by Constraints, IEEE Transactions on Knowledge and Data Engineering, 12(5), pp. 845-860 (2000).
Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, and Giorgio Terracina, The Disjunctive Datalog System DLV, pp. 282-301 (2011).
Michael Gelfond and Vladimir Lifschitz, Classical Negation In Logic Programs and Disjunctive Databases, New Generation Computing, pp. 365-385 (1991).
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, and Francesco Scarcello, The DLV System for Knowledge Representation and Reasoning, ACM Transactions on Computational Logic, 7(3), pp. 499-562 (2006).
Thomas Eiter and Georg Gottlob, The Complexity of Logic-Based Abduction, Journal of the ACM, 42(1), pp. 3-42 (1995).
Thomas Eiter, Georg Gottlob, and Heikki Mannila, Disjunctive Datalog, ACM Transactions on Database Systems, 22(3), pp. 315-363 (1997).
Teodor C. Przymusinski, Stable Semantics for Disjunctive Programs, New Generation Computing, pp. 401-424 (1991).
Ullman J. D., Widom J. , Garcia-Molina H., Database Systems, The Complete Book. Prentice Hall, Inc (2002).
