Abstract
We develop a formal tool for representing and analyzing informational aspects of robotic tasks, based on the formal concept of `knowledge.' Specically, we adopt the notion of
knowledge-based protocols from distributed systems, and dene the notions of knowledge complexity of a robotic task and knowledge capability of a robot. The resulting formalism
naturally captures previous work in the areas of robot information management, but is suciently rigorous and natural to allow many extensions. In this paper we show one novel application { the automated distribution of robotic tasks
knowledge-based protocols from distributed systems, and dene the notions of knowledge complexity of a robotic task and knowledge capability of a robot. The resulting formalism
naturally captures previous work in the areas of robot information management, but is suciently rigorous and natural to allow many extensions. In this paper we show one novel application { the automated distribution of robotic tasks
| Original language | English GB |
|---|---|
| Title of host publication | Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes |
| Publisher | Morgan Kaufmann Publishers, Inc. |
| Pages | 96-102 |
| Number of pages | 7 |
| State | Published - 1995 |