Knowledge considerations in robotics

  • Ronen I. Brafman
  • Yoav Shoham
Accepted Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1093)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BK78]
    M. Blum and D. Kozen. On the power of the compass (or, why mazes are easier to search than graphs). In Proc 19th Symp. Found. Comp. Sci., 1978.Google Scholar
  2. [Bra96]
    R. I. Brafman. Qualitative Agent Models: Foundations and Applications. PhD thesis, Stanford University, January 1996.Google Scholar
  3. [BS95]
    R. I. Brafman and Y. Shoham. Knowledge considerations in robotics and distribution of robotic tasks. In Proc. Fourteenth International Joint Conference on AI, 1995.Google Scholar
  4. [Bud75]
    L. Budach. On the solution of the labyrinth problem for finite automata. EIK, 11:661–672, 1975.Google Scholar
  5. [Don94]
    B. R. Donald. On information invariants in robotics. Artif. Intell., 72(1):217–304, 1994.CrossRefGoogle Scholar
  6. [Erd94]
    M. Erdmann. Understanding actions and sensing by, designing action-based sensors. In IEEE ICRA Workshop on Design, 1994.Google Scholar
  7. [FHMV95]
    R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, 1995.Google Scholar
  8. [HM90]
    J. Y. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. J. ACM, 37(3):549–587, 1990.CrossRefGoogle Scholar
  9. [LPMT84]
    T. Lozano-Pérez, M. T. Mason, and R. H. Taylor. Automatic synthesis of fine-motion strategies for robots. Int. J. of Rob. Res., 3(1):3–24, 1984.Google Scholar
  10. [Moo85]
    R. C. Moore. A formal theory of knowledge and action. In Formal Theories of the Common Sense World, 1985.Google Scholar
  11. [RK95]
    S. J. Rosenschein and L. P. Kaelbling. A situated view of representation and control. Artificial Intelligence, 73(1–2):149–174, 1995.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Ronen I. Brafman
    • 1
  • Yoav Shoham
    • 1
  1. 1.Stanford UniversityStanfordUSA

Personalised recommendations