Golog Speaks the BDI Language

Abstract

Abstract. 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.

Incorporating Usability Evaluation in Software Development Environments

“…We achieve this by providing the definition of a formal task modeling language TaMoGolog. This language was created on the foundations of the Golog-family [18,19,20,73,107] of high-level programming languages. Conducting usability evaluation at the IDE level through TaMoGolog-based task models enables us to record user and system activities and behavior as per the defined mode, to analyze automatically the results by comparing the task models and the recorded data, and to draw conclusions to derive relevant design and development tasks for further improvement in developing product.…”

“…In the forthcoming chapters, we deal with these two goals one by one. Firstly, we provide a way to write formal task models through a task modeling language, called TaMoGolog, which works on the foundations of the Gologfamily [18,19,20,73,107] of high-level programming languages. Secondly, we provide a framework for performing usability evaluation through TaMoGologbased task models.…”

“…This chapter is devoted to define a general conceptual framework for constructing task models from multi-view perspectives and to provide the definition of TaMoGolog (Task Modeling Golog) task modeling language that was created on the top of the foundations of Golog-family [18,19,20,73,107] of high-level programming languages. This work provides a foundation that is needed for our approach of automated task-model based usability evaluation at the development-environment level.…”

“…This section provides a preliminary background about the Golog-family of high-level programming languages [18,19,20,73,107] that works on the theoretical foundation of situation calculus [102]. Our proposed task modeling language TaMoGolog is built on top of the Golog-family and uses situation calculus as a foundational framework, so we go through the situation calculus and the relevant languages in the Golog-family in the following sub-sections.…”

“…The first language created in this family was Golog (alGOl in LOGic) [73], and since then, several extensions have been proposed where each extension further enhanced certain constructs or functionalities. The extensions, we are interested in, are: ConGolog (Concurrent Golog) [18], IndiGolog (incremental deterministic Golog) [19], GameGolog (Game Structure Golog) [20], and an extension that formalizes the BDI (Belief-Desire-Intention) action theory [107].…”