Knowledge considerations in robotics

Ronen I. Brafman, Yoav Shoham

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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. Our goal is to introduce the reader to these ideas, their underlying motivation and intuition, and their possible applications. In particular we demonstrate the application of these tools by analyzing a maze searching domain [BK78, Don94], and discussing their application to task distribution.

Original languageEnglish
Title of host publicationReasoning with Uncertainty in Robotics - International Workshop, RUR 1995, Proceedings
EditorsMichiel van Lambalgen, Frans Voorbraak, Leo Dorst
PublisherSpringer Verlag
Number of pages15
ISBN (Print)3540613765, 9783540613763
StatePublished - 1 Jan 1996
Externally publishedYes
EventInternational Workshop on Reasoning with Uncertainty in Robotics, RUR 1995 - Amsterdam, Netherlands
Duration: 4 Dec 19956 Dec 1995

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceInternational Workshop on Reasoning with Uncertainty in Robotics, RUR 1995

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science (all)


Dive into the research topics of 'Knowledge considerations in robotics'. Together they form a unique fingerprint.

Cite this