TY - GEN
T1 - Towards practical tabled abduction usable in decision making
AU - Saptawijaya, Ari
AU - Pereira, Luís 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 - Abductive logic programming
KW - Decision making
KW - Declarative debugging
KW - Tabled abduction
UR - http://www.scopus.com/inward/record.url?scp=84896874047&partnerID=8YFLogxK
U2 - 10.3233/978-1-61499-264-6-429
DO - 10.3233/978-1-61499-264-6-429
M3 - Conference contribution
AN - SCOPUS:84896874047
SN - 9781614992639
T3 - Frontiers in Artificial Intelligence and Applications
SP - 429
EP - 438
BT - Intelligent Decision Technologies. Proceedings of the 5th KES International Conference on Intelligent Decision Technologies (KES-IDT 2013)
PB - IOS Press BV
ER -