AgentSpeak is an
agent-oriented programming
Agent-oriented programming (AOP) is a programming paradigm where the construction of the software is centered on the concept of software agents. In contrast to object-oriented programming which has objects (providing methods with variable paramet ...
language. It is based on
logic programming
Logic programming is a programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic pro ...
and the
belief–desire–intention software model
The belief–desire–intention software model (BDI) is a software model developed for programming intelligent agents. Superficially characterized by the implementation of an agent's ''beliefs'', ''desires'' and ''intentions'', it actually uses the ...
(BDI) architecture for (
cognitive)
autonomous agents. The language was originally called AgentSpeak(L), but became more popular as AgentSpeak, a term that is also used to refer to the variants of the original language.
History
In 1996, Anand Rao created a logic-based
agent
Agent may refer to:
Espionage, investigation, and law
*, spies or intelligence officers
* Law of agency, laws involving a person authorized to act on behalf of another
** Agent of record, a person with a contractual agreement with an insuranc ...
programming language based on the BDI architecture and named it AgentSpeak(L). This became a highly cited paper in the
multi-agent systems
A multi-agent system (MAS or "self-organized system") is a computerized system composed of multiple interacting intelligent agents.Hu, J.; Bhowmick, P.; Jang, I.; Arvin, F.; Lanzon, A.,A Decentralized Cluster Formation Containment Framework fo ...
literature. In its original conception, AgentSpeak was an abstract agent programming language aimed to help the understanding of the relation between practical implementations of the BDI architecture such as
procedural reasoning system (PRS) and the formalisation of the ideas behind the BDI architecture using
modal logics.
Various authors contributed to the further formalisation of the AgentSpeak(L) language, for example. In recent years, the language has been revived both in research and development. In terms of research, there has been work both on extensions of AgentSpeak as well as on
formal verification
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal met ...
of AgentSpeak programs using model checking.
[Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifying Multi-agent Programs by Model Checking. Autonomous Agents and Multi-Agent Systems 12(2): 239–256 (2006)] The language is also one of the most popular agent-oriented languages because of the development of the Jason platform.
AgentSpeak(L) is also the most prominent means for developing the solution for the
Multi-Agent Programming Contest from the beginning of the competition up to the recent edition.
Example
Hello World program in AgentSpeak(L), based on Jason:
//Belief indicating the message to print.
message("Hello World!").
//Initial goal
!start.
//Plan
+!start: message(M) <-
.print(M). //Internal action from Jason to print a message.
See also
*
Distributed multi-agent reasoning system
References
External links
* is an interpreter for an extension of AgentSpeak.
{{DEFAULTSORT:Agentspeak
Computer-related introductions in 1996
Agent-based programming languages
Agent-oriented programming languages
Multi-agent systems