首页 /研究 /Stop the world—I want to think
OTHER

Stop the world—I want to think

Donald Perlis, Jennifer J. Elgot-Drapkin, Michael J. Miller

发表年份
1991
引用次数
11

摘要

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.

关键词

Action (physics)Computer scienceStatement (logic)Frame problemCovertSemantic reasonerFrame (networking)Motion (physics)Artificial intelligenceZeno's paradoxes

相关论文

查看 OTHER 分类全部论文