Specifying and computing preferred plans

Artificial Intelligence

Volumn 175, Issue 7-8, 2011, Pages 1308-1345

  Bienvenu, Meghyn ^a   Fritz, Christian ^b   McIlraith, Sheila A ^c  

^a CNRS   (France)

^b PALO ALTO RESEARCH CENTER   (United States)

^c UNIVERSITY OF TORONTO   (Canada)

Author keywords

Knowledge representation; Planning with preferences; Preferences

Indexed keywords

BEST FIRST SEARCH; FIRST-ORDER; LOGICAL LANGUAGE; PREFERENCES; REASONING TASKS; SITUATION CALCULUS;

PLANNING; SEMANTICS;

KNOWLEDGE REPRESENTATION;

EID: 79954843160     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2010.11.021     Document Type: Article

References (65)

1. F. Bacchus, and F. Kabanza Using temporal logics to express search control knowledge for planning Artificial Intelligence 16 2000 123 191 (Pubitemid 30560298)
2. J. Baier, and S. McIlraith Planning with first-order temporally extended goals using heuristic search Proceedings of the 21st National Conference on Artificial Intelligence (AAAI-06) 2006 788 795 (Pubitemid 44705376)
3. J.A. Baier, F. Bacchus, and S.A. McIlraith A heuristic search approach to planning with temporally extended preferences Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07) 2007 1808 1815
4. J.A. Baier, F. Bacchus, and S.A. McIlraith A heuristic search approach to planning with temporally extended preferences Artificial Intelligence 173 5-6 2009 593 618
5. J.A. Baier, and S.A. McIlraith On domain-independent heuristics for planning with qualitative preferences Proceedings of the 7th Workshop on Nonmonotonic Reasoning, Action and Change (NRAC-07) 2007
6. J.A. Baier, and S.A. McIlraith Planning with preferences AI Magazine 29 4 2008 25 36
7. C. Baral, V. Kreinovich, and R. Trejo Computational complexity of planning with temporal goals Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01) 2001 509 514
8. S. Benferhat, D. Dubois, and H. Prade Towards a possibilistic logic handling of preferences Applied Intelligence vol. 14 2001 Kluwer 303 317 (Pubitemid 32542992)
9. J. Benton, S. Kambhampati, and M.B. Do YochanPS: PDDL3 simple preferences and partial satisfaction planning Proceedings of the 5th International Planning Competition Booklet (IPC-06) 2006 54 57
10. J. Benton, M. van den Briel, and S. Kambhampati A hybrid linear programming and relaxed plan heuristic for partial satisfaction problems Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS-07) 2007 34 41
11. M. Bienvenu, C. Fritz, and S. McIlraith Planning with qualitative temporal preferences Proceedings of the 10th International Conference on Knowledge Representation and Reasoning (KR-06) 2006 134 144
12. M. Bienvenu, C. Fritz, S. Sohrabi, and S. McIlraith PPLAN: Code, experiments http://www.cs.toronto.edu/~sheila/PPLAN 2006
13. C. Boutilier, R. Brafman, C. Domshlak, H. Hoos, and D. Poole CP-nets: A tool for representing and reasoning about conditional ceteris paribus preference statements Journal of Artificial Intelligence Research 21 2004 135 191 (Pubitemid 41525900)
14. R.I. Brafman, and Y. Chernyavsky Planning with goal preferences and constraints Proceedings of the 15th International Conference on Automated Planning and Scheduling (ICAPS-05) 2005 182 191
15. G. Brewka Complex preferences for answer set optimization Proceedings of the 9th International Conference on Knowledge Representation and Reasoning (KR-04) 2004 213 223
16. G. Brewka A rank based description language for qualitative preferences Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-04) 2004 303 307
17. G. Brewka, S. Benferhat, and D.L. Berre Qualitative choice logic Artificial Intelligence 157 1-2 2004 Special Issue on Nonmonotonic Reasoning
18. W. Burgard, A.B. Cremers, D. Fox, D. Hähnel, G. Lakemeyer, D. Schulz, W. Steiner, and S. Thrun Experiences with an interactive museum tour-guide robot Artificial Intelligence 114 1-2 1999 3 55 (Pubitemid 129588320)
19. T. Bylander The computational complexity of propositional STRIPS planning Artificial Intelligence 69 1-2 1994 165 204
20. S. Coste-Marquis, J. Lang, P. Liberatore, and P. Marquis Expressive power and succinctness of propositional languages for preference representation Proceedings of the 9th International Conference on Knowledge Representation and Reasoning (KR-04) 2004 203 212
21. G. De Giacomo, Y. Lespérance, and H. Levesque ConGolog, a concurrent programming language based on the situation calculus Artificial Intelligence 121 1-2 2000 109 169
22. J. Delgrande, T. Schaub, and H. Tompits Domain-specific preferences for causual reasoning and planning Proceedings of the 9th International Conference on Knowledge Representation and Reasoning (KR-04) 2004 673 682
23. J.P. Delgrande, T. Schaub, and H. Tompits A general framework for expressing preferences in causal reasoning and planning Journal of Logic and Computation 17 2007 871 907 (Pubitemid 47583616)
24. S. Edelkamp Optimal symbolic PDDL3 planning with MIPS-BDD Proceedings of the 5th International Planning Competition Booklet (IPC-06) 2006 31 33
25. S. Edelkamp, S. Jabbar, and M. Naizih Large-scale optimal PDDL3 planning with MIPS-XXL Proceedings of the 5th International Planning Competition Booklet (IPC-06) 2006 28 30
26. M. Ehrgott Multicriteria Optimization 2000 Springer Berlin
27. T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres Answer set planning under action costs Journal of Artificial Intelligence Research 19 2003 25 71 (Pubitemid 41525916)
28. K. Erol, D.S. Nau, and V.S. Subrahmanian Complexity, decidability and undecidability results for domain-independent planning Artificial Intelligence 76 1-2 1995 75 88
29. R. Feldmann, G. Brewka, and S. Wenzel Planning with prioritized goals Proceedings of the 10th International Conference on Knowledge Representation and Reasoning (KR-06) 2006 503 514
30. A. Ferrein, C. Fritz, and G. Lakemeyer On-line decision-theoretic Golog for unpredictable domains Proceedings of 27th German Conference on AI (KI-04) 2004 322 336
31. C. Fritz, and S. McIlraith Decision-theoretic GOLOG with qualitative preferences Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR-06) 2006 153 163
32. A. Gabaldon Precondition control and the progression algorithm Proceedings of the 9th International Conference on Knowledge Representation and Reasoning (KR-04) 2004 634 643
33. A. Gerevini, P. Haslum, D. Long, A. Saetti, and Y. Dimopoulos Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners Artificial Intelligence 173 5-6 2009 619 668
34. A. Gerevini, D. Long, Plan constraints and preferences in PDDL3: The language of the fifth international planning competition. Tech. Rep., University of Brescia, 2005.
35. E. Giunchiglia, and M. Maratea Planning as satisfiability with preferences Proceedings of the 22nd Conference on Artificial Intelligence (AAAI-07) 2007 987 992 (Pubitemid 350149698)
36. J. Goldsmith, J. Ulrich, AI Magazine 29 4 2008 Winter 2008, Special Issue on Preferences
37. C.C. Green Application of theorem proving to problem solving Proceedings of the 1st International Joint Conference on Artificial Intelligence 1969 219 240
38. P. Haddawy, and S. Hanks Representations for decision-theoretic planning: Utility functions for deadline goals Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning (KR-96) 1992 71 82
39. M. Helmert Decidability and undecidability results for planning with numerical state variables Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems (AIPS-02) 2002 44 53
40. J. Hoffmann, and B. Nebel The FF planning system: Fast plan generation through heuristic search Journal of Artificial Intelligence Research 14 2001 253 302
41. C.-W. Hsu, B. Wah, R. Huang, and Y. Chen Constraint partitioning for solving planning problems with trajectory constraints and goal preferences Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07) 2007 1924 1929
42. H.A. Kautz, and B. Selman Unifying SAT-based and graph-based planning Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99) 1999 318 325
43. J. Kvarnström, and P. Doherty TALplanner: A temporal logic based forward chaining planner Annals of Mathematics and Artificial Intelligence 30 2000 119 169
44. H.J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R.B. Scherl GOLOG: A logic programming language for dynamic domains Journal of Logic Programming 31 1-3 1997 59 83
45. S. Liaskos, Acquiring and reasoning about variability in goal models, PhD in Computer Science, Department of Computer Science, University of Toronto, Toronto, Canada, 2008.
46. S. Liaskos, S.A. McIlraith, and J. Mylopoulos Towards augmenting requirements models with preferences Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE-09) 2009 565 569
47. J. McCarthy, Situations, actions and causal laws. Tech. Rep., Stanford University, 1963.
48. D.V. McDermott, PDDL-The Planning Domain Definition Language, Tech. Rep. TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control, 1998.
49. S. McIlraith, and T. Son Adapting Golog for composition of semantic web services Proceedings of the 8th International Conference on Knowledge Representation and Reasoning 2002 482 493
50. K. Myers, and T. Lee Generating qualitatively different plans through metatheoretic biases Proceedings of the 16th National Conference on Artificial Intelligence (AAAI-99) 1999 570 576
51. A. Pnueli The temporal logic of programs Proceedings of the 18th IEEE Symposium on Foundations of Computer Science (FOCS-77) 1977 46 57
52. M. Puterman Markov Decision Processes: Discrete Dynamic Programming 1994 Wiley New York
53. R. Reiter Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems 2001 MIT Press Cambridge, MA
54. A.P. Sistla, and E.M. Clarke The complexity of propositional linear temporal logics Journal of the ACM 32 3 1985 733 749 (Pubitemid 15507395)
55. D.E. Smith Choosing objectives in over-subscription planning Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS-04) 2004 393 401 (Pubitemid 40201867)
56. S. Sohrabi, J.A. Baier, and S.A. McIlraith HTN planning with preferences Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09) 2009 1790 1797
57. S. Sohrabi, and S.A. McIlraith On planning with preferences in HTN Proceedings of the 4th Multidisciplinary Workshop on Advances in Preference Handling (M-Pref-08) at AAAI-08 2008 103 109
58. S. Sohrabi, N. Prokoshyna, and S. McIlraith Web service composition via generic procedures and customizing user preferences Proceedings of the 5th International Semantic Web Conference (ISWC-06) 2006 597 611 (Pubitemid 44892059)
59. T.C. Son, and E. Pontelli Planning with preferences using logic programming Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-04) 2004 247 260 (Pubitemid 38050682)
60. T.C. Son, and E. Pontelli Planning with preferences using logic programming Theory and Practice of Logic Programming 6 5 2006 559 607 (Pubitemid 44186915)
61. P.H. Tu, T.C. Son, and E. Pontelli CPP: A constraint logic programming based planner with preferences Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-07) 2007 290 296
62. M. van den Briel, R.S. Nigenda, M.B. Do, and S. Kambhambati Effective approaches for partial satisfaction (oversubscription) planning Proceedings of the 19th National Conference on Artificial Intelligence (AAAI-04) 2004 562 569
63. J. von Neumann, and O. Morgenstern Theory of Games and Economic Behavior 1994 Princeton University Press
64. N. Wilson Extending CP-Nets with stronger conditional preference statements Proceedings of the 19th National Conference on Artificial Intelligence (AAAI-04) 2004 735 741
65. N. Yorke-Smith, K.B. Venable, and F. Rossi Temporal reasoning with preferences and uncertainty Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03) 2003 1385 1390