Fuzzy Representations and Control for Domestic Service Robots in Golog

In the [email protected] domestic service robot competition, 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 concepts and showed how to embed fuzzy controllers in Golog. In this paper, we demonstrate how these notions can be fruitfully applied to two domestic service robotic scenarios. In the first application, we demonstrate how qualitative fluents based on a fuzzy set semantics can be deployed. In the second program, we show an example of a fuzzy controller for a follow-a-person task.

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

[2]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

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

[4]  Henrik Grosskreutz,et al.  Probabilistic Projection and Belief Update in the pGOLOG Framework , 2000, GI Jahrestagung.

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

[6]  Eliseo Clementini,et al.  Qualitative Representation of Positional Information , 1997, Artif. Intell..

[7]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

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

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

[10]  Craig Boutilier,et al.  Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.

[11]  Thomas Wisspeintner,et al.  RoboCup@Home: Creating and Benchmarking Tomorrows Service Robot Applications , 2007 .

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

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

[14]  Gerhard Lakemeyer,et al.  ccGolog -- A Logical Language Dealing with Continuous Change , 2003, Log. J. IGPL.

[15]  Raymond Reiter,et al.  Some contributions to the metatheory of the situation calculus , 1999, JACM.

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

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

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