Stop the world—I want to think

Reason‐based actions plunge the reasoner into temporal considerations from all angles. We see this not only when time enters explicitly into the problem statement, but also in formal robot blocks‐world scenarios, in the Yale Shooting Problem, and other associated versions of the frame problem (e.g., Hanks and McDermott1), in various specialized actions (e.g., hiding, as in Allen2), and so on. In short, where there is action, there is time, and where there is time, there is a potential need for reasoning about time. Where, then, is the action? It certainly includes the usual overt physical acts of motion, and also certain covert behaviors such as hiding or watching. In these, of course, time is important. But there is another angle that is not usually noted, one that we have been exploring for the past several years3–6. Namely, action also occurs in the form of mere thinking or reasoning. Moreover, the very same temporal considerations apply to this reasoning behavior. This leads us to view reasoning itself as a kind of action, with the obvious yet nontrivial consequence that our reasoning goes on “as the world turns.” the present article offers various arguments in support of this position.

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

[2]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[3]  Mark S. Boddy,et al.  An Analysis of Time-Dependent Planning , 1988, AAAI.

[4]  Kurt Konolige Belief and incompleteness , 1984 .

[5]  Stuart J. Russell,et al.  Principles of Metareasoning , 1989, Artif. Intell..

[6]  John Grant,et al.  Classifications for inconsistent theories , 1978, Notre Dame J. Formal Log..

[7]  Donald Perlis,et al.  On the consistency of commonsense reasoning , 1986, Comput. Intell..

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

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

[10]  Donald Perlis,et al.  STEP-LOGICS: AN ALTERNATIVE APPROACH TO LIMITED REASONING , 1986 .

[11]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[12]  Robert C. Moore Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

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

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

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

[16]  J Drapkin,et al.  A preliminary excursion into step-logics , 1986, ISMIS '86.

[17]  Jennifer J. Elgot-Drapkin A Real-time Solution to the Wise-men Problem , 1991 .

[18]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[19]  Fangzhen Lin,et al.  Reasoning in the Presence of Inconsistency , 1987, AAAI.

[20]  Donald Perlis,et al.  LIFE ON A DESERT ISLAND: ONGOING WORK ON REAL-TIME REASONING , 1987 .

[21]  F. J. Pelletier,et al.  316 Notre Dame Journal of Formal Logic , 1982 .

[22]  Newton C. A. da Costa,et al.  On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..

[23]  Andrew Haas,et al.  Possible events, actual events, and robots , 1985 .

[24]  Donald Perlis,et al.  Languages with Self-Reference II: Knowledge, Belief, and Modality , 1988, Artif. Intell..

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

[26]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..