IMDEA Software

IMDEA initiative

Home > Events > Invited Talks > 2009 > On Preferring and Inspecting Abductive Models

Luis Moniz Pereira

Thursday, June 25, 2009

11:30am Amphitheatre H-1005

Luis Moniz Pereira, Research Professor, Centro de Inteligencia Artificial (CENTRIA), Universidade Nova de Lisboa, Portugal

On Preferring and Inspecting Abductive Models

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 methodologies described. These have been tested in our implementation, which we explain in detail.