Towards Practical Tabled Abduction Usable in Decision Making

Ari Saptawijaya; Luis Moniz Pereira

doi:10.3233/978-1-61499-264-6-429

Towards Practical Tabled Abduction Usable in Decision Making

Ari Saptawijaya, Luis Moniz Pereira

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	INTELLIGENT DECISION TECHNOLOGIES
Editors	R NevesSilva, J Watada, G PhillipsWren, LC Jain, RJ Howlett
Publisher	IOS Press
Pages	429-438
Number of pages	10
ISBN (Print)	978-1-61499-263-9
DOIs	https://doi.org/10.3233/978-1-61499-264-6-429
Publication status	Published - 2013
Event	5th KES International Conference on Intelligent Decision Technologies (KES-IDT) - Sesimbra, Portugal Duration: 26 May 2013 → 28 Jun 2013

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Publisher	IOS PRESS
Volume	255
ISSN (Print)	0922-6389

Conference

Conference	5th KES International Conference on Intelligent Decision Technologies (KES-IDT)
Country/Territory	Portugal
City	Sesimbra
Period	26/05/13 → 28/06/13

Keywords

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

Access to Document

10.3233/978-1-61499-264-6-429

Cite this

@inproceedings{62fa33122f964a83bd99051e1bd2bc6b,

title = "Towards Practical Tabled Abduction Usable in Decision Making",

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.",

keywords = "tabled abduction, abductive logic programming, declarative debugging, decision making, SEMANTICS, PROGRAMS, LOGIC",

author = "Ari Saptawijaya and Pereira, {Luis Moniz}",

year = "2013",

doi = "10.3233/978-1-61499-264-6-429",

language = "English",

isbn = "978-1-61499-263-9",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

pages = "429--438",

editor = "R NevesSilva and J Watada and G PhillipsWren and LC Jain and RJ Howlett",

booktitle = "INTELLIGENT DECISION TECHNOLOGIES",

address = "Netherlands",

note = "5th KES International Conference on Intelligent Decision Technologies (KES-IDT) ; Conference date: 26-05-2013 Through 28-06-2013",

}

Saptawijaya, A & Pereira, LM 2013, Towards Practical Tabled Abduction Usable in Decision Making. in R NevesSilva, J Watada, G PhillipsWren, LC Jain & RJ Howlett (eds), INTELLIGENT DECISION TECHNOLOGIES. Frontiers in Artificial Intelligence and Applications, vol. 255, IOS Press, pp. 429-438, 5th KES International Conference on Intelligent Decision Technologies (KES-IDT), Sesimbra, Portugal, 26/05/13. https://doi.org/10.3233/978-1-61499-264-6-429

Towards Practical Tabled Abduction Usable in Decision Making. / Saptawijaya, Ari; Pereira, Luis Moniz.
INTELLIGENT DECISION TECHNOLOGIES. ed. / R NevesSilva; J Watada; G PhillipsWren; LC Jain; RJ Howlett. IOS Press, 2013. p. 429-438 (Frontiers in Artificial Intelligence and Applications; Vol. 255).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Towards Practical Tabled Abduction Usable in Decision Making

AU - Saptawijaya, Ari

AU - Pereira, Luis Moniz

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

KW - tabled abduction

KW - abductive logic programming

KW - declarative debugging

KW - decision making

KW - SEMANTICS

KW - PROGRAMS

KW - LOGIC

U2 - 10.3233/978-1-61499-264-6-429

DO - 10.3233/978-1-61499-264-6-429

M3 - Conference contribution

SN - 978-1-61499-263-9

T3 - Frontiers in Artificial Intelligence and Applications

SP - 429

EP - 438

BT - INTELLIGENT DECISION TECHNOLOGIES

A2 - NevesSilva, R

A2 - Watada, J

A2 - PhillipsWren, G

A2 - Jain, LC

A2 - Howlett, RJ

PB - IOS Press

T2 - 5th KES International Conference on Intelligent Decision Technologies (KES-IDT)

Y2 - 26 May 2013 through 28 June 2013

ER -

Towards Practical Tabled Abduction Usable in Decision Making

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this