Knowledge considerations in robotics

Ronen I. Brafman; Yoav Shoham

doi:10.1007/BFb0013965

Knowledge considerations in robotics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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. 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 language	English
Title of host publication	Reasoning with Uncertainty in Robotics - International Workshop, RUR 1995, Proceedings
Editors	Michiel van Lambalgen, Frans Voorbraak, Leo Dorst
Publisher	Springer Verlag
Pages	248-262
Number of pages	15
ISBN (Print)	3540613765, 9783540613763
DOIs	https://doi.org/10.1007/BFb0013965
State	Published - 1 Jan 1996
Externally published	Yes
Event	International Workshop on Reasoning with Uncertainty in Robotics, RUR 1995 - Amsterdam, Netherlands Duration: 4 Dec 1995 → 6 Dec 1995

Publication series

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

Conference

Conference	International Workshop on Reasoning with Uncertainty in Robotics, RUR 1995
Country/Territory	Netherlands
City	Amsterdam
Period	4/12/95 → 6/12/95

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/BFb0013965

Cite this

Brafman, R. I., & Shoham, Y. (1996). Knowledge considerations in robotics. In M. van Lambalgen, F. Voorbraak, & L. Dorst (Eds.), Reasoning with Uncertainty in Robotics - International Workshop, RUR 1995, Proceedings (pp. 248-262). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1093). Springer Verlag. https://doi.org/10.1007/BFb0013965

Brafman, Ronen I. ; Shoham, Yoav. / Knowledge considerations in robotics. Reasoning with Uncertainty in Robotics - International Workshop, RUR 1995, Proceedings. editor / Michiel van Lambalgen ; Frans Voorbraak ; Leo Dorst. Springer Verlag, 1996. pp. 248-262 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{3e861d761d0a4f2797a7d04b7f6a29ff,

title = "Knowledge considerations in robotics",

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. 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.",

author = "Brafman, {Ronen I.} and Yoav Shoham",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; International Workshop on Reasoning with Uncertainty in Robotics, RUR 1995 ; Conference date: 04-12-1995 Through 06-12-1995",

year = "1996",

month = jan,

day = "1",

doi = "10.1007/BFb0013965",

language = "English",

isbn = "3540613765",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "248--262",

editor = "{van Lambalgen}, Michiel and Frans Voorbraak and Leo Dorst",

booktitle = "Reasoning with Uncertainty in Robotics - International Workshop, RUR 1995, Proceedings",

address = "Germany",

}

Brafman, RI & Shoham, Y 1996, Knowledge considerations in robotics. in M van Lambalgen, F Voorbraak & L Dorst (eds), Reasoning with Uncertainty in Robotics - International Workshop, RUR 1995, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1093, Springer Verlag, pp. 248-262, International Workshop on Reasoning with Uncertainty in Robotics, RUR 1995, Amsterdam, Netherlands, 4/12/95. https://doi.org/10.1007/BFb0013965

Knowledge considerations in robotics. / Brafman, Ronen I.; Shoham, Yoav.
Reasoning with Uncertainty in Robotics - International Workshop, RUR 1995, Proceedings. ed. / Michiel van Lambalgen; Frans Voorbraak; Leo Dorst. Springer Verlag, 1996. p. 248-262 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1093).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Knowledge considerations in robotics

AU - Brafman, Ronen I.

AU - Shoham, Yoav

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1996.

PY - 1996/1/1

Y1 - 1996/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84958772845&partnerID=8YFLogxK

U2 - 10.1007/BFb0013965

DO - 10.1007/BFb0013965

M3 - Conference contribution

AN - SCOPUS:84958772845

SN - 3540613765

SN - 9783540613763

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 248

EP - 262

BT - Reasoning with Uncertainty in Robotics - International Workshop, RUR 1995, Proceedings

A2 - van Lambalgen, Michiel

A2 - Voorbraak, Frans

A2 - Dorst, Leo

PB - Springer Verlag

T2 - International Workshop on Reasoning with Uncertainty in Robotics, RUR 1995

Y2 - 4 December 1995 through 6 December 1995

ER -

Brafman RI, Shoham Y. Knowledge considerations in robotics. In van Lambalgen M, Voorbraak F, Dorst L, editors, Reasoning with Uncertainty in Robotics - International Workshop, RUR 1995, Proceedings. Springer Verlag. 1996. p. 248-262. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/BFb0013965

Knowledge considerations in robotics

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this