Towards practical tabled abduction usable in decision making

Ari Saptawijaya, Luís Moniz Pereira

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

2 Citations (Scopus)

Abstract

Abduction as reasoning paradigm has been much explored in Artificial Intelligence, but not yet taken up by decision making as much as its potential warrants. Indeed, abduction permits the generation of hypothetical knowledge based scenarios, about which one can then equate decisions. One reason for this state of affairs is that abduction is difficult to implement efficaciously, even by experts, which entails that abductive systems are not readily available for decision making. Our concept of tabled abduction mitigates this, in the abductive logic programming system TABDUAL. The contribution of this paper is three-fold: (1) We discuss some TABDUAL improvements towards its more practical use, particularly in decision making, (2) We show that declarative debugging can be viewed as abduction in logic programming, thus showing another potential of abduction for decision making, and (3) We describe how TABDUAL can be applied in decision making and examine its benefit.

Original languageEnglish
Title of host publicationIntelligent Decision Technologies. Proceedings of the 5th KES International Conference on Intelligent Decision Technologies (KES-IDT 2013)
EditorsRui Neves-Silva, Junzo Watada, Phillips-Wren Gloria, Lakhmi Jain, Robert Howlett
Pages429-438
Number of pages10
DOIs
Publication statusPublished - 1 Dec 2013

Publication series

NameFrontiers in Artificial Intelligence and Applications
Volume255
ISSN (Print)0922-6389

Keywords

  • Abductive logic programming
  • Decision making
  • Declarative debugging
  • Tabled abduction

Fingerprint Dive into the research topics of 'Towards practical tabled abduction usable in decision making'. Together they form a unique fingerprint.

Cite this