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, CA 94305
We describe a logic-based AI architecture based
on Brooks' subsumption architecture. In this
architecture, we axiomatize different 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