Non-Standard Semantics for the Method of Temporal Arguments

An expressive first-order temporal logic using the method of temporal arguments is developed and provided with a non-standard semantics that explicates its underlying temporal structure. Objections from the AI literature against the adequacy of temporal argument theories are answered in the course of discussing representational issues for the developed logic. This logic "accords a special status to time," distinguishes the temporal features of event occurrences from ordinary facts, and supports changing ontologies. We conclude that the method of temporal arguments remains a viable candidate for temporal reasoning in AI.

[1]  Alfred Tarski,et al.  Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .

[2]  Han Reichgelt.  Semantics for reified temporal logic , 1987 .

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

[4]  Yoav Shoham,et al.  Reified Temporal Logics: Semantical and Ontological Considerations , 1986, ECAI.

[5]  Perry Smith.  Review: Richard Montague, Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability , 1975 .

[6]  J W Lewis.  The Inference Machine Laboratory: graphic tools for knowledge management , 1986 .

[7]  Hector J. Levesque,et al.  The consistency of syntactical treatments of knowledge 1 (How to compile quantificational modal logics into classical FOL) , 1988, Comput. Intell..

[8]  Donald Perlis,et al.  Self-Reference, Knowledge, Belief, and Modality , 1986, AAAI.

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

[10]  Donald Perlis,et al.  Language, computation, and reality , 1981 .

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

[12]  Donald Perlis,et al.  Languages With Self-Reference I: Foundations , 1985, Artif. Intell..

[13]  Charles J. Fillmore,et al.  THE CASE FOR CASE. , 1967 .

[14]  Max J. Cresswell,et al.  Formal philosophy, selected papers of richard montague , 1976 .

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

[16]  Ilsoo Ahn,et al.  Towards an implementation of database management systems with temporal support , 1986, 1986 IEEE Second International Conference on Data Engineering.

[17]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[18]  D. McDermott.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..