Tabling in contextual abduction with answer subsumption

Syukri Mullia Adil Perkasa, Ari Saptawijaya, Luis Moniz Pereira

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

Abduction is a form of logical inference that seeks out best explanations for a given observation. Abduction has already been well studied in the field of computational logic, and logic programming in particular. In contextual abduction, explanations obtained within one context may also be relevant in different contexts. In such contextual abduction, explanations thus can be reused with little cost. When abduction is realized in logic programming, one can reuse previously obtained explanations from one context to another by benefiting from a logic programming's feature called tabling. In this paper, we revisit tabling in contextual abduction and improve this technique with an advanced tabling feature of XSB Prolog, viz., answer subsumption. The employment of answer subsumption in this technique is important, when one is interested in obtaining minimal explanations for an observation. It also helps avoid tabling too many and large explanations for a given observation, which may fail contextual abduction in practice, as it requires too many resources before being able to return a solution. We provide a protoytpe, tabdual+, of this improved technique as a proof of concept. Our experiments, both in artificial and real world cases, show that Tabdual+ correctly returns minimal explanations, while the cost of their computation is greatly reduced.

Original languageEnglish
Title of host publication2017 International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages459-464
Number of pages6
ISBN (Electronic)9781538631720
DOIs
Publication statusPublished - 4 May 2018
Event9th International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017 - Jakarta, Indonesia
Duration: 28 Oct 201729 Oct 2017

Publication series

NameInternational Conference on Advanced Computer Science and Information Systems
PublisherInstitute of Electrical and Electronics Engineers Inc.
Volume2018-January
ISSN (Print)2330-4588

Conference

Conference9th International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017
CountryIndonesia
CityJakarta
Period28/10/1729/10/17

Fingerprint Dive into the research topics of 'Tabling in contextual abduction with answer subsumption'. Together they form a unique fingerprint.

  • Cite this

    Perkasa, S. M. A., Saptawijaya, A., & Pereira, L. M. (2018). Tabling in contextual abduction with answer subsumption. In 2017 International Conference on Advanced Computer Science and Information Systems, ICACSIS 2017 (pp. 459-464). [8355074] (International Conference on Advanced Computer Science and Information Systems; Vol. 2018-January). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICACSIS.2017.8355074