License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.10081.15
URN: urn:nbn:de:0030-drops-26363
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2010/2636/
Go to the corresponding Portal

Schiffer, Stefan ; Wortmann, Andreas ; Lakemeyer, Gerhard

Self-Maintenance for Autonomous Robots in the Situation Calculus

pdf-format:
10081.Schiffer.2636.pdf (0.2 MB)

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: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/opus/volltexte/2010/2636},
  URN =		{urn:nbn:de:0030-drops-26363},
  doi =		{10.4230/DagSemProc.10081.15},
  annote =	{Keywords: Domestic mobile robotics, self-maintenance, robustness}
}

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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI