Actions and Events in Interval Temporal Logic

We present a representation of events and action based on interval temporal logic that is significantly more expressive and more natural than most previous AI approaches. The representation is motivated by work in natural language semantics and discourse, temporal logic, and AI planning and plan recognition. The formal basis of the representation is presented in detail, from the axiomatization of time periods to the relationship between actions and events and their effects. The power of the representation is illustrated by applying it to the axiomatization and solution of several standard problems from the AI literature on action and change. An approach to the frame problem based on explanation closure is shown to be both powerful and natural when combined with our representational framework. We also discuss features of the logic that are beyond the scope of many traditional representations, and describe our approach to difficult problems such as external events and simultaneous actions.

[1]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[2]  Josh Tenenbergy,et al.  A Non-reiied Temporal Logic , 1989 .

[3]  Y. Shoham.  Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .

[4]  James F. Allen,et al.  Generic Plan Recognition for Dialogue Systems , 1993, HLT.

[5]  Earl D. Sacerdoti,et al.  The Nonlinear Nature of Plans , 1975, IJCAI.

[6]  Richard N. Pelavin,et al.  Planning with simultaneous actions and external events , 1991 .

[7]  Alex M. Andrew,et al.  Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, edited by Michael P. Georgeff and Amy L. Lansky Morgan Kaufmann, Los Altos, California, vi + 425 pp. (£24.95) , 1988, Robotica (Cambridge. Print).

[8]  James F. Allen,et al.  Arguing about Plans: Plan Representation and Reasoning for Mixed-initiative Planning , 1994, AIPS.

[9]  Edwin P. D. Pednault,et al.  FORMULATING MULTIAGENT, DYNAMIC-WORLD PROBLEMS IN THE CLASSICAL PLANNING FRAMEWORK , 1987 .

[10]  Yoav Shoham,et al.  Temporal Logics in AI: Semantical and Ontological Considerations , 1987, Artif. Intell..

[11]  Z. Vendler.  Linguistics in Philosophy , 1967 .

[12]  Leora Morgenstern,et al.  Why Things Go Wrong: A Formal Theory of Causal Reasoning , 1988, AAAI.

[13]  Vladimir Lifschitz,et al.  Miracles in Formal Theories of Action , 1989, Artif. Intell..

[14]  R. Reiter.  The projection problem in the situation calculus: a soundness and completeness result, with an application to database updates , 1992 .

[15]  Robert A. Kowalski,et al.  Database Updates in the Event Calculus , 1992, J. Log. Program..

[16]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[17]  James F. Allen,et al.  Planning Using a Temporal World Model , 1983, IJCAI.

[18]  David A. McAllester,et al.  Systematic Nonlinear Planning , 1991, AAAI.

[19]  Chung Hee Hwang,et al.  An Episodic Knowledge Representation for Narrative Texts , 1989, KR.

[20]  Henry A. Kautz,et al.  Constraint propagation algorithms for temporal reasoning: a revised report , 1989 .

[21]  F. Brown.  The frame problem in artificial intelligence , 1987 .

[22]  V. Lifschitz.  Formal theories of action , 1987 .

[23]  C. Cordell Green,et al.  Application of Theorem Proving to Problem Solving , 1969, IJCAI.

[24]  A. Haas.  The Case for Domain-Specific Frame Axioms , 1987 .

[25]  James F. Allen.  Natural language understanding (2nd ed.) , 1995 .

[26]  C. L. Hamblin.  Instants and intervals. , 1971, Studium generale; Zeitschrift fur die Einheit der Wissenschaften im Zusammenhang ihrer Begriffsbildungen und Forschungsmethoden.

[27]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[28]  James F. Allen.  Temporal reasoning and planning , 1991 .

[29]  G. Ferguson.  Explicit Representation of Events, Actions and Plans for Assumption-Based Plan Reasoning , 1992 .

[30]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[31]  R. Reiter,et al.  Temporal reasoning in the situation calculus , 1994 .

[32]  Lenhart K. Schubert,et al.  Integrating Natural Language Understanding and Plan Reasoning in the TRAINS-93 Conversation System , 1994 .

[33]  Ernest Davis.  Infinite Loops in Finite Time: Some Observations , 1992, KR.

[34]  David E. Wilkins,et al.  Practical planning - extending the classical AI planning paradigm , 1989, Morgan Kaufmann series in representation and reasoning.

[35]  Henry A. Kautz,et al.  Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.

[36]  Jerry R. Hobbs,et al.  Interpretation as Abduction , 1993, Artif. Intell..

[37]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[38]  Steven A. Vere,et al.  Planning in Time: Windows and Durations for Activities and Goals , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[39]  M. Georgeff.  Actions, Processes, and Causality , 1987 .

[40]  James F. Allen,et al.  Statistical Probabilities for Planning , 1993 .

[41]  Fahiem Bacchus,et al.  A Non-Reified Temporal Logic , 1989, Artif. Intell..

[42]  Wilfried Ver Eecke.  Zeno Vendler, Linguistics in Philosophy , 1972 .

[43]  Andrew R. Haas.  A Reactive Planner that Uses Explanation Closure , 1992, KR.

[44]  Michael P. Georgeff,et al.  The Representation of Events in Multiagent Domains , 1986, AAAI.

[45]  Andrew B. Baker,et al.  Nonmonotonic Reasoning in the Framework of Situation Calculus , 1991, Artif. Intell..

[46]  Fangzhen Lin,et al.  Concurrent Actions in the Situation Calculus , 1992, AAAI.

[47]  Murray Shanahan,et al.  Prediction is Deduction but Explanation is Abduction , 1989, IJCAI.

[48]  Austin Tate,et al.  Generating Project Networks , 1977, IJCAI.

[49]  Lenhart K. Schubert.  Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds wi , 1990 .

[50]  Henry A. Kautz.  A formal theory of plan recognition , 1987 .

[51]  R. Hursthouse.  THE LOGIC OF DECISION AND ACTION , 1969 .

[52]  Henry A. Kautz.  The Logic of Persistence , 1986, AAAI.

[53]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[54]  Patrick J. Hayes,et al.  Moments and points in an interval‐based temporal logic , 1989, Comput. Intell..

[55]  Erik Sandewall.  Features and fluents : representation of knowledge about dynamical systems , 1994 .

[56]  Drew McDermott,et al.  Default Reasoning, Nonmonotonic Logics, and the Frame Problem , 1986, AAAI.

[57]  Michael Gelfond,et al.  What are the Limitations of the Situation Calculus? , 1991, Automated Reasoning: Essays in Honor of Woody Bledsoe.

[58]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[59]  Drew McDermott,et al.  Temporal Data Base Management , 1987, Artif. Intell..

[60]  A. Goldman.  Theory of Human Action , 1970 .

[61]  Lenhart K. Schubert.  Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change , 1994, J. Log. Comput..

[62]  Lenhart K. Schubert,et al.  The TRAINS Project , 1991 .

[63]  Murray Shanahan,et al.  Narratives in the Situation Calculus , 1994, J. Log. Comput..

[64]  Kave Eshghi,et al.  Abductive Planning with Event Calculus , 1988, ICLP/SLP.

[65]  Alexander P. D. Mourelatos.  Events, processes, and states , 1978 .