Knowledge considerations in robotics and distribution of robotic tasks

Authors:
Ronen I. Brafman;Yoav Shoham
Affiliations:
Robotics Laboratory, Stanford University, Stanford, CA;Robotics Laboratory, Stanford University, Stanford, CA
Venue:
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Year:
1995

Citing 6
Cited 1

Formal theories of knowledge in AI and robotics

New Generation Computing
Knowledge and common knowledge in a distributed environment

Journal of the ACM (JACM)
On information invariants in robotics

Artificial Intelligence - Special volume on computational research on interaction and agency, part 1
Reasoning about knowledge

Reasoning about knowledge
Knowledge as a tool in motion planning under uncertainty

TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Spatial Planning: A Configuration Space Approach

IEEE Transactions on Computers

Planning with concurrent interacting actions

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We develop a formal tool for representing and analyzing informational aspects of robotic tasks, based on the formal concept of 'knowledge.' Specifically, we adopt the notion of knowledge-based protocols from distributed systems, and define 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 sufficiently rigorous and natural to allow many extensions. In this paper we show one novel application - the automated distribution of robotic tasks.