Published in
The Handbook on Reasoning-Based Intelligent Systems, p. 243-274
DOI: 10.1142/9789814329484_0010
Springer Verlag, Lecture Notes in Computer Science, p. 1-15
DOI: 10.1007/978-3-540-92995-6_1
Links
- ORCID
- World Scientific Publishing
- Springer Verlag
- [www.researchgate.net] | PDF
- [www.researchgate.net] | PDF
- [citeseerx.ist.psu.edu] | PDF
- [centria.di.fct.unl.pt] | PDF
- [citeseerx.ist.psu.edu] | PDF
- [centria.di.fct.unl.pt] | PDF
Tools
On Preferring and Inspecting Abductive Models.
Full text: Download
Abstract
This work proposes the application of preferences over abductive logic programs as an appealing declarative formalism to model choice situations. In particular, both a priori and a posteriori handling of preferences between abductive extensions of a theory are addressed as complementary and essential mechanisms in a broader framework for abductive reasoning. Furthermore, both of these choice mechanisms are combined with other formalisms for decision making, like economic decision theory, resulting in theories containing the best advantages from both qualitative and quantitative formalisms. Several examples are presented throughout to illustrate the enounced methodologies. These have been tested in our implementation, which we explain in detail.