TY - JOUR A1 - Schiffer, Stefan A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus JF - Journal of Intelligent & Robotic Systems Y1 - 2011 SN - 0921-0296 VL - 63 IS - 2 SP - 273 EP - 300 PB - Springer CY - Berlin ER - TY - JOUR A1 - Niemüller, Tim A1 - Ferrein, Alexander A1 - Eckel, Gerhard A1 - Pirro, David A1 - Podbregar, Patrick A1 - Kellner, Tobias A1 - Rath, Christoph A1 - Steinbauer, Gerald T1 - Providing Ground-truth Data for the Nao Robot Platform JF - RoboCup 2010: Robot Soccer World Cup XIV Y1 - 2011 SN - 978-3-642-20217-9 N1 - Lecture Notes in Computer Science ; 6556 SP - 133 EP - 144 PB - Springer CY - Berlin ER - TY - JOUR A1 - Ferrein, Alexander A1 - Rens, Gavin A1 - Meyer, Thomas A1 - Lakemeyer, Gerhard T1 - A Logic for Specifying Partially Observable Stochastic Domains JF - Proceedings of the Ninth International Workshop pn non-Monotonic Reasoning, Action and Change (NRAC`11) Y1 - 2011 N1 - Technical Report RMIT-TR-11-02 SP - 15 EP - 22 ER - TY - CHAP A1 - Schiffer, Stefan A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - Fuzzy representations and control for domestic service robots in Golog T2 - Intelligent robotics and applications : 4th International conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, proceedings, part I. (Lecture notes in computer science ; 7102) N2 - In the RoboCup@Home 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. Y1 - 2011 SN - 978-3-642-25486-4 U6 - https://doi.org/10.1007/978-3-642-25489-5_24 SP - 241 EP - 250 PB - ACM CY - New York ER - TY - JOUR A1 - Ferrein, Alexander A1 - Niemüller, Tim A1 - Steinbauer, Gerald T1 - Team Zadeat 2010 : application for participation Y1 - 2010 ER - TY - CHAP A1 - Ferrein, Alexander T1 - golog.lua: Towards a non-prolog implementation of Golog for embedded systems T2 - Dagstuhl Seminar Proceedings, Volume 10081 N2 - Among many approaches to address the high-level decision making problem for autonomous robots and agents, the robot program¬ming and plan language Golog follows a logic-based deliberative approach, and its successors were successfully deployed in a number of robotics applications over the past ten years. Usually, Golog interpreter are implemented in Prolog, which is not available for our target plat¬form, the bi-ped robot platform Nao. In this paper we sketch our first approach towards a prototype implementation of a Golog interpreter in the scripting language Lua. With the example of the elevator domain we discuss how the basic action theory is specified and how we implemented fluent regression in Lua. One possible advantage of the availability of a Non-Prolog implementation of Golog could be that Golog becomes avail¬able on a larger number of platforms, and also becomes more attractive for roboticists outside the Cognitive Robotics community. Y1 - 2010 U6 - https://doi.org/10.4230/DagSemProc.10081.9 N1 - Dagstuhl Seminar 10081 "Cognitive Robotics", 21.02. to 26.02.2010, Schloss Dagstuhl - Leibniz Center for Informatics, Wadern, DE SP - 1 EP - 15 ER - TY - CHAP A1 - Niemüller, Tim A1 - Ferrein, Alexander A1 - Beck, Daniel A1 - Lakemeyer, Gerhard T1 - Design principles of the component-based robot software framework Fawkes T2 - Simulation, Modeling, and Programming for Autonomous Robots N2 - The idea of component-based software engineering was proposed more that 40 years ago, yet only few robotics software frameworks follow these ideas. The main problem with robotics software usually is that it runs on a particular platform and transferring source code to another platform is crucial. In this paper, we present our software framework Fawkes which follows the component-based software design paradigm by featuring a clear component concept with well-defined communication interfaces. We deployed Fawkes on several different robot platforms ranging from service robots to biped soccer robots. Following the component concept with clearly defined communication interfaces shows great benefit when porting robot software from one robot to the other. Fawkes comes with a number of useful plugins for tasks like timing, logging, data visualization, software configuration, and even high-level decision making. These make it particularly easy to create and to debug productive code, shortening the typical development cycle for robot software. Y1 - 2010 U6 - https://doi.org/10.1007/978-3-642-17319-6_29 N1 - Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010 SP - 300 EP - 311 PB - Springer CY - Berlin ER - TY - CHAP A1 - Niemüller, Tim A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - A Lua-based behavior engine for controlling the humanoid robot Nao T2 - RoboCup 2009: Robot Soccer World Cup XIII N2 - The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while the bottom layer serves as driver for the hardware. In between is a layer with monitoring and reporting functionality. In this paper we propose a behaviour engine for this middle layer which, based on formalism of hybrid state machines (HSMs), bridges the gap between high-level strategic decision making and low-level actuator control. The behaviour engine has to execute and monitor behaviours and reports status information back to the higher level. To be able to call the behaviours or skills hierarchically, we extend the model of HSMs with dependencies and sub-skills. These Skill-HSMs are implemented in the lightweight but expressive Lua scripting language which is well-suited to implement the behaviour engine on our target platform, the humanoid robot Nao. Y1 - 2010 U6 - https://doi.org/10.1007/978-3-642-11876-0_21 N1 - 13th RoboCup International Symposium, Graz, Austria, June/July, 2009 SP - 240 EP - 251 PB - Springer CY - Berlin ER - TY - CHAP A1 - Ferrein, Alexander A1 - Steinbauer, Gerald T1 - On the Way to High-Level Programming for Resource-Limited Embedded Systems with Golog T2 - Simulation, Modeling, and Programming for Autonomous Robots N2 - In order to allow an autonomous robot to perform non-trivial tasks like to explore a foreign planet the robot has to have deliberative capabilities like reasoning or planning. Logic-based approaches like the programming and planing language Golog and it successors has been successfully used for such decision-making problems. A drawback of this particular programing language is that their interpreter usually are written in Prolog and run on a Prolog back-end. Such back-ends are usually not available or feasible on resource-limited robot systems. In this paper we present our ideas and first results of a re-implementation of the interpreter based on the Lua scripting language which is available on a wide range of systems including small embedded systems. Y1 - 2010 U6 - https://doi.org/10.1007/978-3-642-17319-6_23 N1 - Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010 SP - 229 EP - 240 PB - Springer CY - Berlin ER - TY - CHAP A1 - Rens, Gavin A1 - Varzinczak, Ivan A1 - Meyer, Thomas A1 - Ferrein, Alexander T1 - A Logic for Reasoning about Actions and Explicit Observations T2 - AI 2010: Advances in Artificial Intelligence N2 - We propose a formalism for reasoning about actions based on multi-modal logic which allows for expressing observations as first-class objects. We introduce a new modal operator, namely [o |α], which allows us to capture the notion of perceiving an observation given that an action has taken place. Formulae of the type [o |α]ϕ mean ’after perceiving observation o, given α was performed, necessarily ϕ’. In this paper, we focus on the challenges concerning sensing with explicit observations, and acting with nondeterministic effects. We present the syntax and semantics, and a correct and decidable tableau calculus for the logic Y1 - 2010 U6 - https://doi.org/10.1007/978-3-642-17432-2_40 N1 - 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010 SP - 395 EP - 404 PB - Springer CY - Berlin ER -