Logic-Based Subsumption Architecture
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 147-151.
Abstract
We describe a logic-based AI architecture based on Brook s' subsumption architecture. In this architecture, we axiomatize differe nt layers of control in First-Order Logic (FOL) and use independe nt theorem provers to derive each layer's outputs given its inputs . We implement the subsumption of lower layers by higher layers using circumscription to make assumptions in low er 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 task of robot control and an experiment that empiri ca lly shows the feasibility of using fully expressive FOL theorem provers for robot control with our architecture.
@inproceedings{ijcai1999p22,
title = {Logic-Based Subsumption Architecture},
author = {Amir, Eyal and II, Pedrito Maynard-Reid},
booktitle = {Proceedings of the Sixteenth International Joint Conference on
Artificial Intelligence, {IJCAI-99}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Thomas Dean},
pages = {147--151},
year = {1999},
note = {Automated Reasoning},
url = {https://ijcai.org/proceedings/1999/22},
}
TY - CPAPER TI - Logic-Based Subsumption Architecture AU - Amir, Eyal AU - II, Pedrito Maynard-Reid T2 - Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99 PB - International Joint Conferences on Artificial Intelligence PY - 1999 SP - 147 EP - 151 UR - https://ijcai.org/proceedings/1999/22 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
