Contents

 
• Introduction
• Description of the Lemmings Games
• What Needs to be Formalized?
• An Example of Lemming Play
• Physics of the Common Sense Lemming World
• The Problem of Formalization
• Objects in Space in the Lemming World
  • Geometric Objects and Relations
  • Geography of Game1
  • Geography of Game7
• Predicting the Future
  • Persistent Behaviors
  • Attachment
• Programs for Playing Lemmings
  • Planning
  • First Experiments with Lemmings
  • Tree Search
• Some Formulas for a Simple Lemmings Game
  • Next Steps
• Remarks
  • Nonmonotonic Reasoning
  • Maybe projection isn't all Logic.
  • Causal Space and Restricted Situations
  • Formalizing Stratagems
  • Agre and Chapman
• References
• References
• About this document ...