Summary: Appears in 5th Symposium on Logical Formalization of Commonsense Reasoning (Commonsense '2001).
LiSA: A Robot Driven by Logical Subsumption
Eyal Amir and Pedrito Maynard­Reid II
Computer Science Department
Stanford University
Stanford, CA 94305
feyal.amir,pedmayng@cs.stanford.edu
Abstract
This paper describes an implemented robot­control
system that is based on Brooks­style subsumption
[3] of logical theories. It implements Brooks­style
subsumption between layers using nonmonotonic
reasoning. We describe the control and reason­
ing algorithms and some of the experiments that
we did with the system, running on a Nomad200
robot and a set of computers. Our experimen­
tal study shows that commonsense theories and
general­purpose first­order logic theorem provers
can be used to control real­time agents and robots
in particular. Our system improves over traditional

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

Collections: Computer Technologies and Information Sciences