How to (plan to) meet a deadline between now and then

Journal of Logic and Computation

Volumn 7, Issue 1, 1997, Pages 109-156

  Nirkhe, Madhura ^a   Kraus, Sarit ^b,e   Miller, Michael ^c   Perlis, Donald ^d  

^a MICROSOFT   (United States)

^b BAR ILAN UNIVERSITY   (Israel)

^c INTELLIGENT AUTOMATION INC   (United States)

^d University of Maryland ^*  (United States)

^e UNIVERSITY OF MARYLAND   (United States)

Author keywords

Active logic; Automated planning; Deadlines; Resource limitations

Indexed keywords

EID: 0005811802     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/7.1.109     Document Type: Article

References (80)

1. P. E. Agre and D. Chapman. Pengi: An implementation of a theory of activity. In Proceedings of AAAI-87, pp. 268-272, 1987.
2. J. Allen, J. Hendler, and A. Tate. Readings in Planning. Morgan Kaufmann, 1990.
3. J. Amsterdam. Temporal reasoning and narrative conventions. In Proceedings of KR-91, pp. 15-21, 1991.
4. A. B. Baker. A simple solution to the Yale Shooting Problem. In Proceedings of KR89, pp. 11-20, 1989.
5. M. Boddy and T. Dean. Deliberation scheduling for problem solving in time-constrained environments. Artificial Intelligence, 67, 245-285, 1994.
6. R. Brooks. Intelligence without reason. In Proceedings of IJCAI-91. Prepared for Computers and Thought, 1991.
7. R. Brooks. Intelligence without reason. In Proceedings of IJCAI-91. Prepared for Computers and Thought, 1991.
8. R. Brooks. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, 2, 14-23, 1986.
9. P. Cohen and H. Levesque. Intention is choice with commitment. Artificial Intelligence, 42, 213-261, 1990.
10. B. D'Ambrosio and M. Fehling. Resource bounded-agents in an uncertain world. In Proceedings of AAAI Symposium on Limited Rationality, Stanford, CA, 1989.
11. D. E. Davis. Inferring ignorance from the locality of visual perception. In Proceedings of AAAI-88 St Paul, MN, 1988.
12. T. Dean, L. P. Kaelbling, J. Kirman and A. Nicholson. Planning under time constraints in stochastic domains. Artificial Intelligence, 76, 35-74, 1995.
13. T. Dean and D. McDermott. Temporal data base management. Artificial Intelligence, 32, 1-55, 1987.
14. T. Dean and M. Boddy. An analysis of time-dependent planning. In Proceedings of AAAI-88, pp. 49-54, St Paul, Minnesota, 1988.
15. T. Dean, R. J. Firby and D. Miller. Hierarchical planning involving deadlines, travel time and resources. Computational Intelligence, 4, 381-389, 1988.
16. J. Doyle. Artificial intelligence and rational self-government. In TR CS-88-124, CMU, Pittsburgh, 1988.
17. J. Drapkin and D. Perlis. A preliminary excursion into step-logics. In Proceedings of SIGART International Symposium on Methodologies for Intelligent Systems, pp. 262-269. ACM, Knoxville, TN, 1986.
18. J. Drapkin and D. Perlis. Step-logics: An alternative approach to limited reasoning. In Proceedings of the European Conference on Artificial Intelligence, pp. 160-163. Brighton, 1986.
19. J. Elgot-Drapkin. Step-logic: Reasoning Situated in Time. PhD thesis, Department of Computer Science, University of Maryland, College Park, MD, 1988.
20. J. Elgot-Drapkin. Step-logic and the three wise men problem. In Proceedings of AAAI-91, Anaheim, CA, 1991.
21. J. Elgot-Drapkin, M. Miller and D. Perlis. Life on a desert island: Ongoing work on real-time reasoning. In Proceedings of the 1987 Workshop on The Frame Problem, F. M. Brown, ed. pp. 349-357. Morgan Kaufmann, Lawrence, KS, 1987.
22. J. Elgot-Drapkin and D. Perlis. Reasoning situated in time I: Basic concepts. Journal of Experimental and Theoretical Artificial Intelligence, 2, 75-98, 1990.
23. O. Etzioni, Embedding decision-analytic control in a learning architecture. Artificial intelligence, 49, 129-159, 1991.
24. R. Fagin and J. Halpern. Belief, awareness, and limited reasoning. Artificial Intelligence, 34, 39-76, 1988.
25. A. Garvey and V. Lesser. A survey of research in deliberative real-time al. Journal of Real Time Systems, 6, 317-347, 1994.
26. M. Gelfond. Autoepistemic logic and formalization of common-sense reasoning. In Proceedings of the Second International Workshop on Nonmonotonic Reasoning, Munich, 1988.
27. M. Georgeff and A. Lansky. Reactive reasoning and planning. In Proceedings AAAI-88, pp. 677-682, 1988.
28. M. P. Georgeff. Many agents are better than one. In Proceedings of the 1987 Workshop on The Frame Problem, F. M. Brown, ed. pp. 59-75x. Morgan Kaufmann, Lawrence, KS, 1987.
29. M. T. Gervasio. Learning general completable reactive plans. In Proceedings of AAAI-90, pp. 1016-1021, 1990.
30. M. Ginsberg, ed. Readings in Nonmonotonic Reasoning. Morgan Kaufmann, 1987.
31. M. L. Ginsberg and D. E. Smith. Reasoning about action I: A possible worlds approach. In Proceedings of the 1987 Workshop on The Frame Problem, F. M. Brown, ed. pp. 233-258, Morgan Kaufmann, Lawrence, KS, 1987.
32. S. Hanks and D. McDermott. Nonmonotonic logic and temporal projection. Artificial Intelligence, 33, 379-412, 1987.
33. B. A. Haugh. Simple causal minimizations for temporal persistence and projection. In Proceedings of the Sixth National Conference on Artificial Intelligence, pp. 218-223, 1987.
34. B. Hayes-Roth, R. Washington, D. Ash, A. Collinot, A. Vina and A. Sevier. Guardian: A prototype intensivecare monitoring agent. Artificial Intelligence in Medicine, 4, 165-185, 1992.
35. J. Hendler, A. Tate and M. Drummond. Systems and techniques: AI planning. AI Magazine, 11, 61-77, 1990.
36. E. J. Horvitz. Reasoning under varying and uncertain resource constraints. In Proceedings of AAAI-88, pp. 111-116, St Paul, MN, 1988.
37. E. J. Horvitz. Reasoning about beliefs and actions under computational resource constraints. In Uncertainty in Artificial intelligence 3, T. S. Levitt, L. N. Kanal and J. F. Lemmer, eds. Elevesier Science Publishers, 1989.
38. E. J. Horvitz and J. S. Breese. Ideal partition of resources for metareasoning. Technical Report KSL-90-26, Knowledge Systems Laboratory, Stanford University, March 1990.
39. E. J. Horvitz and G. Rutledge. Time-dependent utility and action under uncertainity. In Uncertainity in Artificial Intelligence 6, P. Bonissone, M. Henrion, L. N. Kanal and J. F. Lemmer, eds. Elsevier Science, 1991.
40. A. E. Howe, D. M. Hart and P. R. Cohen. Addressing real-time constraints in the design of autonomous agents. Journal of Real-Time Systems, 2, 81-97, 1990.
41. F. Ingrand and M. Georgeff. Managing deliberation and reasoning in real-time AI systems. In Proceedings of 1990 DARPA workshop on Innovative Approaches to Planning, Scheduling and Control, pp. 284-291, San Diego, CA, November 1990.
42. L. Kaelbling. An architecture for intelligent reactive systems. In Reasoning about Actions and Plans. M. Georgeff and A. Lansky, eds. Morgan-Kaufmann, 1987.
43. H. Kautz. The logic of persistence. In Proceedings of AAAI-86, pp. 401-405, 1986.
44. K. Konolige. A Deduction Model of Belief. Pitman, London, 1986.
45. S. Kraus and D. Lehmann. Knowledge, belief and time. Theoretical Computer Science, 58, 155-174, 1988.
46. S. Kraus, M. Nirkhe and D. Perlis. Deadline-coupled real-time planning. In Proceedings of 1990 DARPA workshop on Innovative Approaches to Planning. Scheduling and Control, pp. 100-108, San Diego, CA, 1990.
47. S. Kraus and D. Perlis. Assessing others' knowledge and ignorance. In Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 220-225, Charlotte, NC, 1989.
48. S. Kraus and J. Rosenschein. The role of representation in interaction: Discovering focal points among alternative solutions. In Decentralized Artificial Intelligence, Vol. 3. Elsevier Science Publishers, Germany, 1992.
49. H. Levesque. A logic of implicit and explicit belief. In Proceedings of AAAI-84, pp. 198-202, Austin, TX, 1984.
50. V. Lifschitz. Pointwise circumscription. In Readings in Nonmonotonic Reasoning. Morgan Kaufmann, 1987.
51. V. Lifschitz. Formal theories of action. In The Frame Problem in Artificial Intelligence, F. M. Brown, ed. pp. 35-57. Morgan-Kaufmann. Los Altos, CA, 1987.
52. Z. Manna and A. Pnueli. Temporal Logic of Reactive and Concurrent Systems. Addison Wesley, 1992.
53. J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence, Vol. 4, B. Meltzer and D. Michie, eds. pp. 463-502. Edinburgh University Press, 1969.
54. D. McDermott. Planning and acting. Cognitive Science, 2, 71-109, 1978.
55. D. McDermott. Nonmonotonic logic and temporal projection. Artificial Intelligence, 33, 379-412, 1987.
56. G. Miller. The magical number seven plus or minus two. The Psychological Review, 63, 81-97, 1956.
57. P. H. Morris. The anomalous extension problem in default reasoning. Artificial Intelligence, 35, 383-399, 1988.
58. N. Nilsson. Artificial intelligence prepares for 2001. AI Magazine, 4, 7-14, 1983.
59. M. Nirkhe and S. Kraus. Formal real-time imagination. Fundamenta Informaticae, special issue on Formal Imagination, 23, 371-390, 1995.
60. M. Nirkhe, S. Kraus and D. Perlis. Fully deadline-coupled planning: One step at a time. In Proceedings of the Sixth International Symposium on Methodologies for Intelligent Systems, Charlotte, NC, 1991.
61. M. Nirkhe, S. Kraus and D. Perlis. Situated reasoning within tight deadlines and realistic space and computation bounds. In Proceeedings of the Second Symposium on Logical Formalizations of Commonsense Reasoning, 1993.
62. M. Nirkhe, S. Kraus and D. Perlis. Active logic for reasoning in time. In Proceedings of the Bar Ilan Symposium On Foundations of AI, 1995.
63. J. Pearl. On logic and probability. Computational Intelligence, 4, 99-103, 1988.
64. D. Perlis, J. Elgot-Drapkin and M. Miller. Stop the world! - I want to think! Invited paper. International Journal of Intelligent Systems, special issue on Temporal Reasoning, K. Ford and F. Anger, eds. 6, 443-456, 1991.
65. M. E. Pollack and M. Ringuette. Introducing the tileworld: Experimentally evaluating agent architectures. In Proceedings of AAAI-90, pp. 183-189, 1990.
66. S. J. Rosenschein and L. P. Kaelbling. The synthesis of digital machines with provable epistemic properties. In Proceedings of Workshop on Theoretical Aspects of Knowledge, Monterey, CA, 1986.
67. S. Russell and E. Wefald. Do the Right Thing. The MIT Press, Cambridge, MA, 1991.
68. E. D. Sacerdoti. Planning in a hierarchy of abstraction spaces. In Proceedings of the 3rd International Joint Conference on Artificial Intelligence, Palo Alto, CA, 1973.
69. E. Sacerdoti. The non-linear nature of plans. In Advance papers for IJCAI-'75, 1975.
70. A. Saffioti, K. Konolige and E. H. Respini. A multivalued logic approach to integrating planning and control. Artificial Intelligence, 76, 481-526, 1995.
71. Y. Shoham. Chronological ignorance: Experiments in nonmonotonic temporal reasoning. Artificial Intelligence, 36, 279-331, 1988.
72. Y. Shoham. Agent0: A simple agent language and its interpreter. In Proceedings of the Ninth National Conference on Artificial Intelligence, pp. 704-709. American Association for Artificial Intelligence, 1991.
73. G. A. Sussman, A computational model of skill acquistion. Technical Report AI-TR-297, MIT AI Lab. 1973.
74. A. Tate. Interacting goals and their use. In Proceedings of the 4th International Joint Conference on Artificial Intelligence, pp. 215-218, 1975.
75. A. Tate. Project planning using a hierarchical non-linear planner. Technical Report Report 25, Department of Artificial Intelligence, Edinburgh University, 1977.
76. S. Vere. Planning in time: Windows and durations for activities and goals. In Proceedings of IEEE Transactions on Pattern Analysis and Machine Intelligence, pp. 246-267, 1983.
77. R. Waldinger. Achieving several goals simultaneously. Technical Report Technical Note 107, SRI AI Center, 1975.
78. R. Wilensky. Planning and Understanding. Addison Wesley, Reading, MA, 1983.
79. D. E. Wilkins. Representation in a domain-independent planner. In Proceedings of the 8th International Joint Conference on Artificial Intelligence, pp. 733-740, 1983.
80. S. Zilberstein and S. Russell. Constructing utility-driven real-time systems using anytime algorithms. In Proceedings of the IEEE Workshop on Imprecise and Approximate Computation, pp. 6-10, 1992.