AgentSpeak is an agent-oriented programming language. It is based on logic programming and 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 programming language based on the BDI architecture and named it AgentSpeak(L). This became a highly cited paper in the multi-agent systems 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

Procedural Reasoning System

In Artificial Intelligence, the Procedural Reasoning System is a framework for constructing real-time reasoning systems that can perform complex tasks in dynamic environments...

 (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

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 methods of mathematics .- Usage :Formal verification can be...

 of AgentSpeak programs using model checking. The language is also one of the most popular agent-oriented languages because of the development of the Jason

Jason (multi-agent systems development platform)

Jason is a platform for the development of multi-agent systems. An extension of the AgentSpeak agent-oriented programming language is used to program the behaviour of individual agents. Jason is developed in Java and allows the customisation of most aspects of an agent or a multi-agent system...

 platform.

AgentSpeak(L) is also the most prominent means for developing the solution for the Multi-Agent Programming Contest

Multi-Agent Programming Contest

The Multi-Agent Programming Contest is an annual international programming competition with stated goal of stimulating research in the area of multi-agent system development and programming.-History:...

 from the beginning of the competition up to the recent edition.

See also

• Autonomous agent
  Autonomous agent
  An autonomous agent is an intelligent agent operating on an owner's behalf but without any interference of that ownership entity. An intelligent agent, however appears according to a multiply cited statement in a no longer accessible IBM white paper as follows:Intelligent agents are software...
  
  
• Software agent
  Software agent
  In computer science, a software agent is a piece of software that acts for a user or other program in a relationship of agency, which derives from the Latin agere : an agreement to act on one's behalf...
  
  
• Cognitive architecture
  Cognitive architecture
  A cognitive architecture is a blueprint for intelligent agents. It proposes computational processes that act like certain cognitive systems, most often, like a person, or acts intelligent under some definition. Cognitive architectures form a subset of general agent architectures...
  
  
• Multi-agent systems
• Jason (multi-agent systems development platform)
  Jason (multi-agent systems development platform)
  Jason is a platform for the development of multi-agent systems. An extension of the AgentSpeak agent-oriented programming language is used to program the behaviour of individual agents. Jason is developed in Java and allows the customisation of most aspects of an agent or a multi-agent system...
  
  
• Distributed Multi-Agent Reasoning System
  Distributed Multi-Agent Reasoning System
  In artificial intelligence, the Distributed Multi-Agent Reasoning System is a platform for intelligent software agents developed at the AAII that makes uses of the BDI software model. The design for dMARS is an extension of the intelligent agent cognitive architecture developed at SRI...
  
  
• Procedural Reasoning System
  Procedural Reasoning System
  In Artificial Intelligence, the Procedural Reasoning System is a framework for constructing real-time reasoning systems that can perform complex tasks in dynamic environments...
  
  

External links

• Jason is an interpreter for an extension of AgentSpeak.