ProLogICA: a practical system for Abductive Logic Programming

Oliver Ray, Antonis Kakas, J. Dix, A Hunter

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Abstract

This paper presents a new system called ProLogICA for Abductive Logic Programming (ALP) with Negation as Failure (NAF) and Integrity Constraints (ICs). The system builds upon existing ALP techniques but includes several optimisations and extensions necessitated by recent applications in computational biology, temporal reasoning and machine learning. Unlike some other ALP systems that support non-ground abduction through the integrated use of constraint solving, we adopt a more lightweight approach which avoids this complexity at the expense of only computing ground hypotheses. We argue our approach is suited to a wide class of real-world problems and demonstrate the effectiveness of \ProLogICA\ on three non-trivial applications.
Original languageEnglish
Title of host publication11th International Workshop on Non-monotonic Reasoning
Publication statusPublished - 2006

Bibliographical note

Other page information: 304-312
Conference Proceedings/Title of Journal: 11th International Workshop on Non-monotonic Reasoning
Other identifier: 2000635

Fingerprint Dive into the research topics of 'ProLogICA: a practical system for Abductive Logic Programming'. Together they form a unique fingerprint.

  • Cite this

    Ray, O., Kakas, A., Dix, J., & Hunter, A. (2006). ProLogICA: a practical system for Abductive Logic Programming. In 11th International Workshop on Non-monotonic Reasoning http://www.cs.bris.ac.uk/Publications/pub_master.jsp?id=2000635