×

The CIFF proof procedure for abductive logic programming with constraints: theory, implementation and experiments. (English) Zbl 1184.68161

Summary: We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive logic programming, relaxing the original restrictions over variable quantification (allowedness conditions) and incorporating a constraint solver to deal with numerical constraints as in constraint logic programming. Finally, we describe the CIFF system, comparing it with state-of-the-art abductive systems and answer set solvers and showing how to use it to program some applications.

MSC:

68N17 Logic programming

Software:

HYPROLOG; Smodels
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Kakas, Proceedings of the Workshop Logic Programming and Non-Monotonic Logic pp 49– (1990)
[2] Baral, Knowledge Representation, Reasoning, and Declarative Problem Solving (2003) · doi:10.1017/CBO9780511543357
[3] DOI: 10.1093/logcom/2.6.719 · Zbl 0778.68081 · doi:10.1093/logcom/2.6.719
[4] DOI: 10.1017/S1471068403001960 · Zbl 1090.68014 · doi:10.1017/S1471068403001960
[5] Kakas, Handbook of Logic in Artificial Intelligence and Logic Programming 5 pp 235– (1998)
[6] DOI: 10.1145/1380572.1380578 · Zbl 1367.68273 · doi:10.1145/1380572.1380578
[7] DOI: 10.1016/S0743-1066(98)10002-X · Zbl 0920.68068 · doi:10.1016/S0743-1066(98)10002-X
[8] Simons, Extending and Implementing the Stable Model Semantics (2000)
[9] DOI: 10.1016/0743-1066(94)90033-7 · Zbl 00639141 · doi:10.1016/0743-1066(94)90033-7
[10] Holzbaur, Proceedings of Fourth Symposium on Programming Language Implementation and Logic Programming pp 260– (1992) · doi:10.1007/3-540-55844-6_141
[11] Shanahan, Proceedings of the 11th International Joint Conference on Artificial Intelligence pp 1055– (1989)
[12] DOI: 10.1007/BF03037169 · doi:10.1007/BF03037169
[13] DOI: 10.1007/3-540-45757-7_35 · doi:10.1007/3-540-45757-7_35
[14] Gelfond, Proceedings of the Fifth International Conference and Symposium on Logic Programming (ICLP/SLP) pp 1070– (1988)
[15] Sadri, AI*IA 99: Advances in Artificial Intelligence, Sixth Congress of the Italian Association for Artificial Intelligence pp 49– (1999)
[16] DOI: 10.1016/S0743-1066(97)00026-5 · Zbl 0890.68029 · doi:10.1016/S0743-1066(97)00026-5
[17] Pereira, Proceedings of the Eighth International Conference on Logic Programming pp 475– (1991)
[18] Niemela, Proceedings of the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning pp 421– (1997)
[19] DOI: 10.1016/S0743-1066(98)10005-5 · Zbl 0920.68029 · doi:10.1016/S0743-1066(98)10005-5
[20] Miller, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II pp 452– (2002) · doi:10.1007/3-540-45632-5_17
[21] Kakas, Proceedings of the 17th International Joint Conference on Artificial Intelligence pp 591– (2001)
[22] Christiansen, Proceedings of the 21st International Conference on Logic Programming, (ICLP05) pp 159– (2005)
[23] DOI: 10.1016/S0743-1066(99)00075-8 · Zbl 0957.68017 · doi:10.1016/S0743-1066(99)00075-8
[24] Bressan, Proceedings of the International Logic Programming Symposium pp 213– (1997)
[25] Wielemaker, Proceedings of the 13th International Workshop on Logic Programming Environments pp 1– (2003)
[26] Kakas, Journal of Artificial Intelligence Research 33 pp 285– (2008)
[27] Wetzel, Proceedings of the 13th Joint International Conference and Symposium on Logic Programming pp 535– (1996)
[28] DOI: 10.1023/A:1009816801567 · Zbl 0954.68031 · doi:10.1023/A:1009816801567
[29] DOI: 10.1007/978-3-540-78969-7_4 · Zbl 1137.68599 · doi:10.1007/978-3-540-78969-7_4
[30] Eshghi, Proceedings of the Sixth International Conference on Logic Programming pp 234– (1989)
[31] DOI: 10.1093/jigpal/1.1.99 · Zbl 0807.03005 · doi:10.1093/jigpal/1.1.99
[32] Endriss, Logics in Artificial Intelligence, 9th European Conference pp 31– (2004) · doi:10.1007/978-3-540-30227-8_6
[33] DOI: 10.1023/A:1020259411066 · Zbl 1023.68095 · doi:10.1023/A:1020259411066
[34] Kowalski, Fundamenta Informaticae 34 pp 203– (1998)
[35] DOI: 10.1007/BF03037383 · Zbl 1356.68221 · doi:10.1007/BF03037383
[36] DOI: 10.1145/357162.357169 · Zbl 0478.68093 · doi:10.1145/357162.357169
[37] Marek, The Logic Programming Paradigm: A 25-Year Perspective pp 375– (1999) · doi:10.1007/978-3-642-60085-2_17
[38] Endriss, Logics in Artificial Intelligence, 9th European Conference pp 680– (2004) · doi:10.1007/978-3-540-30227-8_56
[39] Endriss, Proceedings of the 12th Workshop on Automated Reasoning (2005)
[40] DOI: 10.1016/j.entcs.2009.03.009 · doi:10.1016/j.entcs.2009.03.009
[41] Eiter, Proceedings of the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning pp 364– (1997)
[42] Mancarella, Proceedings of the 23rd International Conference on Logic Programming pp 434– (2007)
[43] DOI: 10.1007/3-540-45628-7_16 · doi:10.1007/3-540-45628-7_16
[44] DOI: 10.1007/978-3-540-72200-7_27 · Zbl 05211346 · doi:10.1007/978-3-540-72200-7_27
[45] DOI: 10.1016/S0743-1066(97)00074-5 · Zbl 0905.68025 · doi:10.1016/S0743-1066(97)00074-5
[46] Mancarella, Proceedings of the Fifth International Workshop on Computational Logic in Multi-Agent Systems pp 230– (2004)
[47] Denecker, Proceedings of the Ninth Joint International Conference and Symposium on Logic Programming pp 686– (1992)
[48] Lloyd, Foundations of Logic Programming (1987) · Zbl 0668.68004 · doi:10.1007/978-3-642-83189-8
[49] D’Agostino, Handbook of Tableau Methods (1999) · doi:10.1007/978-94-017-1754-0
[50] DOI: 10.1016/S0004-3702(02)00227-8 · Zbl 0999.68092 · doi:10.1016/S0004-3702(02)00227-8
[51] DOI: 10.1093/logcom/1.5.661 · Zbl 0734.68085 · doi:10.1093/logcom/1.5.661
[52] DOI: 10.1145/1149114.1149117 · Zbl 1367.68308 · doi:10.1145/1149114.1149117
[53] Clark, Logic and Data Bases pp 77– (1978)
[54] DOI: 10.1016/0743-1066(87)90007-0 · Zbl 0655.68018 · doi:10.1016/0743-1066(87)90007-0
[55] Baselice, Proceedings of the 21st International Conference on Logic Programming pp 52– (2005)
[56] Kakas, Proceedings of the 16th European Conference on Artificial Intelligence pp 33– (2004)
[57] DOI: 10.1016/0743-1066(94)90025-6 · Zbl 0820.68028 · doi:10.1016/0743-1066(94)90025-6
[58] Kakas, Proceedings of the Ninth European Conference on Artificial Intelligence pp 385– (1990)
[59] DOI: 10.1145/116825.116838 · Zbl 0799.68045 · doi:10.1145/116825.116838
[60] DOI: 10.1016/S0736-5853(00)00020-4 · Zbl 05330577 · doi:10.1016/S0736-5853(00)00020-4
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.