The Logical Approach to Temporal Reasoning

Temporal reasoning started to be considered as a subject of study in artificial intelligence in the late 1970's. Since then several ways to represent and use temporal knowledge have been suggested. As a result of that, there are several formalisms capable of coping with temporal notions in some way or other. They range from isolated proposals to complex systems where the temporal aspect is used together with other important features for the task of modelling an intelligent agent. The purposes of this article are to summarize logic-based temporal reasoning research and give a glance on the different research tracks envisaging future lines of research. It is intended to be useful to those who need to be involved in systems having these characteristics and also an occasion to present newcomers some problems in the area that still waits for a solution.

[1]  Guillermo R. Simari,et al.  Temporal Defeasible Reasoning , 2001, Knowledge and Information Systems.

[2]  Raymond Reiter,et al.  Temporal Reasoning in Logic Programming: A Case for the Situation Calculus , 1993, ICLP.

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

[4]  K D Menix.  Time and change. , 1997, Journal of continuing education in nursing.

[5]  Peter Øhrstrøm,et al.  Temporal Logic , 1994, Lecture Notes in Computer Science.

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

[7]  Patrick J. Hayes,et al.  A Common-Sense Theory of Time , 1985, IJCAI.

[8]  James F. Allen,et al.  Actions and Events in Interval Temporal Logic , 1994, J. Log. Comput..

[9]  Robert Schrag,et al.  Managing Disjunction for Practical Temporal Reasoning , 1992, KR.

[10]  Ruth E. Davis.  Truth, deduction, and computation - logic and semantics for computer science , 1989, Principles of computer science series.

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

[12]  Han Reichgelt,et al.  The Token Reification Approach to Temporal Reasoning , 1996, Artif. Intell..

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

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

[15]  Juan Carlos Augusto,et al.  A Temporal Argumentative System , 1999, AI Commun..

[16]  Christian Freksa,et al.  Temporal Reasoning Based on Semi-Intervals , 1992, Artif. Intell..

[17]  Andre Trudel,et al.  The interval representation problem , 1991, Int. J. Intell. Syst..

[18]  Mario Borillo,et al.  An Extension to Kowalski & Sergot's Event Calculus , 1990, ECAI.

[19]  André Trudel.  Representing and reasoning about a dynamic world , 1990 .

[20]  Lawrence S. Moss.  Exploring Logical Dynamics, Johan van Benthem , 2000, J. Log. Lang. Inf..

[21]  Lee Naish.  The Complexity of Model Checking in Modal Event Calculi , 1997 .

[22]  J. M. Larrazabal,et al.  Reasoning about change , 1991 .

[23]  Yoav Shoham,et al.  Nonmonotonic Reasoning and Causation , 1990, Cogn. Sci..

[24]  Hans Hermes,et al.  Introduction to mathematical logic , 1973, Universitext.

[25]  Vyvyan Evans,et al.  The Structure of Time , 2003 .

[26]  Inmaculada Perez de Guzmán,et al.  LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches , 1995, Log. J. IGPL.

[27]  Andrzej Szałas,et al.  Time and Logic: A Computational Approach , 1995 .

[28]  D. Holdstock.  Past, present--and future? , 2005, Medicine, conflict, and survival.

[29]  Jan Chomicki,et al.  Querying TSQL2 Databases with Temporal Logic , 1996, EDBT.

[30]  Yoav Shoham,et al.  Chronological Ignorance: Experiments in Nonmonotonic Temporal Reasoning , 1988, Artif. Intell..

[31]  Lenhart K. Schubert,et al.  Efficient Temporal Reasoning through Timegraphs , 1993, IJCAI.

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

[33]  F. Barber,et al.  Representation of continuous change with discrete time , 1997, Proceedings of TIME '97: 4th International Workshop on Temporal Representation and Reasoning.

[34]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (Vol. 4): epistemic and temporal reasoning , 1995 .

[35]  Matthew L. Ginsberg,et al.  Essentials of Artificial Intelligence , 2012 .

[36]  Murray Shanahan,et al.  Representing Continuous Change in the Event Calculus , 1990, ECAI.

[37]  Elliott Mendelson,et al.  Introduction to mathematical logic (3. ed.) , 1987 .

[38]  Antony Galton,et al.  A Critical Examination of Allen's Theory of Action and Time , 1990, Artif. Intell..

[39]  Hector J. Levesque,et al.  A Situation Calculus Approach to Modeling and Programming Agents , 1999 .

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

