Actions and events in interval temporal logic

Journal of Logic and Computation

Volumn 4, Issue 5, 1994, Pages 531-579

  Allen, James F ^a   Ferguson, George ^a  

^a UNIVERSITY OF ROCHESTER   (United States)

Author keywords

Causal reasoning.; Knowledge representation,; Temporal reasoning,

Indexed keywords

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

References (63)

1. J. F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23, 123-154, 1984.
2. J. F. Allen. Temporal reasoning and planning. In Reasoning about Plans, pp. 1-68. Morgan Kaufmann, San Mateo, CA, 1991.
3. J. F. Allen. Natural Language Understanding, 2nd edn. Benjamin/Cummings Publishing Co. Menlo Park, CA, 1994.
4. J. F. Allen and P. J. Hayes. Moments and points in an interval-based temporal logic. Computational Intelligence, 5, 225-238, 1989.
5. J. F. Allen and J. A. Koomen. Planning using a temporal world model. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence (UCAI-83), Karlsruhe, West Germany, A. Bundy, ed„ pp. 741-747. William Kaufmann, 1983.
6. J. F. Allen and L. K. Schubert The TRAINS project TRAINS Technical Note 91-1, Department of Computer Science, University of Rochester, Rochester, NY, May 1991.
7. F. Bacchus, J. Ten en berg, and J. A. Koomen. A non-reified temporal logic. In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR-89), Toronto, Ontario, R. J. Brachman, H. J. Levesque, and R. Reiter, eds, pp. 2-10. Morgan Kaufmann, 1989.
8. A. Baker. Nonmonotonic reasoning in the fiamework of the situation calculus. Artificial Intelligence, 49, 5-24, 1991.
9. D. Chapman. Planning for conjunctive goals. Artificial Intelligence, 32, 333-377, 1987.
10. D. Davidson. The logical form of action sentences. In The Logic of Decision and Action, N. Rescher, ed. University of Pittsburgh Press, Pittsburg, PA, 1967. Reprinted in The Logic of Grammar, D. Davidson and G. Harman, eds, pp. 235-246. Dickenson Publishing Co., 1975.
11. E. Davis. Infinite loops in finite time: Some observations. In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR92), Boston, MA, B. Nebel, C. Rich, and W. Swartout, eds, pp. 47-58. Morgan Kaufmann, 1992.
12. T. Dean and Drew McDermott. Temporal data base management. Artificial Intelligence, 32, 1-55, 1987.
13. D. R. Dowty. The effects of aspectual class on the temporal structure of discourse: Semantics or pragmatics? Linguistics and Philosophy, 9, 37-62, 1986.
14. K. Eshghi. Abductive planning with event calculus. In Proceedings of the Fifth International Conference and Symposium on Logic Programming, R. A. Kowalski and K. A. Bowen, eds, pp. 562-579, MIT Press, Cambridge, MA, 1988.
15. G. Ferguson. Explicit representation of events, actions, and plans for assumption-based plan reasoning. Technical Report 428, Department of Computer Science, University of Rochester, Rochester, NY, June 1992.
16. G. Ferguson and J. F. Allen. Generic plan recognition for dialogue systems. In Proceedings of the ARPA Workshop on Human Language Technology, Princeton, NJ, 1993.
17. G. Ferguson and J. F. Allen. Arguing about plans: plan representation and reasoning for mixed-initiative planning. In Proceedings of the Second International Conference on A1 Planning Systems (AIPS-94), Chicago, IL, 15-17 June 1994.
18. R. E. Fikes and N. J. Nilsson. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2, 198-208, 1971.
19. M. Gelfond, V. Lifschitz and A. Rabinov. What are the limitations of the situation calculus? In Proceedings of the AAAI Symposium on Logical Formalizations of Commonsense Reasoning, Stanford University, pp. 59-69. 26-28 March 1991.
20. M. P. Georgeff. Actions, processes, and causality. In Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, Los Altos, CA, 30 June-2 July 1986. M. P. Georgeff and A. L. Lansky, eds, Morgan Kaufmann, 1986.
21. M. P. Georgeff. The representation of events in multiagcnt domains. In Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), Philadelphia, PA, pp. 70-75, 1986.
22. A. I. Goldman. A Theory of Human Action. Prentice-Hall, Englewood Cliffs, NJ, 1970.
23. C. Green. An application of theorem proving to problem solving. In Proceedings of the First International Joint Conference on Artificial Intelligence (IJCAI-69), D. E. Walker, ed., pp. 741-747, Washington, DC, 7-9 May 1969.
24. A. R. Haas. A reactive planner that uses explanation closure. In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR92), B. Nebel, C. Rich, and W. Swartout, eds, pp. 93-102. Morgan Kaufmann, Boston, MA, 1992.
25. A. W. Haas. The case for domain-specific frame axioms. In Proceedings of the 1987 Workshop: The Frame Problem in Artificial Intelligence, F. M. Brown, ed., pp. 343-348, Morgan Kaufmann, Lawrence, KA. 1987.
26. C. L. Hamblin. Instants and intervals. In The Study of Time, 1. T. Fraser, F. C. Haber, and G. H. Mllller, eds, pp. 324-328. Springer-Verlag, New York, 1972.
27. S. Hanks and D. McDermott. Default reasoning, nonmonotonic logic, and the frame problem. In Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), Philadelphia, PA, pp. 328-333, 1986
28. J. R. Hobbs, Mark E. Shekel, Douglas E. Appelt, and Paul Martin. Interpretation as abduction. Artificial Intelligence, 63, 69-142, 1993.
29. H. A. Kautz. A formal theory of plan recognition and its implementation. In Reasoning about Plans, pp. 69-126. Morgan Kaufmann, San Mateo, CA, 1991.
30. R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4, 67-95, 1986.
31. R. Kowalski. Database updates in the event calculus. Journal of Logic Programming, 12, 121-146, 1992.
32. P. Ladkin and R. Maddux. Representation and reasoning with convex time intervals. Technical report KES.U.88.2, Kestrel Institution, Palo Alto, CA, 1988.
33. P6] V. Lifschitz. Formal theories of action. In Proceedings of the 1987 Workshop: The Frame Problem in Artificial Intelligence, F. M. Brown, ed., pp. 35-58. Morgan Kaufmann, Lawrence, KA, 1987.
34. V. Lifschitz and A. Rabinov. Miracles in formal theories of action. Artificial Intelligence, 38, 225-238, March 1989.
35. F. Lin and Y. Shoham. Concurrent actions in the situation calculus. In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), pp.580-585, San Jose, CA, 12—16 July 1992.
36. N. G. Martin. Using Statistical Inference to Plan Under Uncertainty. Ph.D. thesis. Department of Computer Science, University of Rochester, Rochester, NY, 1993.
37. N. G. Martin and J. F. Allen. Statistical probabilities for planning. Technical Report 474, Department of Computer Science, University of Rochester, Rochester, NY, November 1993.
38. D. McAllester and D. Rosenblitt. Systematic nonlinear planning. In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), pp. 634-639. MIT Press, 1991.
39. J. McCarthy. Circumscription—a form of non-monotonic reasoning. Artificial Intelligence, 13, 27-39, 1980.
40. J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence, volume 4, B. Meltzer and D. Michie, eds, pp. 463-502. American Elsevier Publishing Co., Inc., 1969.
41. D. McDermott. Reasoning about plans. In Formal Theories of the Commonsense World, J. R. Hobbs and R. C. Moore, (ed?), pp. 269-318. Abies Publishing, Norwood, NJ, 1985.
42. R. Miller and M. Shanahan. Narratives in the Situation Calculus. Journal of Logic and Computation, 4, 1994.
43. A. P. D. Mourelatos. Events, processes and states. Linguistics and Philosophy, 2, 415-434, 1978.
44. N. J. Nilsson. Principles of Artificial Intelligence. Morgan Kaufmann, Los Altos, CA, 1980.
45. E. P. D. Pednault. Formulating multi-agent, dynamic-worid problems in the classical planning framework. In Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, Los Altos, CA, M. P. Georgeff and A. L. Lansky, eds, pp. 47-82. Morgan Kaufmann, 1986.
46. R. N. Pelavin. Planning with simultaneous actions and external events. In Reasoning about Plans, pp. 127-212. Morgan Kauftnann, San Mateo, CA, 1991.
47. J. Pinto. Temporal Reasoning in the Situation Calculus. Ph.D. thesis. University of Toronto, Tbronto, Ontario, Canada, February 1994.
48. R. Reiter. The projection problem in the situation calculus: a soundness and completeness result, with an application to database updates. In Proceedings of the First International Conference on Al Planning Systems, pp. 198-203. Morgan Kaufmann, College Park, MD, 1992.
49. E. D. Sacerdoti. The nonlinear nature of plans. In Proceedings of the Fourth International Joint Conference on Artificial Intelligence (IJCAI-75), Tbilisi, Georgia, USSR, pp 206-214. AI Lab., MIT, 1975.
50. E. Sandewall. Features and Fluents. Oxford University Press, Oxford, 1994.
51. L. Schubert. Monotonic solution of the frame problem in the situation calculus: an efficient method for worlds with fully specified actions. In Knowledge Representation and Defeasible Reasoning, H. E. Kyburg, Jr, R. P. Loui and G. N. Carlson, eds, pp. 23-68. Kluwer Academic Publishers, Dordrecht, 1990.
52. M. Shanahan. Prediction is deduction but explanation is abduction. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), Detroit MI, N. S. Sridharan, ed., pp. 1055-1060, 1989.
53. M. Shanahan. Representing continuous change in the situation calculus. In Proceedings of the European Conference on Artificial Intelligence (ECAI-90), pp. 598-603. Pitman Publishing Co., 1990.
54. Y. Shoham. Temporal logics in AI: semantical and ontological considerations. Artificial Intelligence, 33, 89-104, 1987.
55. Y. Shoham. Reasoning about change: Time and Causation from the Standpoint of Artificial Intelligence. MITPress, Cambridge, MA, 1988.
56. A. Tale. Generating project networks. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence (UCAl-77), Cambridge, MA, pp. 888-889. MIT Press, 1977.
57. D. R. Traum, J. F. Allen, G. Ferguson, P. A. Heeman, C.-H. Hwang, T. Kalo, N. Martin, M. Poesio and L. K. Schubert Integrating natural language understanding and plan reasoning in the TRAINS-93 conversation system. In Working Notes of the AAAI Spring Symposium on Active NLP, pp. 63-67, 1994.
58. J. F. A. K. van Benthem. The Logic of Time. D. Reidel and Kluwer, Dordrecht and Boston, MA, 1983.
59. Z. Vendler. Linguistics in Philosophy. Cornell University Press, New York, 1967.
60. S. A. Vere. Planning in time: Windows and durations for activities and goals. IEEE Transactions on Pattern Analysis and Machine Intelligence, 5, 246-267, 1983.
61. M. Vilain and H. Kautz. Constraint propagation algorithms for temporal reasoning. In Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), Philadelphia, PA, pp. 377-382, 1986.
62. M. Vilain, H. Kautz and P. van Beck. Constraint propagation algorithms for temporal reasoning: a revised report. In Readings in Qualitative Reasoning about Physical Systems, D. Weld and J. Dekleer, eds, pp. 373-381. Morgan Kaufman, San Mateo, CA, 1990.
63. D. E. Wilkins. Practical Planning: Extending the Classical Al Planning Paradigm. Morgan Kaufmann, San Mateo, CA. 1988.