License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.10081.9
URN: urn:nbn:de:0030-drops-26317
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2010/2631/
Go to the corresponding Portal

Ferrein, Alexander

golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems

pdf-format:
10081.Ferrein.2631.pdf (0.3 MB)

Abstract

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.

BibTeX - Entry

@InProceedings{ferrein:DagSemProc.10081.9,
  author =	{Ferrein, Alexander},
  title =	{{golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems}},
  booktitle =	{Cognitive Robotics},
  pages =	{1--15},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10081},
  editor =	{Gerhard Lakemeyer and Hector J. Levesque and Fiora Pirri},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2010/2631},
  URN =		{urn:nbn:de:0030-drops-26317},
  doi =		{10.4230/DagSemProc.10081.9},
  annote =	{Keywords: Action and change, high-level control, robotics}
}

Keywords: Action and change, high-level control, robotics
Collection: 10081 - Cognitive Robotics
Issue Date: 2010
Date of publication: 27.10.2010

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI