A logic of time, chance, and action for representing plans

Artificial Intelligence

Volumn 80, Issue 2, 1996, Pages 243-308

  Haddawy, Peter ^a  

^a University of Wisconsin Milwaukee   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; PLANNING; PROBABILISTIC LOGICS; PROBABILITY;

ARTIFICIAL INTELLIGENCE PLANNING SYSTEM; PROOF THEORY;

FORMAL LOGIC;

EID: 0030082452     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(94)00070-0     Document Type: Article

References (64)

1. J.F. Allen, Towards a general theory of action and time, Artif. Intell. 23 (2) (1984) 123-154.
2. J.F. Allen and J.A. Koomen, Planning using a temporal world model, in: Proceedings IJCAI-83, Karlsruhe, Germany (1983) 741-747.
3. F. Bacchus, Representing and Reasoning with Probabilistic Knowledge (MIT Press, Cambridge, MA, 1990).
4. C. Boutilier and R. Dearden, Using abstractions for decision-theoretic planning with time constraints, in: Proceedings AAAI-94, Seattle, WA (1994) 1016-1022.
5. R. Carnap, Logical Foundations of Probability (University of Chicago Press, Chicago, IL, 1950).
6. A.R. Cassandra, L.P. Kaelbling and M.L. Littman, Acting optimally in partially observable stochastic domains, in: Proceedings AAAI-94, Seattle, WA (1994) 1023-1028.
7. D. Chapman, Planning for conjunctive goals, Artif. Intell. 32 (3) (1987) 333-377.
8. A. Darwiche and M. Goldszmidt, Action networks: a framework for reasoning about actions and change under uncertainty, in: Proceedings Tenth Conference on Uncertainty in Artificial Intelligence, Seattle, WA (1994) 136-144.
9. R. Davidson and M.R. Fehling, A structured, probabilistic representation of action, in: Proceedings Tenth Conference on Uncertainty in Artificial Intelligence, Seattle, WA (1994) 154-161.
10. T.L. Dean, L.P. Kaelbling, J. Kirman and A. Nicholson, Deliberation scheduling for time-critical sequential decision making, in: Proceedings Ninth Conference on Uncertainty in Artificial Intelligence, Washington, DC (1993) 309-316.
11. T.L. Dean, L.P. Kaelbling, J. Kirman and A. Nicholson, Planning with deadlines in stochastic domains, in: Proceedings AAAI-93, Washington, DC (1993) 574-579.
12. T.L. Dean and K. Kanazawa, A model for reasoning about persistence and causation, Comput. Intell. 5 (3) (1989) 142-150.
13. T.L. Dean and M.P. Wellman, Planning and Control (Morgan Kaufmann, San Mateo, CA, 1991).
14. R. Dearden and C. Boutilier, Integrating planning and execution in stochastic domains, in: Proceedings Tenth Conference on Uncertainty in Artificial Intelligence, Seattle, WA (1994) 162-169.
15. D. Draper, S. Hanks and D.S. Weld, Probabilistic planning with information gathering and contingent execution, in: Proceedings Second International Conference on Artificial Intelligence Planning Systems, Chicago, IL (1994) 31-36.
16. M. Drummond and J. Bresina, Anytime synthetic projection: maximizing the probability of goal satisfaction, in: Proceedings AAAI-90, Boston, MA (1990) 138-144.
17. R. Fagin, J.Y. Halpern and N. Megiddo, A logic for reasoning about probabilities. Tech. Rept. RJ 6190 (60900), IBM Almaden Research Center (1988).
18. R.E. Fikes and N.J. Nilsson, STRIPS: a new approach to the application of theorem proving to problem solving, Artif. Intell. 2 (1971) 189-208.
19. A.I. Goldman, A Theory of Human Action (Prentice Hall, Englewood Cliffs, NJ, 1970).
20. A.R. Haas, Possible events, actual events, and robots, Comput. Intell. 1 (1985) 59-70.
21. P. Haddawy, Representing plans under uncertainty: a logic of time, chance, and action, Ph.D. Thesis, Report No. UIUCDCS-R-91-1719, University of Illinois, Urbana, IL (1991).
22. P. Haddawy, Representing Plans under Uncertainty: A Logic of Time, Chance, and Action, Lecture Notes in Artificial Intelligence 770 (Springer-Verlag, Berlin, 1994).
23. P. Haddawy and A.H. Doan, Abstracting probabilistic actions, in: Proceedings Tenth Conference on Uncertainty in Artificial Intelligence, Seattle, WA (1994) 270-277; available via anonymous FTP from pub/tech_reports at ftp.cs.uwm.edu.
24. P. Haddawy and A.M. Frisch, Modal logics of higher-order probability, in: R.D. Shachter T.S. Levitt, J.F. Lemmer and L.N. Kanal, eds., Uncertainty in Artificial Intelligence 4 (Elsevier Science Publishers, Amsterdam, 1990) 133-148.
25. P. Haddawy and M. Suwandi, Decision-theoretic refinement planning using inheritance abstraction, in: Proceedings Second International Conference on AI Planning Systems (1994) 266-271; available via anonymous FTP from pub/tech_reports at ftp.cs.uwm.edu.
26. J.Y. Halpern, An analysis of first-order logics of probability, Artif. Intell. 46 (1991) 311-350.
27. J.Y. Halpern and M.R. Tuttle, Knowledge, probability, and adversaries, in: Proceedings Eighth Annual ACM Symposium on Principles of Distributed Computing (1989) 103-118.
28. S. Hanks and D. McDermott, Modeling a dynamic and uncertain world I: symbolic and probabilistic reasoning about change, Artif. Intell. 66 (1) (1994) 1-55.
29. S. Hart and M. Shair, Probabilistic temporal logics for finite and bounded models, in: Proceedings Sixteenth ACM Symposium on the Theory of Computing, Washington, DC (1984) 1-13.
30. G.E. Hughes and M.J. Cresswell, An Introduction to Modal Logic (Methuen, London, 1968).
31. K. Kanazawa, A logic and time nets for probabilistic inference, in: Proceedings AAAI-91, Anaheim, CA (1991) 360-365.
32. J. Keynes, A Treatise on Probability (MacMillan, London, 1921).
33. A. Kolmogorov, Foundations of the Theory of Probability (Chelsea, New York, 1950).
34. S. Kripke, Semantical considerations on modal logic, Acta Philos. Fenn. 16 (1963) 83-94 (Proceedings of a Colloquium on Modal and Many-Valued Logics, Helsinki, Finland, 1962).
35. S. Kripke, Semantical considerations on modal logic, Acta Philos. Fenn. 16 (1963) 83-94 (Proceedings of a Colloquium on Modal and Many-Valued Logics, Helsinki, Finland, 1962).
36. N. Kushmerick, S. Hanks and D.S. Weld, An algorithm for probabilistic planning, Artif. Intell. 76 (1995) 239-286.
37. N. Kushmerick, S. Hanks and D.S. Weld, An algorithm for probabilistic least-commitment planning, in: Proceedings of the Twelfth National Conference on Artificial Intelligence, Seattle (1994) 1073-1078.
38. H. Kyburg Jr and H. Smokier, eds., Studies in Subjective Probability (Wiley, New York, 1964).
39. D. Lehmann and S. Shelah, Reasoning with time and chance, Inform. Control 53 (1982) 165-198.
40. D. Lewis, A subjectivist's guide to objective chance, in: W. Harper, R. Stalnaker and G. Pearce, eds., Ifs (Reidel, Dordrecht, Netherlands, 1980) 267-298.
41. D.V. McDermott, A temporal logic for reasoning about processes and plans, Cognitive Sci. 6 (1982) 101-155.
42. D.H. Mellor, Fixed past, unfixed future, in: B.M. Taylor, ed., Michael Dummett (Martinus Nijhoff, Dordrecht, Netherlands, 1987) 166-186.
43. J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (Morgan Kaufmann, San Mateo, CA, 1988).
44. R.N. Pelavin, A formal logic for planning with concurrent actions and external events, Ph.D. Thesis, University of Rochester, Department of Computer Science, Rochester, NY (1988).
45. R.N. Pelavin, Planning with simultaneous actions and external events, in: Reasoning about Plans (Morgan Kaufmann, San Mateo, CA, 1991) Chapter 3, 128-211.
46. R.N. Pelavin and J.F. Allen, A formal logic of plans in temporally rich domains, Proc. the IEEE 74 (10) (1986) 1364-1382.
47. F.P. Ramsey, Truth and probability, in: D.H. Mellor, ed., Foundations (Humanities Press, Atlantic Highlands, NJ, 1926) Chapter 3, 58-100 (Collection published 1978).
48. E.D. Sacerdoti, A structure for plans and behavior, Technical Note 109, SRI, Menlo Park, CA (1975).
49. L.J. Savage, The Foundations of Statistics (Wiley, New York, 1954, 2nd rev. ed., 1972).
50. J.R. Shoenfield, Mathematical Logic (Addison-Wesley, Reading, MA, 1967).
51. Y. Shoham, Reasoning about Change (MIT Press, Cambridge, MA, 1987).
52. Y. Shoham, Time for action: on the relationship between time, knowledge, and action, in: Proceedings IJCAI-89, Detroit, MI (1989) 954-959.
53. B. Skyrms, Causal Necessity (Yale University Press, New Haven, CT, 1980).
54. B. Skyrms, Higher order degrees of belief, in: D.H. Mellor, ed., Prospects for Pragmatism (Cambridge University Press, Cambridge, 1980) Chapter 6, 109-137.
55. P. Suppes, A Probabilistic Theory of Causality, Acta Philosophica Fennica, Fasc. XXIV (North-Holland, Amsterdam, 1970).
56. G.J. Sussman, A Computer Model of Skill Acquisition (American Elsevier, New York, 1975).
57. S. Thiebaux, J. Hertzberg, W. Shoaff and M. Schneider, A stochastic model of actions and plans for anytime planning under uncertainty, Internat. J. Intelligent Systems (1994).
58. B.C. van Fraassen, A temporal framework for conditionals and chance, in: W. Harper, R. Stalnaker and G. Pearce, eds., Ifs (Reidel, Dordrecht, Netherlands, 1980) 323-340.
59. J. Venn, The Logic of Chance (MacMillan, London, 1866); new paperback edition: Chelsea, New York, 1962.
60. R. von Mises, Probability, Statistics and Truth (Allen and Unwin, London, 1957).
61. D. von Winterfeldt and W. Edwards, Decision Analysis and Behavioral Research (Cambridge University Press, Cambridge, 1986).
62. M.P. Wellman, Formulation of Tradeoffs in Planning Under Uncertainty (Pitman, London, 1990).
63. M.P. Wellman, Qualitative probabilistic networks for planning under uncertainty, in: G. Shafer and J. Pearl, eds., Readings in Uncertain Reasoning (Morgan Kaufmann, San Mateo, CA, 1990) Chapter 9, 711-722.
64. A.N. Whitehead and B.A.W. Russell, Principia Mathematica (Cambridge University Press, Cambridge, 1910).