Self-Maintenance for Autonomous Robots in the Situation Calculus

Authors Stefan Schiffer, Andreas Wortmann, Gerhard Lakemeyer



PDF
Thumbnail PDF

File

DagSemProc.10081.15.pdf
  • Filesize: 204 kB
  • 8 pages

Document Identifiers

Author Details

Stefan Schiffer
Andreas Wortmann
Gerhard Lakemeyer

Cite As Get BibTex

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) https://doi.org/10.4230/DagSemProc.10081.15

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.

Subject Classification

Keywords
  • Domestic mobile robotics
  • self-maintenance
  • robustness

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
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