Towards practical tabled abduction in logic programs

Ari Saptawijaya, Luís Moniz Pereira

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Citations (Scopus)

Abstract

Despite its potential as a reasoning paradigm in AI applications, abduction has been on the back burner in logic programming, as abduction can be too difficult to implement, and costly to perform, in particular if abductive solutions are not tabled. If they become tabled, then abductive solutions can be reused, even from one abductive context to another. On the other hand, current Prolog systems, with their tabling mechanisms, are mature enough to facilitate the introduction of tabling abductive solutions (tabled abduction) into them. The concept of tabled abduction has been realized recently in an abductive logic programming system tabdual. Besides tabling abductive solutions, tabdual also relies on the dual transformation. In this paper, we emphasize two tabdual improvements: (1) the dual transformation by need, and (2) a new construct for accessing ongoing abductive solutions, that permits modular mixes between abductive and non-abductive program parts. We apply subsequently these improvements on two distinct problems, and evaluate the performance and the scalability of tabdual on several benchmarks on the basis of these problems, by examining four tabdual variants.

Original languageEnglish
Title of host publicationProgress in Artificial Intelligence - 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Proceedings
Pages223-234
Number of pages12
DOIs
Publication statusPublished - 3 Oct 2013
Event16th Portuguese Conference on Artificial Intelligence, EPIA 2013 - Angra do Heroismo, Azores, Portugal
Duration: 9 Sep 201312 Sep 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8154 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference16th Portuguese Conference on Artificial Intelligence, EPIA 2013
Country/TerritoryPortugal
CityAngra do Heroismo, Azores
Period9/09/1312/09/13

Keywords

  • abductive logic programming
  • dual transformation
  • tabled abduction
  • tabled logic programming

Fingerprint

Dive into the research topics of 'Towards practical tabled abduction in logic programs'. Together they form a unique fingerprint.

Cite this