[41]  Bernhard Nebel,et al.  Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra , 1994, JACM.

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

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

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

[45]  Ben C. Moszkowski,et al.  Executing temporal logic programs , 1986, Seminar on Concurrency.

[46]  Raymond W. Turner.  Logic for Artificial Intelligence , 1984 .

[47]  Angelo Montanari,et al.  Modal event calculi with preconditions , 1997, Proceedings of TIME '97: 4th International Workshop on Temporal Representation and Reasoning.

[48]  Donald Nute,et al.  Defeasible Logic and The Frame Problem , 1990 .

[49]  Alessandro Provetti.  Hypothetical Reasoning from Situation Calculus to Event Calculus , 1994, TIME.

[50]  Alexander Bochman,et al.  Concerted Instant-Interval Temporal Semantics I: Temporal Ontologies , 1990, Notre Dame J. Formal Log..

[51]  M. H. A. Newman,et al.  On Order in Time , 1936, Mathematical Proceedings of the Cambridge Philosophical Society.

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

[53]  H. Kamp.  Events, Instants and Temporal Reference , 1979 .

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

[55]  Ana Gabriela Maguitman,et al.  Logical models of argument , 2000, CSUR.

[56]  Dov M. Gabbay,et al.  Advances in Temporal Logic , 2000 .

[57]  Han Reichgelt,et al.  A comparison of first order and modal logics of time. , 1989 .

[58]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[59]  Robert A. Kowalski,et al.  Variants of the Event Calculus , 1995, ICLP.

[60]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

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

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

[63]  Angelo Montanari,et al.  Modal Event Calculus , 1994, ILPS.

[64]  James F. Allen.  Planning as Temporal Reasoning , 1991, KR.

[65]  Gérard Ligozat,et al.  Weak Representations of Interval Algebras , 1990, AAAI.

[66]  Angelo Montanari,et al.  EFFICIENT TEMPORAL REASONING IN THE CACHED EVENT CALCULUS , 1996, Comput. Intell..

[67]  Frank M. Brown.  The modal quantificational logic Z applied to the frame problem , 1990 .

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

[69]  Jürgen Dorn,et al.  Temporal Reasoning in Sequence Graphs , 1992, AAAI.

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

[71]  André Trudel,et al.  The Specification and Implementation of a First Order Logic for Uncertain Temporal Domains , 1994, TIME.

[72]  Drew McDermott,et al.  Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

[73]  Antony Galton,et al.  Temporal logics and their applications , 1987 .

[74]  Antony Galton.  A Critique of Yoav Shoham's Theory of Causal Reasoning , 1991, AAAI.

[75]  Vladimir Lifschitz,et al.  On the Declarative Semantics of Logic Programs with Negation , 1987, Foundations of Deductive Databases and Logic Programming..

[76]  David E. Leasure.  TEMPORAL REASONING WITH THE MODAL LOGIC Z , 1996, Comput. Intell..

[77]  Angelo Montanari,et al.  A Hierarchy of Modal Event Calculi: Expressiveness and Complexity , 2000 .

[78]  D. Nute,et al.  Defeasible logic and temporal projection , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[79]  Gérard Ligozat,et al.  On Generalized Interval Calculi , 1991, AAAI.

[80]  R. B. Braithwaite,et al.  Time and Change , 1928 .

[81]  Gérard Ligozat,et al.  On Relations Between Intervals , 1989, Inf. Process. Lett..

[82]  Thomas Dean,et al.  Temporal imagery: an approach to reasoning about time for planning and problem solving , 1986 .

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

[84]  Dov M. Gabbay,et al.  Temporal logic (vol. 1): mathematical foundations and computational aspects , 1994 .

[85]  Mark Reynolds,et al.  Axiomatisation and decidability ofF andP in cyclical time , 1994, J. Philos. Log..

[86]  A. Galton.  Qualitative Spatial Change , 2001 .

[87]  Mark S. Boddy,et al.  Reasoning About Partially Ordered Events , 1988, Artificial Intelligence.

[88]  Peter B. Ladkin,et al.  On binary constraint problems , 1994, JACM.

[89]  Antony Galton,et al.  The logic of occurrence , 1987 .

[90]  Gérard Huet.  Deduction and computation , 1986 .

[91]  Dov M. Gabbay,et al.  Proceedings of the First International Conference on Temporal Logic , 1994 .

[92]  Fei Song,et al.  Temporal Reasoning During Plan Recognition , 1991, AAAI.

