Search Results

Documents authored by Schiffer, Stefan


Document
Self-Maintenance for Autonomous Robots in the Situation Calculus

Authors: Stefan Schiffer, Andreas Wortmann, and Gerhard Lakemeyer

Published in: Dagstuhl Seminar Proceedings, Volume 10081, Cognitive Robotics (2010)


Abstract
In order to make a robot execute a given task plan more robustly we want to enable it to take care of its self-maintenance requirements during online execution of this program. This requires the robot to know about the (internal) states of its components, constraints that restrict execution of certain actions and possibly also how to recover from faulty situations. The general idea is to implement a transformation process on the plans, which are specified in the agent programming language ReadyLog, to be performed based on explicit (temporal) constraints. Afterwards, a ’guarded’ execution of the transformed program should result in more robust behavior.

Cite as

Stefan Schiffer, Andreas Wortmann, and Gerhard Lakemeyer. Self-Maintenance for Autonomous Robots in the Situation Calculus. In Cognitive Robotics. Dagstuhl Seminar Proceedings, Volume 10081, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{schiffer_et_al:DagSemProc.10081.15,
  author =	{Schiffer, Stefan and Wortmann, Andreas and Lakemeyer, Gerhard},
  title =	{{Self-Maintenance for Autonomous Robots in the Situation Calculus}},
  booktitle =	{Cognitive Robotics},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10081},
  editor =	{Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10081.15},
  URN =		{urn:nbn:de:0030-drops-26363},
  doi =		{10.4230/DagSemProc.10081.15},
  annote =	{Keywords: Domestic mobile robotics, self-maintenance, robustness}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail