Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus

TitleReasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus
Publication TypeJournal Article
Year of Publication2011
AuthorsSchiffer, S., A. Ferrein, and G. Lakemeyer
Refereed DesignationRefereed
Journal TitleJournal of Intelligent and Robotic Systems. Special Issue on Domestic Service Robots in the Real World.
Date PublishedApril 2012
Volume66
Number1-2
Pagination273-300
PublisherSpringer
Abstract

In this paper, we present a thorough integration of qualitative representations and reasoning for positional information for domestic service robotics domains into our high-level robot control. In domestic settings for service robots like in the RoboCup@Home competitions, complex tasks such as ``get the cup from the kitchen and bring it to the living room'' or ``find me this and that object in the apartment'' have to be accomplished. At these competitions the robots may only be instructed by natural language. As humans use qualitative concepts such as ``near'' or ``far'', the robot needs to cope with them, too. For our domestic robot, we use the robot programming and plan language Readylog, our variant of Golog. In previous work we extended the action language Golog, which was developed for the high-level control of agents and robots, with fuzzy set-based qualitative concepts. We now extend our framework to positional fuzzy fluents with an associated positional context called frames. With that and our underlying reasoning mechanism we can transform qualitative positional information from one context to another to account for changes in context such as the point of view or the scale.
We demonstrate how qualitative positional fluents based on a fuzzy set semantics can be deployed in domestic domains and showcase how reasoning with these qualitative notions can seamlessly be applied to a fetch-and-carry task in a RoboCup@Home scenario.

URLhttp://www.springer.com/engineering/robotics/journal/10846
DOI10.1007/s10846-011-9606-0
Citation Key Schiffer:Ferrein:Lakemeyer:JINT2011:FuzzyAtHome
Refereed DesignationRefereed
AttachmentSize
JINT2011fuzzyathome.pdf512.04 KB
Submitted by stf on 24. June 2011 - 13:22