Hostname: page-component-77c89778f8-gq7q9 Total loading time: 0 Render date: 2024-07-20T19:28:28.448Z Has data issue: false hasContentIssue false
  • English
  • Français

Nonground Abductive Logic Programming with Probabilistic Integrity Constraints

Published online by Cambridge University Press:  27 September 2021

ELENA BELLODI Open the ORCID record for ELENA BELLODI [Opens in a new window] ,
MARCO GAVANELLI ,
RICCARDO ZESE Open the ORCID record for RICCARDO ZESE [Opens in a new window] ,
EVELINA LAMMA  and
FABRIZIO RIGUZZI Open the ORCID record for FABRIZIO RIGUZZI [Opens in a new window]
ELENA BELLODI
Affiliation:
Department of Engineering - University of Ferrara, Ferrara, Italy (e-mails: elena.bellodi@unife.it, marco.gavanelli@unife.it, riccardo.zese@unife.it, lme@unife.it)
MARCO GAVANELLI
Affiliation:
Department of Engineering - University of Ferrara, Ferrara, Italy (e-mails: elena.bellodi@unife.it, marco.gavanelli@unife.it, riccardo.zese@unife.it, lme@unife.it)
RICCARDO ZESE
Affiliation:
Department of Engineering - University of Ferrara, Ferrara, Italy (e-mails: elena.bellodi@unife.it, marco.gavanelli@unife.it, riccardo.zese@unife.it, lme@unife.it)
EVELINA LAMMA
Affiliation:
Department of Engineering - University of Ferrara, Ferrara, Italy (e-mails: elena.bellodi@unife.it, marco.gavanelli@unife.it, riccardo.zese@unife.it, lme@unife.it)
FABRIZIO RIGUZZI
Affiliation:
Department of Mathematics and Computer Science - University of Ferrara, Ferrara, Italy (e-mail: fabrizio.riguzzi@unife.it)
Get access Rights & Permissions [Opens in a new window]

Abstract

Uncertain information is being taken into account in an increasing number of application fields. In the meantime, abduction has been proved a powerful tool for handling hypothetical reasoning and incomplete knowledge. Probabilistic logical models are a suitable framework to handle uncertain information, and in the last decade many probabilistic logical languages have been proposed, as well as inference and learning systems for them. In the realm of Abductive Logic Programming (ALP), a variety of proof procedures have been defined as well. In this paper, we consider a richer logic language, coping with probabilistic abduction with variables. In particular, we consider an ALP program enriched with integrity constraints à la IFF, possibly annotated with a probability value. We first present the overall abductive language and its semantics according to the Distribution Semantics. We then introduce a proof procedure, obtained by extending one previously presented, and prove its soundness and completeness.

Keywords

