License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-26363
URL: http://drops.dagstuhl.de/opus/volltexte/2010/2636/

Schiffer, Stefan ; Wortmann, Andreas ; Lakemeyer, Gerhard

Self-Maintenance for Autonomous Robots in the Situation Calculus

pdf-format:
Dokument 1.pdf (205 KB)


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.

BibTeX - Entry

@InProceedings{schiffer_et_al:DSP:2010:2636,
  author =	{Stefan Schiffer and Andreas Wortmann and Gerhard Lakemeyer},
  title =	{Self-Maintenance for Autonomous Robots in the Situation Calculus},
  booktitle =	{Cognitive Robotics},
  year =	{2010},
  editor =	{Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri},
  number =	{10081},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2010/2636},
  annote =	{Keywords: Domestic mobile robotics, self-maintenance, robustness}
}

Keywords: Domestic mobile robotics, self-maintenance, robustness
Seminar: 10081 - Cognitive Robotics
Issue date: 2010
Date of publication: 27.10.2010


DROPS-Home | Fulltext Search | Imprint Published by LZI