Controlling logistics robots with the action-based language YAGI

Alexander Ferrein, Christopher Maier, Clemens Mühlbacher, Tim Niemueller, Gerald Steinbauer, Stavros Vassos

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Abstract

To achieve any meaningful tasks, a robot needs some form of task-level executive which acquires knowledge, reasons or plans, and performs and monitors actions. A formal approach for such agent programming is the Golog agent programming language. Golog is based on a first-order logic representation, and a drawback of common implementations is that in order to program agents, also knowledge of Prolog functionality is typically needed. In this paper, we present a prototype implementation of YAGI, a language rooted in Golog that offers a practical subset of the rich Golog framework in a more familiar syntax. Bridging imperative-style programming with an action-based specification, YAGI is more accessible to developers and provides a better ground for robot task-level executives. Moreover, we developed bindings for popular robotics frameworks such as ROS and Fawkes. As a proof of concept we present a YAGI-based agent for the RoboCup Logistics League which shows the expressiveness and the possibility to easily embed YAGI into robot applications.

Original languageEnglish
Title of host publicationIntelligent Robotics and Applications
Subtitle of host publication9th International Conference, ICIRA 2016, Proceedings
PublisherSpringer Verlag
Pages525-537
Number of pages13
ISBN (Print) 978-3-319-43505-3
DOIs
Publication statusPublished - 2016
Event9th International Conference on Intelligent Robotics and Applications, ICIRA 2016 - Tokyo, Japan
Duration: 22 Aug 201624 Aug 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9834
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference9th International Conference on Intelligent Robotics and Applications, ICIRA 2016
CountryJapan
CityTokyo
Period22/08/1624/08/16

Fingerprint

Logistics
Robot
Robots
Programming
Reactive Oxygen Species
Robot applications
Prolog
Expressiveness
First-order Logic
Computer programming
Computer programming languages
Programming Languages
Robotics
Monitor
Prototype
Specification
Specifications
Subset
Language
Framework

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Ferrein, A., Maier, C., Mühlbacher, C., Niemueller, T., Steinbauer, G., & Vassos, S. (2016). Controlling logistics robots with the action-based language YAGI. In Intelligent Robotics and Applications : 9th International Conference, ICIRA 2016, Proceedings (pp. 525-537). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9834). Springer Verlag. https://doi.org/10.1007/978-3-319-43506-0_46

Controlling logistics robots with the action-based language YAGI. / Ferrein, Alexander; Maier, Christopher; Mühlbacher, Clemens; Niemueller, Tim; Steinbauer, Gerald; Vassos, Stavros.

Intelligent Robotics and Applications : 9th International Conference, ICIRA 2016, Proceedings. Springer Verlag, 2016. p. 525-537 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9834).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Ferrein, A, Maier, C, Mühlbacher, C, Niemueller, T, Steinbauer, G & Vassos, S 2016, Controlling logistics robots with the action-based language YAGI. in Intelligent Robotics and Applications : 9th International Conference, ICIRA 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9834, Springer Verlag, pp. 525-537, 9th International Conference on Intelligent Robotics and Applications, ICIRA 2016, Tokyo, Japan, 22/08/16. https://doi.org/10.1007/978-3-319-43506-0_46
Ferrein A, Maier C, Mühlbacher C, Niemueller T, Steinbauer G, Vassos S. Controlling logistics robots with the action-based language YAGI. In Intelligent Robotics and Applications : 9th International Conference, ICIRA 2016, Proceedings. Springer Verlag. 2016. p. 525-537. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-43506-0_46
Ferrein, Alexander ; Maier, Christopher ; Mühlbacher, Clemens ; Niemueller, Tim ; Steinbauer, Gerald ; Vassos, Stavros. / Controlling logistics robots with the action-based language YAGI. Intelligent Robotics and Applications : 9th International Conference, ICIRA 2016, Proceedings. Springer Verlag, 2016. pp. 525-537 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{b35d5b77e2a14cadbd948666d24cd6eb,
title = "Controlling logistics robots with the action-based language YAGI",
abstract = "To achieve any meaningful tasks, a robot needs some form of task-level executive which acquires knowledge, reasons or plans, and performs and monitors actions. A formal approach for such agent programming is the Golog agent programming language. Golog is based on a first-order logic representation, and a drawback of common implementations is that in order to program agents, also knowledge of Prolog functionality is typically needed. In this paper, we present a prototype implementation of YAGI, a language rooted in Golog that offers a practical subset of the rich Golog framework in a more familiar syntax. Bridging imperative-style programming with an action-based specification, YAGI is more accessible to developers and provides a better ground for robot task-level executives. Moreover, we developed bindings for popular robotics frameworks such as ROS and Fawkes. As a proof of concept we present a YAGI-based agent for the RoboCup Logistics League which shows the expressiveness and the possibility to easily embed YAGI into robot applications.",
author = "Alexander Ferrein and Christopher Maier and Clemens M{\"u}hlbacher and Tim Niemueller and Gerald Steinbauer and Stavros Vassos",
year = "2016",
doi = "10.1007/978-3-319-43506-0_46",
language = "English",
isbn = "978-3-319-43505-3",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "525--537",
booktitle = "Intelligent Robotics and Applications",
address = "Germany",

}

TY - GEN

T1 - Controlling logistics robots with the action-based language YAGI

AU - Ferrein, Alexander

AU - Maier, Christopher

AU - Mühlbacher, Clemens

AU - Niemueller, Tim

AU - Steinbauer, Gerald

AU - Vassos, Stavros

PY - 2016

Y1 - 2016

N2 - To achieve any meaningful tasks, a robot needs some form of task-level executive which acquires knowledge, reasons or plans, and performs and monitors actions. A formal approach for such agent programming is the Golog agent programming language. Golog is based on a first-order logic representation, and a drawback of common implementations is that in order to program agents, also knowledge of Prolog functionality is typically needed. In this paper, we present a prototype implementation of YAGI, a language rooted in Golog that offers a practical subset of the rich Golog framework in a more familiar syntax. Bridging imperative-style programming with an action-based specification, YAGI is more accessible to developers and provides a better ground for robot task-level executives. Moreover, we developed bindings for popular robotics frameworks such as ROS and Fawkes. As a proof of concept we present a YAGI-based agent for the RoboCup Logistics League which shows the expressiveness and the possibility to easily embed YAGI into robot applications.

AB - To achieve any meaningful tasks, a robot needs some form of task-level executive which acquires knowledge, reasons or plans, and performs and monitors actions. A formal approach for such agent programming is the Golog agent programming language. Golog is based on a first-order logic representation, and a drawback of common implementations is that in order to program agents, also knowledge of Prolog functionality is typically needed. In this paper, we present a prototype implementation of YAGI, a language rooted in Golog that offers a practical subset of the rich Golog framework in a more familiar syntax. Bridging imperative-style programming with an action-based specification, YAGI is more accessible to developers and provides a better ground for robot task-level executives. Moreover, we developed bindings for popular robotics frameworks such as ROS and Fawkes. As a proof of concept we present a YAGI-based agent for the RoboCup Logistics League which shows the expressiveness and the possibility to easily embed YAGI into robot applications.

UR - http://www.scopus.com/inward/record.url?scp=84981216527&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-43506-0_46

DO - 10.1007/978-3-319-43506-0_46

M3 - Conference contribution

SN - 978-3-319-43505-3

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 525

EP - 537

BT - Intelligent Robotics and Applications

PB - Springer Verlag

ER -