Summary: Appears in Proceedings of 16th Int'l Joint Conference on Artificial Intelligence (IJCAI '99).
Logic­Based Subsumption Architecture
Eyal Amir and Pedrito Maynard­Reid II
Computer Science Department
Stanford University
Stanford, CA 94305
{eyala,pedmayn}@cs.stanford.edu
Abstract
We describe a logic­based AI architecture based
on Brooks' subsumption architecture. In this
architecture, we axiomatize di#erent layers of
control in First­Order Logic (FOL) and use
independent theorem provers to derive each
layer's outputs given its inputs. We implement
the subsumption of lower layers by higher lay­
ers using circumscription to make assumptions
in lower layers, and nonmonotonically retract
them when higher layers draw new conclusions.
We also give formal semantics to our approach.
Finally, we describe four layers designed for the

Source: Amir, Eyal - Department of Computer Science, University of Illinois at Urbana-Champaign

Collections: Computer Technologies and Information Sciences