Academia.eduAcademia.edu

Outline

Title
Abstract
Introduction
The Status Quo and Related Work
Discussion and Rationale
Conclusion and Outlook
References
All Topics
Computer Science

golog++ : An Integrative System Design

Profile image of Alexander FerreinAlexander Ferrein

2018

Abstract

Golog is a language family with great untapped potential. We argue that it could become a practical and widely usable high-level control language, if only it had an implementation that is usable in a production environment. In this paper, we do not specify another Golog interpreter, but an extensible C++ framework that defines a coherent grammar, developer tool support, internal/external consistency checking with clean error handling, and a simple, portable platform interface. The framework specifically does not implement language semantics. For this purpose we can simply hook into any of the many existing implementations that do very well in implementing language semantics, but fall short in regards to interfacing, portability, usability and practicality in general.

Related papers

Golog Speaks the BDI Language
Yves Lesperance

Lecture Notes in Computer Science, 2010

In this paper, we relate two of the most well developed approaches to agent-oriented programming, namely, BDI (Belief-Desire-Intention) style programming and "Golog-like" high-level programming. In particular, we show how "Golog-like" programming languages can be used to develop BDI-style agent systems. The contribution of this paper is twofold. First, it demonstrates how practical agent systems can be developed using high-level languages like Golog or IndiGolog. Second, it provides BDI languages a clear classical-logic-based semantics and a powerful logical foundation for incorporating new reasoning capabilities not present in typical BDI systems.

View PDFchevron_right
Logic+ Control revisited: an abstract interpreter for Giodel programs
Elvinia Riccobene

1994

Abstract 1 We develop a simple interpreter for programs of the new logic programming language Giodel. The definition provides a clean interface between logical and control components for execution of Giodel programs. The construction is given in abstract terms which cover the general logic programming paradigm and allow for concurrency. The formalization directly reflects the intuitive procedural understanding of programs, but is formulated at the level of abstract search spaces and proceeds in a modular fashion.

View PDFchevron_right
Foundation for a C++ programming environment
Richard Gabriel

Proceedings of C++ at …, 1990

Over the last two years we have been designing and implementing an architecture for environments along with an instantiation of that architecture as a C++ programming environment. To do this we have examined the most effective environments-programming or otherwise-and gathered features we would like to see in next-generation environments, and from this we have designed a minimal set of constructs. Among the most difficult to achieve is tight integration without implementing all tools as a monolith. The result is a prototype of a very tightly integrated C++ environment to which it is easy to connect additional C++ programming tools, CASE tools, configuration management tools, and documentation support tools. The environment can be easily extended for multi-programmer groups. Written entirely in C++, this environment uses advanced object-oriented programming techniques and provides persistent C++ instances. A new paradigm for integrationannotations-has been developed which unifies control integration, data integration, and user interfaces.

View PDFchevron_right
P++: a language for software system generators
Don Batory

1993

P++ is a programming language that supports the GenVoca model, a particular style of software design that is intended for building software system generators. P++ is an enhanced version of C++: it offers linguistic extensions for component encapsulation, abstraction, parameterization, and inheritance, where a component is a suite of interrelated classes and functions. This paper describes the motivations for P++, the ideas which underlie its design, the syntax and features of the language, and related areas of research.

View PDFchevron_right
First class grammars for language oriented programming.
Tony Clark

2009

Programming languages that support Language Oriented Programming (LOP) allow developers to extend the host language with new programming features. The extensions include new concrete syntax constructs that are both re-placements for and interleaved with the host language. This paper describes the general features that are re-quired in order to support the LOP approach in a lan-guage.

View PDFchevron_right
Phobos: A front-end approach to extensible compilers (long version
Adam Granicz

2002

1 This paper describes a practical approach for imple-menting domain-specific languages with extensible compil-ers. Given a compiler with one or more front-end lan-guages, we introduce the idea of a “generic ” front-end that allows the syntactic and semantic specification of domain-specific languages. Phobos, our generic front-end, offers modular language specification, allowing the programmer to define new syntax and semantics incrementally. A key feature of our approach is the use of an open term language that can be used to describe arbitrary syntax, and the use of a term rewriting engine to encode semantic ac-tions. The term language is expressive. Scoping can be defined explicitly, and term rewrites use second-order sub-stitution, allowing the use of higher-order abstract syntax if needed. Given a language specification and a source string, the generic front-end constructs a push-down automaton (PDA) based on the supplied grammar, lexes the source string, and simulates the cons...

View PDFchevron_right
Supporting control definition in programming languages
Giovanni Guida

Computer Languages, 1984

Abstract The paper is devoted to illustrate a new approach to control definition in programming languages. The DIL system developed by the authors to allow a user to define and utilize his own control mechanisms in program design and construction is presented. The motivations of the proposal are discussed in the frame of software engineering and abstraction programming. The main features of DIL are introduced in an informal way through a number of examples of increasing complexity. The basic mode of operation of ...

View PDFchevron_right
Kanor: A Declarative Language for Explicit Communication
Andrew Lumsdaine

2011

Programmers of high-performance applications face two major implementation options: to use a high-level language which manages communication implicitly or to use a low-level language while specifying communication explicitly. The high-level approach offers safety and convenience, but forces programmers to give up control, making it difficult to hand-tune communications or to estimate communication cost. The low-level approach retains this control, but forces programmers to express communication at a verbose, tedious, and errorprone level of detail. We advocate a complementary third approach in which the programmer declaratively, but explicitly, specifies the essence of the communication pattern. The programmer lets the implementation handle the details when appropriate, but retains enough control to hand-encode communications when necessary. In this paper we present Kanor, a language for declaratively expressing explicit communication patterns, and demonstrate how Kanor safely, succinctly, and efficiently expresses both point-to-point and collective communications.

View PDFchevron_right
A semantics-directed compiler generator
Lawrence Paulson

1982

View PDFchevron_right
ProFun - A Language for Executable Specifications
Michaela Huhn

1996

We present a new programming language ProFun which is aimed for the specification and prototype implementation of reactive systems. ProFun combines the paradigms of concurrent and functional programming. A formal operational semantics is developed as a basis for verification techniques. We have implemented a ProFun-compiler which uses C++ as its target language.

View PDFchevron_right

References (18)

  1. G. De Giacomo, Y. Lespérance, H. J. Levesque, and S. Sardina. Indigolog: A high-level programming language for embedded reasoning agents. In Multi-Agent Programming:, pages 31- 72. Springer, 2009.
  2. A. Dix, J. Finlay, G. D. Abowd, and R. Beale. Design rules. In Human-Computer Interaction, chapter 7, pages 258-288. Pearson Education Limited, 3rd edition, 2004.
  3. A. Ferrein, C. Fritz, and G. Lakemeyer. Using golog for deliberation and team coordination in robotic soccer. KI, 19(1):24, 2005.
  4. A. Ferrein and G. Lakemeyer. Logic-based robot control in highly dynamic domains. Robotics and Autonomous Systems, 56(11):980-991, 2008.
  5. A. Ferrein, G. Steinbauer, and S. Vassos. Action- based imperative programming with YAGI. In Proceedings of the 8th International Conference on Cognitive Robotics. AAAI Press, 2012.
  6. D. Hähnel, W. Burgard, and G. Lakemeyer. GOLEX -bridging the gap between logic (GOLOG) and a real robot. In O. Herzog and A. Günter, editors, KI-98: Advances in Artificial Intelligence, pages 165-176, Berlin, Heidelberg, 1998. Springer Berlin Heidelberg.
  7. P. Hitzler, M. Krötzsch, B. Parsia, P. F. Patel- Schneider, and S. Rudolph. OWL 2 web on- tology language primer. W3C recommendation, 27(1):123, 2009.
  8. T. Hofmann, V. Mataré, S. Schiffer, A. Ferrein, and G. Lakemeyer. Constraint-based online trans- formation of abstract plans into executable robot actions. In AAAI Spring Symposium 2018 on Integrating Representation, Reasoning, Learning, and Execution for Goal Directed Autonomy, Stan- ford, CA, USA, 2018.
  9. F. F. Ingrand, R. Chatila, R. Alami, and F. Robert. PRS: A high level supervision and con- trol language for autonomous mobile robots. In IEEE International Conference on Robotics and Automation, volume 1, pages 43-49, 1996.
  10. L. Kunze, T. Roehm, and M. Beetz. Towards se- mantic robot description languages. In IEEE In- ternational Conference on Robotics and Automa- tion, pages 5589-5595, 2011.
  11. H. J. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. B. Scherl. GOLOG: A Logic Programming Language for Dynamic Domains. Journal of Logic Programming, 31(1-3):59-84, April-June 1997.
  12. S. A. McIlraith, T. C. Son, and H. Zeng. Semantic web services. IEEE Intelligent Systems, 16(2):46- 53, Mar 2001.
  13. B. Motik, B. C. Grau, I. Horrocks, Z. Wu, A. Fok- oue, C. Lutz, et al. OWL 2 web ontology language profiles. W3C recommendation, 27:61, 2009.
  14. T. Niemueller, A. Ferrein, D. Beck, and G. Lake- meyer. Design principles of the component-based robot software framework fawkes. In Interna- tional Conference on Simulation, Modeling, and Programming for Autonomous Robots, pages 300- 311. Springer, 2010.
  15. M. Quigley, K. Conley, B. Gerkey, J. Faust, T. Foote, J. Leibs, R. Wheeler, and A. Y. Ng. ROS: an open-source robot operating system. In ICRA workshop on open source software, vol- ume 3, page 5. Kobe, Japan, 2009.
  16. M. Reichardt, T. Föhst, and K. Berns. An overview on framework design for autonomous robots. it-Information Technology, 57(2):75-84, 2015.
  17. S. Schiffer, A. Ferrein, and G. Lakemeyer. Cae- sar -An Intelligent Domestic Service Robot. Journal of Intelligent Service Robotics, 23(Special Issue on Artificial Intelligence in Robotics: Sens- ing, Representation and Action):259-273, 2012.
  18. R. M. Wygant. CLIPS -a powerful development and delivery expert system tool. Computers & industrial engineering, 17(1-4):546-549, 1989.

Related papers

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

2010

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.

View PDFchevron_right
Interpreting Golog programs in FLUX
Stephan Schiffel

2005

A new semantics for the programming language Golog is presented based on Fluent Calculus. The semantics lays the foundation for interpreting Golog programs in Flux. This allows to employ the principle of progression to update a state specification and to evaluate fluent conditions in Golog programs directly against an updated state. 1 Below, δ, δ1, δ2 are Golog programs, φ is a formula with fluents as atoms, and v is a variable.

View PDFchevron_right
A high-level programming and command language
Christopher Fraser

1983

Unifying programming and command languages is a promising idea that has yet to be thoroughly exploited. Most attempts at such unification have used Lisp or traditional languages, such as Pascal. This paper describes the command and programming language EZ, which attempts to unify command-and programming languages by using high-level stringprocessing concepts, such as those in SNOBOL4 and Icon. EZ has particularly simple data abstractions that attempt to bridge the gap between the data abstractions of command languages and those of programming languages. This is accomplished by type fusion, which pushes the differences between some classes of types, such as strings and text files, out of the language and into the implementation. The language, its use, and its implementation are described.

View PDFchevron_right
Integrating golog++ and ROS for Practical and Portable High-level Control
Alexander Ferrein

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

The field of Cognitive Robotics aims at intelligent decision making of autonomous robots. It has matured over the last 25 or so years quite a bit. That is, a number of high-level control languages and architectures have emerged from the field. One concern in this regard is the action language GOLOG. GOLOG has been used in a rather large number of applications as a high-level control language ranging from intelligent service robots to soccer robots. For the lower level robot software, the Robot Operating System (ROS) has been around for more than a decade now and it has developed into the standard middleware for robot applications. ROS provides a large number of packages for standard tasks in robotics like localisation, navigation, and object recognition. Interestingly enough, only little work within ROS has gone into the high-level control of robots. In this paper, we describe our approach to marry the GOLOG action language with ROS. In particular, we present our architecture on integrating golog++, which is based on the GOLOG dialect Readylog, with the Robot Operating System. With an example application on the Pepper service robot, we show how primitive actions can be easily mapped to the ROS ActionLib framework and present our control architecture in detail.

View PDFchevron_right
C++: Evolving Toward a More Powerful Language
James Coplien

AT&T Technical Journal, 1988

View PDFchevron_right

Related topics

  • Computer Science
    • 580 California St., Suite 400
    San Francisco, CA, 94104
    © 2025 Academia. All rights reserved