abductionintegrity constraintsdistribution semanticsprobabilistic IFF
Type
Original Article
Information
Theory and Practice of Logic Programming , Volume 21 , Issue 5: 37th International Conference on Logic Programming Special Issue I , September 2021 , pp. 557 - 574
Check for updates
Copyright
© The Author(s), 2021. Published by Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P. and Torroni, P. 2008. Verifiable agent interaction in ALP: The SCIFF framework. ACM Transactions on Computational Logic 9, 4, 29:1–29:43.Google Scholar
Alberti, M., Gavanelli, M. and Lamma, E. 2013. The CHR-based implementation of the SCIFF abductive system. Fundamenta Informaticae 124, 4, 365–381.CrossRefGoogle Scholar
Arvanitis, A., Muggleton, S. H., Chen, J. and Watanabe, H. 2006. Abduction with stochastic logic programs based on a possible worlds semantics. In Short Paper Proceedings of the 16th International Conference on Inductive Logic Programming (ILP 2006).CrossRefGoogle Scholar
Azzolini, D., Riguzzi, F. and Lamma, E. 2019. Studying transaction fees in the Bitcoin blockchain with probabilistic logic programming. Information 10, 11, 335.CrossRefGoogle Scholar
Christiansen, H. 2008. Implementing probabilistic abductive logic programming with constraint handling rules. In Constraint Handling Rules, Current Research Topics. Lecture Notes in Computer Science, vol. 5388. Springer, 85–118.Google Scholar
Clark, K. L. 1978. Negation as failure. In Logic and Data Bases. Springer, 293–322.Google Scholar
Dai, W.-Z. and Muggleton, S. H. 2021. Abductive knowledge induction from raw data. In Proceedings of the 35th Conference on Artificial Intelligence (IJCAI 2021).CrossRefGoogle Scholar
Darwiche, A. and Marquis, P. 2002. A knowledge compilation map. Journal of Artificial Intelligence Research 17, 229–264.CrossRefGoogle Scholar
De Raedt, L. and Kersting, K. 2008. Probabilistic inductive logic programming. In Probabilistic Inductive Logic Programming - Theory and Applications. Lecture Notes in Artificial Intelligence, vol. 4911. Springer, 1–27.Google Scholar
De Raedt, L., Kimmig, A. and Toivonen, H. 2007. ProbLog: A probabilistic Prolog and its application in link discovery. In 20th International Joint Conference on Artificial Intelligence (IJCAI 2007). Vol. 7. AAAI Press/IJCAI, 2462–2467.Google Scholar
Frühwirth, T. W. 2020. Justifications in constraint handling rules for logical retraction in dynamic algorithms: Theory, implementations, and complexity. Fundamenta Informaticae 173, 4, 253–283.CrossRefGoogle Scholar
Fung, T. H. and Kowalski, R. A. 1997. The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33, 2, 151–165.CrossRefGoogle Scholar
Inoue, K., Sato, T., Ishihata, M., Kameya, Y. and Nabeshima, H. 2009. Evaluating abductive hypotheses using an EM algorithm on BDDs. In 21st International Joint Conference on Artificial Intelligence (IJCAI 2009). Morgan Kaufmann Publishers Inc., 810–815.Google Scholar
Kakas, A., Kowalski, R. and Toni, F. 1998. The role of abduction in logic programming. In Handbook of Logic in Artificial Intelligence and Logic Programming. Vol 5. Oxford University Press, 235–324.Google Scholar
Kate, R. J. and Mooney, R. J. 2009. Probabilistic abduction using Markov logic networks. In IJCAI-09 Workshop on Plan, Activity, and Intent Recognition (PAIR 2009).Google Scholar
Kunen, K. 1987. Negation in logic programming. The Journal of Logic Programming 4, 4, 289–308.CrossRefGoogle Scholar
Muggleton, S. H., Lin, D. and Tamaddoni-Nezhad, A. 2015. Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited. Machine Learning 100, 1, 49–73.Google Scholar
Nguembang Fadja, A. and Riguzzi, F. 2017. Probabilistic logic programming in action. In Towards Integrative Machine Learning and Knowledge Extraction. Lecture Notes in Computer Science, vol. 10344. Springer.CrossRefGoogle Scholar
Poole, D. 1993. Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence 64, 1, 81–129.CrossRefGoogle Scholar
Raghavan, S. V. 2011. Bayesian abductive logic programs: A probabilistic logic for abductive reasoning. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11). IJCAI/AAAI, 2840–2841.Google Scholar
Riguzzi, F., Bellodi, E., Zese, R., Alberti, M. and Lamma, E. 2020. Probabilistic inductive constraint logic. Machine Learning, 1–32.Google Scholar
Rotella, F. and Ferilli, S. 2013. Probabilistic abductive logic programming using possible worlds. In Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013. CEUR Workshop Proceedings, vol. 1068. CEUR-WS.org, 131–145.Google Scholar
Sato, T. 1995. A statistical learning method for logic programs with distribution semantics. In Proceedings of the Twelfth International Conference on Logic Programming, (ICLP 1995). MIT Press, 715–729.Google Scholar
Turliuc, C.-R., Maimari, N., Russo, A. and Broda, K. 2013. On minimality and integrity constraints in probabilistic abduction. In Logic for Programming, Artificial Intelligence, and Reasoning. Springer, 759–775.Google Scholar
Vennekens, J., Verbaeten, S. and Bruynooghe, M. 2004. Logic programs with annotated disjunctions. In 24th International Conference on Logic Programming (ICLP 2004). Lecture Notes in Computer Science, vol. 3131. Springer, 431–445.Google Scholar