Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Appears in Proceedings of 16th Int'l Joint Conference on Artificial Intelligence (IJCAI '99). LogicBased Subsumption Architecture
 

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