Using knowledge representation and reasoning tools in the design of robots
Mohan Sridharan, Michael Gelfond · University of Birmingham Research Portal (University of Birmingham) · 2016
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.