Inspecting and preferring abductive models

Luís Moniz Pereira, Pierangelo Dell’ Acqua, Alexandre Miguel Pinto, Gonçalo Lopes

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

10 Citations (Scopus)


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

Original languageEnglish
Title of host publicationThe Handbook on Reasoning-Based Intelligent Systems
PublisherWorld Scientific Publishing Co
Number of pages32
ISBN (Electronic)9789814329484
ISBN (Print)9789814329477
Publication statusPublished - 1 Jan 2013


  • Abduction
  • Preferences
  • Logic Programming
  • XSB-Prolog
  • Smodels


Dive into the research topics of 'Inspecting and preferring abductive models'. Together they form a unique fingerprint.

Cite this