On Preferring and Inspecting Abductive Models
2009 (English)In: PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, SPRINGER-VERLAG BERLIN , 2009, Vol. 5418, 1-15 p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
SPRINGER-VERLAG BERLIN , 2009. Vol. 5418, 1-15 p.
, Lecture Notes in Computer Science, ISSN 0302-9743
Engineering and Technology
IdentifiersURN: urn:nbn:se:liu:diva-52349DOI: 10.1007/978-3-540-92995-6_1ISBN: 978-3-540-92994-9 (print)ISBN: 978-3-540-92995-6 (online)OAI: oai:DiVA.org:liu-52349DiVA: diva2:281650
11th International Symposium on Practical Aspects of Declarative Languages