Using possibilistic logic for modeling qualitative decision: Answer Set Programming algorithms

International Journal of Approximate Reasoning

Volumn 55, Issue 2, 2014, Pages 711-738

  Confalonieri, Roberto ^a   Prade, Henri ^b  

^a UNIVERSITY OF LONDON   (United Kingdom)

^b UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

Answer set programming; Possibilistic answer set programming; Qualitative decision under uncertainty

Indexed keywords

ABDUCTIVE LOGIC PROGRAMMING; ANSWER SET PROGRAMMING; DECISION CRITERIONS; DECISION MAKING UNDER UNCERTAINTY; DECISION UNDER UNCERTAINTY; POSSIBILISTIC LOGIC; QUALITATIVE APPROACH; QUALITATIVE DECISION MAKING;

ALGORITHMS; DECISION MAKING;

LOGIC PROGRAMMING;

EID: 84893660209     PISSN: 0888613X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ijar.2013.11.002     Document Type: Article

References (55)

1. L. Amgoud, and H. Prade Using arguments for making and explaining decisions Artif. Intell. 173 2009 413 436
2. C. Baral Knowledge Representation, Reasoning and Declarative Problem Solving 2003 Cambridge University Press
3. S. Benferhat, G. Brewka, and D.L. Berre On the relation between qualitative choice logic and possibilistic logic Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty (IPMU 2004) 2004 951 957
4. S. Benferhat, D. Dubois, and H. Prade Representing default rules in possibilistic logic Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning KR'92, Cambridge, MA 1992 673 684
5. S. Benferhat, D. Dubois, and H. Prade Practical handling of exception-tainted rules and independence information in possibilistic logic Appl. Intell. 9 1998 101 127
6. B. Bonet, and H. Geffner Arguing for decisions: A qualitative model of decision making E. Horwitz, Proceedings of the 12th Conference on Uncertainty in Artificial Intelligence (UAI'96) 1996 Morgan Kaufmann 98 105
7. P. Bosc, O. Pivert, and H. Prade A possibilistic logic view of preference queries to an uncertain database Proceedings of 19th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE'10) 2010 581 595
8. C. Boutilier Toward a logic for qualitative decision theory J. Doyle, E. Sandewall, Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94) 1994 Morgan Kaufmann 75 86
9. R.I. Brafman, and M. Tennenholtz On the foundations of qualitative decision theory Proceedings of the 13th National Conference on Artificial Intelligence, vol. 2 AAAI'96 1996 AAAI Press 1291 1296
10. G. Brewka Answer sets and qualitative decision making Synthese 146 2005 171 187
11. G. Brewka Answer sets and qualitative optimization Log. J. IGPL 14 2006 413 433
12. G. Brewka, S. Benferhat, and D. Le Berre Qualitative choice logic Artif. Intell. 157 2004 203 237
13. G. Brewka, I. Niemelä, and T. Syrjänen Logic programs with ordered disjunction Comput. Intell. 20 2004 333 357
14. G. Brewka, I. Niemelä, and M. Truszczyński Answer set optimization G. Gottlob, T. Walsh, Proceedings of 18th International Joint Conference on Artificial Intelligence (IJCAI'03) 2003 Morgan Kaufmann 867 872
15. F. Buccafurri, N. Leone, and P. Rullo Enhancing disjunctive datalog by constraints IEEE Trans. Knowl. Data Eng. 12 2000 845 860
16. R. Confalonieri, J. Nieves, M. Osorio, and J. Vázquez-Salceda Dealing with explicit preferences and uncertainty in answer set programming Ann. Math. Artif. Intell. 65 2012 159 198
17. R. Confalonieri, and H. Prade Answer set programming for computing decisions under uncertainty W. Liu, Proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011) Lect. Notes Artif. Intell. vol. 6717 2011 Springer-Verlag Berlin, Heidelberg 485 496
18. R. Confalonieri, and H. Prade Encoding preference queries to an uncertain database in possibilistic answer set programming S. Greco, B. Bouchon-Meunier, G. Coletti, M. Fedrizzi, B. Matarazzo, R.R. Yager, Advances in Computational Intelligence: Proceedings of 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2012), Part I Commun. Comput. Inf. Sci. vol. 297 2012 Springer Berlin/Heidelberg 511 520
19. R. Confalonieri, H. Prade, and J.C. Nieves Handling exceptions in logic programming without negation as failure W. Liu, Proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011) Lecture Notes Artif. Intell. vol. 6717 2011 Springer-Verlag Berlin, Heidelberg 509 520
20. M. Denecker, and A.C. Kakas Abduction in logic programming A.C. Kakas, F. Sadri, Computational Logic: Logic Programming and Beyond Lect. Notes Comput. Sci. vol. 2407 2002 Springer Berlin/Heidelberg 402 436
21. J. Doyle, and R.H. Thomason Background to qualitative decision theory AI Mag. 20 1999 55 68
22. D. Dubois, H. Fargier, and H. Prade Fuzzy constraints in job-shop scheduling J. Intell. Manuf. 6 1995 215 234
23. D. Dubois, J. Lang, and H. Prade Possibilistic logic D.M. Gabbay, C.J. Hogger, J.A. Robinson, J.H. Siekmann, Handbook of Logic in Artificial Intelligence and Logic Programming Nonmonotonic Reasoning and Uncertain Reasoning vol. 3 1994 Oxford University Press, Inc. New York, NY, USA 439 513
24. D. Dubois, D. Le Berre, H. Prade, and R. Sabbadin Using possibilistic logic for modeling qualitative decision: ATMS-based algorithms Fundam. Inform. 37 1999 1 30
25. D. Dubois, and H. Prade Possibility theory as a basis for qualitative decision theory Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95) 1995 Morgan Kaufmann Publishers Inc. San Francisco, CA, USA 1924 1930
26. D. Dubois, and H. Prade Possibilistic logic: a retrospective and prospective view Fuzzy Sets Syst. 144 2004 3 23
27. D. Dubois, H. Prade, and R. Sabbadin A possibilistic logic machinery for qualitative decision Proceedings of AAAI Spring Symposium on Qualitative Preferences in Deliberation and Practical Reasoning 1997 AAAI Press 47 54
28. D. Dubois, H. Prade, and R. Sabbadin Decision-theoretic foundations of qualitative possibility theory Eur. J. Oper. Res. 128 2001 459 478
29. T. Eiter, W. Faber, N. Leone, and G. Pfeifer The diagnosis frontend of the DLV system AI Commun. 12 1999 99 111
30. T. Eiter, and G. Gottlob On the computational cost of disjunctive logic programming: Propositional case Ann. Math. Artif. Intell. 15 1995 289 323
31. T. Eiter, G. Gottlob, and N. Leone Abduction from logic program: semantics and complexity Theor. Comput. Sci. 189 1997 129 177
32. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, T. Wien, and F. Scarcello The KR system DLV: Progress report, comparisons and benchmarks L.S.A.G. Cohn, S. Shapiro, Proceedings 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98) 1998 Morgan Kaufmann 406 417
33. O. Febbraro, K. Reale, and F. Ricca ASPIDE: Integrated development environment for answer set programming J.P. Delgrande, W. Faber, Logic Programming and Nonmonotonic Reasoning Lect. Notes Comput. Sci. vol. 6645 2011 Springer Berlin, Heidelberg 317 330
34. J. Fox, D. Glasspool, D. Grecu, S. Modgil, M. South, and V. Patkar Argumentation-based inference and decision making - a medical perspective IEEE Intell. Syst. 22 2007 34 41
35. L. Garcia, S. Ngoma, and P. Nicolas Dealing automatically with exceptions by introducing specificity in ASP C. Sossai, G. Chemello, Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'99) Lecture Notes Artif. Intell. vol. 5590 2009 Springer-Verlag Berlin, Heidelberg 614 625
36. M. Gebser, B. Kaufmann, A. Neumann, and T. Schaub Conflict-driven answer set solving R. Sangal, H. Mehta, R.K. Bagga, Proceedings of the 20th International Joint Conference on Artificial Intelligence IJCAI'07 2007 Morgan Kaufmann Publishers Inc. San Francisco, CA, USA 386 392
37. R. Grabos Qualitative model of decision making C. Bussler, D. Fensel, Artificial Intelligence: Methodology, Systems, and Applications Lecture Notes Artif. Intell. vol. 3192 2004 Springer Berlin/Heidelberg 480 489
38. R. Grabos Answer set programming and combinatorial multicriteria decision making Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 14 2006 393 420
39. A.C. Kakas, R.A. Kowalski, and F. Toni Abductive logic programming J. Log. Comput. 2 1992 719 770
40. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, and F. Scarcello The DLV system for knowledge representation and reasoning ACM Trans. Comput. Log. 7 2006 499 562
41. J.W. Lloyd Foundations of Logic Programming 2nd extended edition 1987 Springer-Verlag New York, NY, USA
42. P.A. Matt Argumentation as a practical foundation for decision theory PhD thesis 2010 Department of Computing, Imperial College London
43. J. von Neumann, and O. Morgenstern Theory of Games and Economic Behavior 1944 Princeton University Press Princeton, NJ
44. P. Nicolas, L. Garcia, I. Stéphan, and C. Lefèvre Possibilistic uncertainty handling for answer set programming Ann. Math. Artif. Intell. 47 2006 139 181
45. I. Niemelä, and P. Simons Smodels - an implementation of the stable model and well-founded semantics for normal LP J. Dix, U. Furbach, A. Nerode, Proceeding of 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97) Lect. Notes Comput. Sci. vol. 1265 1997 Springer-Verlag London, UK 421 430
46. J.C. Nieves, and R. Confalonieri A possibilistic argumentation decision making framework with default reasoning Fundam. Inform. 113 2011 41 61
47. J. Pearl System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge TARK '90 1990 Morgan Kaufmann Publishers Inc. San Francisco, CA, USA 121 135
48. S. Perri, F. Scarcello, and N. Leone Abductive logic programs with penalization: semantics, complexity and implementation Theory Pract. Log. Program. 5 2005 123 159
49. R. Sabbadin Decision as abduction? H. Prade, Proceedings of 13th European Conference on Artificial Intelligence ECAI 1998 1998 John Wiley and Sons Chichester 600 604
50. L.J. Savage The Foundations of Statistics 1972 Dover New York
51. P. Simons, I. Niemelä, and T. Soininen Extending and implementing the stable model semantics Artif. Intell. 138 2002 181 234
52. T. Syrjänen, and I. Niemelä The smodels system T. Eiter, W. Faber, M. Truszczyński, Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR'01 Lect. Notes Comput. Sci. vol. 2173 2001 Springer Berlin, Heidelberg 434 438
53. S.W. Tan, and J. Pearl Qualitative decision theory Proceedings of the 12th National Conference on Artificial Intelligence, vol. 2 AAAI'94 1994 American Association for Artificial Intelligence Menlo Park, CA, USA 928 933
54. S.W. Tan, and J. Pearl Specification and evaluation of preferences under uncertainty J. Doyle, E. Sandewall, P. Torasso, Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning KR'94 1994 Morgan Kaufmann 530 539
55. F. Toni, and M. Sergot Argumentation and answer set programming M. Balduccini, T. Son, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Lect. Notes Comput. Sci. vol. 6565 2011 Springer Berlin/Heidelberg 164 180