Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
On Preferring and Inspecting Abductive Models
January 2009
lmp-gl-pd-padl09
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.
In proceedings
Luís Moniz Pereira, P. Dell'Acqua, Gonçalo Lopes
Procs. 11th Intl. Symp. Practical Aspects of Declarative Languages (PADL'09)
LNCS
Springer
-
-
-
-
-
-
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/LMTDQ.pdf
Export formats
Luís Moniz Pereira and P. Dell'Acqua and Gonçalo Lopes, On Preferring and Inspecting Abductive Models, , Procs. 11th Intl. Symp. Practical Aspects of Declarative Languages (PADL'09), LNCS, Springer, (http://centria.di.fct.unl.pt/~lmp/publications/online-papers/LMTDQ.pdf), January 2009.
<a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a>, <a href="/people/members/view.php?code=c3899b9bc15364381381c58d138af552" class="author">P. Dell'Acqua</a> and <a href="/people/members/view.php?code=70944c933ceb5d837aed2c1540ec2d6c" class="author">Gonçalo Lopes</a>, <b>On Preferring and Inspecting Abductive Models</b>, <u>Procs. 11th Intl. Symp. Practical Aspects of Declarative Languages (PADL'09)</u>, LNCS, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, (<a href="http://centria.di.fct.unl.pt/~lmp/publications/online-papers/LMTDQ.pdf" target="_blank">url</a>), January 2009.
@inproceedings {lmp-gl-pd-padl09, author = {Lu\'{\i}s Moniz Pereira and P. Dell'Acqua and Gon\c{c}alo Lopes}, title = {On Preferring and Inspecting Abductive Models}, booktitle = {Procs. 11th Intl. Symp. Practical Aspects of Declarative Languages (PADL'09)}, series = {LNCS}, publisher = {Springer}, url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/LMTDQ.pdf}, 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.}, keywords = {Abduction, Preferences, Logic Programming, XSB-Prolog, Smodels}, month = {January}, year = {2009}, }
Publication's urls
/publications/view.php?code=80c5f4c1598d49fc51a4789e9cf3a3d9
/publications/view.php?code=lmp-gl-pd-padl09
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT