Self-Maintenance for Autonomous Robots in the Situation Calculus

TitleSelf-Maintenance for Autonomous Robots in the Situation Calculus
Publication TypeProceedings Article
Year of Publication2010
AuthorsSchiffer, S., A. Wortmann, and G. Lakemeyer
Refereed DesignationRefereed
Conference NameCognitive Robotics
Series TitleDagstuhl Seminar Proceedings
Number10081
PublisherSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
Conference LocationDagstuhl, Germany
EditorLakemeyer, G., H. J. Levesque, and F. Pirri
ISSN Number1862-4405
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.

URLhttp://drops.dagstuhl.de/opus/volltexte/2010/2636
Citation Key SchifferEtAl:CogRob2010:SMaRT
Refereed DesignationRefereed
Submitted by stf on 24. June 2011 - 14:29