Summary: Appears in Proceedings of 16th Int'l Joint Conference on Artificial Intelligence (IJCAI '99).
LogicBased Subsumption Architecture
Eyal Amir and Pedrito MaynardReid II
Computer Science Department
Stanford, CA 94305
We describe a logicbased AI architecture based
on Brooks' subsumption architecture. In this
architecture, we axiomatize di#erent layers of
control in FirstOrder 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