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.
|Translated title of the contribution||ProLogICA: a practical system for Abductive Logic Programming|
|Title of host publication||11th International Workshop on Non-monotonic Reasoning|
|Publication status||Published - 2006|
Bibliographical noteOther page information: 304-312
Conference Proceedings/Title of Journal: 11th International Workshop on Non-monotonic Reasoning
Other identifier: 2000635