[93]  Henry A. Kautz,et al.  Reasoning about plans , 1991, Morgan Kaufmann series in representation and reasoning.

[94]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[95]  Johan van Benthem,et al.  The Logic of Time , 1983 .

[96]  Yoav Shoham,et al.  A semantical approach to nonmonotonic logics , 1987, LICS 1987.

[97]  Yoav Shoham,et al.  A propositional modal logic of time intervals , 1991, JACM.

[98]  Robert A. Kowalski,et al.  The Situation Calculus and Event Calculus Compared , 1994, ILPS.

[99]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[100]  G. Ligozat.  Intervalles généralisés. II , 1990 .

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

[102]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[103]  Peter B. Ladkin,et al.  Models of Axioms for Time Intervals , 1987, AAAI.

[104]  Drew McDermott,et al.  Problems in Formal Temporal Reasoning , 1988, Artif. Intell..

[105]  Angelo Montanari,et al.  Event Calculus with explicit quantifiers , 1998, Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157).

[106]  D. Gabbay,et al.  Temporal Logic Mathematical Foundations and Computational Aspects , 1994 .

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

[108]  James R. Carnes,et al.  Clustering Temporal Intervals To Generate Reference Hierarchies , 1991, KR.

[109]  Llu S Vila,et al.  Ip: an Instant-period{based Theory of Time , 1994 .

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

[111]  P. Ladkin,et al.  The algebra of convex time intervals , 1987 .

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

[113]  Yoav Shoham,et al.  Time for Action: On the Relation Between Time, Knowledge and Action , 1989, IJCAI.

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

[115]  Akira Fusaoka.  Nonmonotonic reasoning on a constructive time structure , 1996, Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96).

[116]  E. Hajnicz.  An analysis of structure of time in the first order predicate calculus , 1995 .

[117]  James P. Delgrande,et al.  Towards a formal characterization of temporal repetition with closed time , 1998, Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157).

[118]  Danny De Schreye,et al.  The Abductive Event Calculus as a General Framework for Temporal Databases , 1994, ICTL.

[119]  Witold Lukaszewicz,et al.  Reasoning about Plans , 1997, IJCAI.

[120]  Scott D. Goodwin,et al.  Probabilistic Regions of Persistence , 1991, ECSQARU.

[121]  Thomas Dean,et al.  Using temporal hierarchies to efficiently maintain large temporal databases , 1989, JACM.

[122]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[123]  Angelo Montanari,et al.  A Modal Calculus of Partially Ordered Events in a Logic Programming Framework , 1995, ICLP.

[124]  Bertram C. Bruce.  A Model for Temporal References and Its Application in a Question Answering Program , 1972, Artif. Intell..

[125]  Wanli Ma,et al.  An Overview of Temporal and Modal Logic Programming , 1994, ICTL.

[126]  A. White.  Essays on Actions and Events. , 1981 .

[127]  Angelo Montanari,et al.  The Complexity of Model Checking in Modal Event Calculi with Quantifiers , 1998, Electron. Trans. Artif. Intell..

[128]  Peter B. Ladkin,et al.  Time Representation: A Taxonomy of Internal Relations , 1986, AAAI.

[129]  S. Haack.  Philosophy of logics , 1978 .

[130]  Erik Sandewall,et al.  The Range of Applicability of Nonmonotonic Logics for the Inertia Problem , 1993, IJCAI.

[131]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.

[132]  George Ferguson,et al.  Knowledge representation and reasoning for mixed-initiative planning , 1995 .

[133]  Kenneth M. Kahn,et al.  Mechanizing Temporal Knowledge , 1977, Artif. Intell..

[134]  Scott D. Goodwin,et al.  Persistence in continuous first order temporal logics , 1990 .

[135]  Ronald M. Lee,et al.  Temporal inferencing on administrative databases , 1985, Inf. Syst..

[136]  Antony Galton,et al.  The Transition Calculus: a high-level formalism for reasoning about action and change , 1997, J. Exp. Theor. Artif. Intell..

[137]  Ron Shamir,et al.  Algorithms and Complexity for Reasoning about Time , 1992, AAAI.

[138]  Rob Miller,et al.  Situation Calculus Specifications for Event Calculus Logic Programs , 1995, LPNMR.

[139]  Alexander Bochman,et al.  Concerted Instant-Interval Temporal Semantics II: Temporal Valuations and Logics of Change , 1990, Notre Dame J. Formal Log..