Thinking takes time: a modal active-logic for reasoning IN time

Most commonsense reasoning formalisms do not account for the passage of time as the reasoning occurs, and hence are inadequate from the point of view of modeling an agent’s ongoing process of reasoning. We present a modal active-logic that treats time as a valuable resource that is consumed in each step of the agent’s reasoning. We provide a sound and complete characterization for this logic and exarnine how it addresses the problem of logical omniscience.

[1]  Madhura Nirkhe Time-Situated Reasoning within Tight Deadlines and Realistic Space and Computation Bounds , 1994, AAAI.

[2]  László Dezsö,et al.  Universal Grammar , 1981, Certainty in Action.

[3]  N. Malcolm On Knowledge and Belief , 1954 .

[4]  Donald Perlis,et al.  Stop the world—I want to think , 1990, Int. J. Intell. Syst..

[5]  Sarit Kraus,et al.  Knowledge, Belief and Time , 1986, Theor. Comput. Sci..

[6]  Donald Perlis,et al.  Reasoning situated in time I: basic concepts , 1990, J. Exp. Theor. Artif. Intell..

[7]  Daniel Lehmann,et al.  Knowledge, common knowledge and related puzzles (Extended Summary) , 1984, PODC '84.

[8]  Richard T. Snodgrass,et al.  Extending the relational algebra to support transaction time , 1987, SIGMOD '87.

[9]  Kurt Konolige A Deductive Model of Belief , 1983, IJCAI.

[10]  K. Konolige A deduction model of belief , 1986 .

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

[12]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[13]  Gary G. Hendrix,et al.  Computational Models of Belief and the Semantics of Belief Sentences , 1982 .

[14]  Gerhard Lakemeyer Steps Towards a First-Order Logic of Explicit and Implicit Belief , 1986, TARK.

[15]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[16]  Moshe Y. Vardi On Epistemic Logic and Logical Omniscience , 1986, TARK.

[17]  Richard E. Ladner,et al.  The Logic of Distributed Protocols , 1986, TARK.

[18]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

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

[20]  Nicholas Asher,et al.  Reasoning about Belief and Knowledge with Self-Reference and Time , 1988, TARK.

[21]  Sarit Kraus,et al.  Fully Deadline-Coupled Planning: One Step at a Time , 1991, ISMIS.

[22]  Donald Perlis,et al.  Step-logic: reasoning situated in time , 1988 .

[23]  Sarit Kraus,et al.  Preliminary thoughts on an agent description language , 1991, Int. J. Intell. Syst..

[24]  J. McCarthy Formalization of two Puzzles Involving Knowledge , 1987 .