Using knowledge representation and reasoning tools in the design of robots

摘要

The paper describes the authors’ experience in using knowledge representation and reasoning tools in the design of robots. The focus is on the systematic construction of models of the robot’s capabilities and its domain at different resolutions, and on establishing a clear relationship between the models at the different resolutions.