Towards Practical Tabled Abduction Usable in Decision Making

Ari Saptawijaya, Luis 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
EditorsR NevesSilva, J Watada, G PhillipsWren, LC Jain, RJ Howlett
PublisherIOS Press
Pages429-438
Number of pages10
ISBN (Print)978-1-61499-263-9
DOIs
Publication statusPublished - 2013
Event5th KES International Conference on Intelligent Decision Technologies (KES-IDT) - Sesimbra, Portugal
Duration: 26 May 201328 Jun 2013

Publication series

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

Conference

Conference5th KES International Conference on Intelligent Decision Technologies (KES-IDT)
CountryPortugal
CitySesimbra
Period26/05/1328/06/13

Keywords

  • tabled abduction
  • abductive logic programming
  • declarative debugging
  • decision making
  • SEMANTICS
  • PROGRAMS
  • LOGIC

Cite this