A Formal Architecture for the 3APL Agent Programming Language

Abstract

Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in the face of more varied and unpredictable forms of interaction. One class of agents, typically called intelligent agents, represent their world symbolically according to their beliefs, have goals which need to be achieved, and adopt plans or intentions to achieve them. Now, one approach to building agents is to design a programming language whose semantics are based on some theory of rational or intentional agency and to program the desired behaviour of individual agents directly using mental attitudes. Such a technique is referred to as agent oriented programming. Arguably, the most innovative of these languages is 3APL (pronounced "triple-a-p-l") which supports the construction of intelligent agents for the development of complex systems through a set of intuitive concepts like beliefs, goals and plans. In this paper, we provide a Z specification of the programming language 3APL which provides a basis for implementation and also adds to a growing library of agent techniques and features.

Answer set programming and agents

“…Thus, the BDI model has been integrated with other approaches from computational logic. This integration resulted in the languages AgentSpeak(L) (Rao, 1996), 3APL (d’Inverno et al ., 2000) and others (cf. Mascardi et al ., 2005, for a review).…”

“…So, the logical approaches to building agents have now become effective in the direction of practical usability in real-world applications. Well-established languages based upon Computational Logic are 3APL (d’Inverno et al ., 2000), AgentSpeak(L) (Rao, 1996; d’Inverno & Luck, 1998), GOAL, IMPACT (cf. Dix et al ., 2000; Rogers et al ., 2000), DALI (cf.…”

An Agent‐Based Architecture for Providing Enhanced Communication Services

“…It has since been implemented in several software platforms, current examples being Jack Intelligent Agents [21] and Jam Agents [23]. The wide appreciation of the BDI model is witnessed by the development of a BDI logic [24], the definition of BDI-based languages (AgentTalk [25], 3APL [26], AgentSpeak(L) [27]) and the creation of BDI-based development tools such as dMARS [29].…”