Against optimality: Logical foundations for decision-theoretic planning in autonomous agents

Computational Intelligence

Volumn 22, Issue 1, 2006, Pages 1-25

  Pollock, John L ^a  

^a UNIVERSITY OF ARIZONA   (United States)

Author keywords

Decision theory; Optimality; Planning

Indexed keywords

ALGORITHMS; AUTONOMOUS AGENTS; COMPUTATIONAL COMPLEXITY; PLANNING; REAL TIME SYSTEMS;

DECISION-THEORETIC PLANNING; OPTIMALITY; REAL-WORLD COMPLEXITY;

DECISION THEORY;

EID: 33645018004     PISSN: 08247935     EISSN: 14678640     Source Type: Journal    
DOI: 10.1111/j.1467-8640.2006.00271.x     Document Type: Article

References (36)

1. ASTRÖM, K. J. 1965. Optimal control of Markov decision processes with incomplete state estimation. Journal of Mathematical Analysis and Applications, 10:174-205.
2. BLUM, A., and M. L. FURST. 1995. Fast planning through planning graph analysis. In Proceedings of the Fourteenth International Joint Conference on AI, Montreal, Quebec, pp. 1636-1642.
3. BLUM, A., and M. L. FURST. 1997. Fast planning through planning graph analysis. Artificial Intelligence, 90:281-300.
4. BLYTHE, J., and M. VELOSO. 1997. Analogical replay for efficient conditional planning. AAAI97, Providence, RI, pp. 668-673.
5. BOUTELIER, C., T. DEAN, and S. HANKS. 1999. Decision theoretic planning: Structural assumptions and computational leverage. Journal of AI Research, 11:1-94.
6. HADDAWY, P., and S. HANKS. 1990. Issues in decision-theoretic planning: Symbolic goals and numeric utilities. Proceedings of the DARPA Workshop on Innovative Approaches to Planning, Scheduling, and Control, pp. 48-58.
7. ISRAEL. D. 1980. What's wrong with non-monotonic logic? In Proceedings of the First Annual National Conference on Artificial Intelligence, Stanford, CA, pp. 99-101.
8. JEFFREY, R. 1983. The Logic of Decision. McGraw-Hill, New York.
9. KAUTZ, H. A., and B. SELMAN. 1996. Pushing the envelope: Planning, propositional logic, and stochastic search. Proceedings of AAAI-96, pp. 1194-1201.
10. KAUTZ, H. A., and B. SELMAN. 1998. Blackbox: A new approach to the application of theorem proving to problem solving. In AIPS98 Workshop on Planning as Combinatorial Search, pp. 58-60.
11. KUSHMERICK, N., S. HANKS, and D. WELD. 1995. An algorithm for probabilistic planning. Artificial Intelligence, 76:239-286.
12. MAJERCIK, S. 1999. C-MAXPLAN: Contingent planning in the MAXPLAN framework. AAAI Spring Symposium on Search Techniques for Problem Solving under Uncertainty and Incomplete Information, pp. 83-88.
13. MAJERCIK, S., and M. LITTMAN. 1999. Contingent planning under uncertainty via stochastic satisfiability. AAAI99, Orlando, FL, pp. 549-556.
14. NGO, L., P. HADDAWY, and H. NGUYEN. 1998. A modular structured approach to conditional decision-theoretic planning. AIPS'98, Pittsburgh, PA, pp. 111-118.
15. ONDER, N., and M. POLLACK. 1997. Contingency selection in plan generation. ECP97, Toulouse, France, pp. 364-376.
16. ONDER, N., and M. POLLACK. 1999. Conditional, probabilistic planning: A unifying algorithm and effective search control mechanisms. AAAI 99, Orlando, FL, pp. 577-584.
17. ONDER, N., M. POLLACK, and J. HORTY. 1998. A unifying algorithm for conditional, probabilistic planning. AIPS1998 Workshop on Integrating Planning, Scheduling, and Execution in Dynamic and Uncertain Environments.
18. PENBERTHY, J. S., and D. WELD. 1992. UCPOP: A sound, complete, partial order planner for ADL. In Proceedings of Third International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, pp. 103-114.
19. PETERSON, G., and D. J. COOK. 2000. Decision-theoretic planning in the Graphplan framework. AIPS2000, Proceedings of the Workshop on Decision-Theoretic Planning, Breckenridge, CO, pp. 69-76.
20. POLLOCK, J. 1990. Nomic Probability and the Foundations of Induction. Oxford University Press, New York.
21. POLLOCK, J. 1992. New foundations for practical reasoning. Minds and Machines, 2:113-144.
22. POLLOCK, J. 1995. Cognitive Carpentry. MIT Press, Cambridge, MA.
23. POLLOCK, J. 1998. The logical foundations of goal-regression planning in autonomous agents. Artificial Intelligence, 106:267-335.
24. POLLOCK, J. 1998a. Perceiving and reasoning about a changing world. Computational Intelligence, 14:498-562.
25. POLLOCK, J. 2001. Evaluative cognition. Nous, 35: 325-364.
26. POLLOCK, J. 2002. Causal probability. Synthese, 132:143-185.
27. POLLOCK, J. 2002a. Defeasible reasoning with variable degrees of justification. Artificial Intelligence 133:233-282.
28. POLLOCK, J. 2003. Rational choice and action omnipotence. Philosophical Review. 111:1-23.
29. POLLOCK, J. 2006. Thinking about Acting: Logical Foundations for Rational Decision Making. Oxford University Press, New York.
30. RAMSEY, F. 1926. Truth and probability. In The Foundations of Mathematics, Edited by R. B. Braithwaite. Little-field, Adams, Paterson, NJ.
31. REITER, R. 1980. A logic for default reasoning. Artificial Intelligence, 13:81-132.
32. SAVAGE, L. 1954 The Foundations of Statistics. Dover, New York.
33. SIMON, H. 1955. A behavioral model of rational choice. Quarterly Journal of Economics, 59:99-118.
34. VON NEUMANN, J., and O. MORGENSTERN. 1944. Theory of Games and Economic Behavior. Wiley, New York.
35. WELD, D. 1999. Recent advances in AI planning. AI Magazine, 20:55-68.
36. WILLIAMSON, M., and S. HANKS. 1994. Beyond symbolic goals: A step toward utility-directed planning. AAAI Spring Symposium on Decision-Theoretic Planning, Seattle, WA, pp. 272-278.