Towards Practical Tabled Abduction in Logic Programs

Ari Saptawijaya, Luis 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, EPIA 2013
EditorsL Correia, LP Reis, J Cascalho
PublisherSPRINGER-VERLAG BERLIN
Pages223-234
Number of pages12
ISBN (Print)978-3-642-40668-3
Publication statusPublished - 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 Artificial Intelligence
PublisherSPRINGER-VERLAG BERLIN
Volume8154
ISSN (Print)0302-9743

Conference

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

Keywords

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

Cite this