Abstracting Away Low-Level Details in Service Robotics with Fuzzy Fluents

ing Away Low-Level Details in Service Robotics with Fuzzy Fluents Stefan Schiffer, Alexander Ferrein, and Gerhard Lakemeyer 1 Knowledge Based Systems Group (KBSG) RWTH Aachen University, Aachen, Germany {schiffer,gerhard}@cs.rwth-aachen.de 2 Mobile Autonomous Systems & Cognitive Robotics Institute (MASCOR) FH Aachen University of Applied Sciences, Aachen, Germany ferrein@fh-aachen.de Abstract. In domestic service robotic applications, complex tasks have In domestic service robotic applications, complex tasks have to be fulfilled in close collaboration with humans. We try to integrate qualitative reasoning and human-robot interaction by bridging the gap in human and robot representations and by enabling the seamless integration of human notions in the robot’s high-level control. The developed methods can also be used to abstract away low-level details of specific robot platforms. These low-level details often pose a problem in re-using software components and applying the same programs and methods in different contexts. When combined with methods for self-maintenance developed earlier these abstractions also allow for seamlessly increasing the robustness and resilience of different robotic systems with only little effort.

[1]  Alexander Ferrein,et al.  Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus , 2012, J. Intell. Robotic Syst..

[2]  Alexander Ferrein,et al.  Fuzzy Representations and Control for Domestic Service Robots in Golog , 2011, ICIRA.

[3]  Luca Iocchi,et al.  RoboCup@Home: Scientific Competition and Benchmarking for Domestic Service Robots , 2009 .

[4]  Alexander Ferrein,et al.  Embedding fuzzy controllers in golog , 2009, 2009 IEEE International Conference on Fuzzy Systems.

[5]  John G. Gibbons Knowledge in Action , 2001 .

[6]  Alexander Ferrein,et al.  Robot Controllers for Highly Dynamic Environments with Real-time Constraints , 2010, KI - Künstliche Intelligenz.

[7]  Gerhard Lakemeyer,et al.  Self-Maintenance for Autonomous Robots controlled by ReadyLog , 2010 .

[8]  Thomas Wisspeintner,et al.  RoboCup X: A Proposal for a New League Where RoboCup Goes Real World , 2005, RoboCup.

[9]  Alexander Ferrein,et al.  Logic-based robot control in highly dynamic domains , 2008, Robotics Auton. Syst..

[10]  Alexander Ferrein,et al.  Caesar: an intelligent domestic service robot , 2012, Intell. Serv. Robotics.

[11]  Alexander Ferrein,et al.  A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus , 2008, ICIRA.

[12]  Alexander Ferrein,et al.  Football is coming home , 2006, PCAR '06.

[13]  J. McCarthy Situations, Actions, and Causal Laws , 1963 .

[14]  V. B. Robinson Individual and multipersonal fuzzy spatial relations acquired using human-machine interaction , 2000, Fuzzy Sets Syst..

[15]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .