Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016) |
| Publication status | Published - 25 Jul 2016 |