On Preferring and Inspecting Abductive Models

Authors:
Luís Moniz Pereira;Pierangelo Dell'Acqua;Gonçalo Lopes
Affiliations:
Departamento de Informática, Centro de Inteligência Artificial (CENTRIA), Universidade Nova de Lisboa, Caparica, Portugal 2829-516;Dept. of Science and Technology - ITN, Linköping University Norrköping, Sweden;Departamento de Informática, Centro de Inteligência Artificial (CENTRIA), Universidade Nova de Lisboa, Caparica, Portugal 2829-516
Venue:
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Year:
2009

Citing 8
Cited 1

Tabling for non-monotonic programming

Annals of Mathematics and Artificial Intelligence
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Abduction with Negation as Failure for Active and Reactive Rules

AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Logic programming with ordered disjunction

Eighteenth national conference on Artificial intelligence
Answer set optimization

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Prospective logic agents

EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Modelling morality with prospective logic

EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Emergence of cooperation through mutual preference revision

IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems

Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.