John McCarthy, Stanford University, email@example.com
The computer game Lemmings can serve as a new Drosophila for AI research connecting logical formalizations with information that is incompletely formalizable in practice. In this article we discuss the features of the Lemmings world that make it a challenge to both experimental and theoretical AI and present some steps toward formalizing the game using situation calculus.
Preliminary versions of this paper lack important formulas and references to the literature on reactive AI and to computer vision. The formulas present are not yet integrated into a coherent whole.