On preferring and inspecting abductive models

Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationPractical Aspects of Declarative Languages
Subtitle of host publication11th International Symposium, PADL 2009, Proceedings
Place of PublicationBerlin
PublisherSpringer-Verlag
Pages1-15
Number of pages15
ISBN (Print)3540929940, 9783540929949
DOIs
Publication statusPublished - 2009
EventPractical Aspects of Declarative Languages, 11th International Symposium -
Duration: 1 Jan 2009 → …

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5418 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferencePractical Aspects of Declarative Languages, 11th International Symposium
Period1/01/09 → …

Keywords

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

Fingerprint

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

Cite this