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

language. It is based on

logic programming Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical form, representing knowledge about some problem domain. Computation is performed by applyin ...

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

(BDI) architecture for (

cognitive Cognition is the "mental action or process of acquiring knowledge and understanding through thought, experience, and the senses". It encompasses all aspects of intellectual functions and processes such as: perception, attention, thought, ...

) 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 insuran ...

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.H. Pan; M. Zahmatkesh; F. Rekabi-Bana; F. Arvin; J. HuT-STAR: Time-Optimal Swarm Trajectory Planning for Quadroto ...

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 In artificial intelligence, a procedural reasoning system (PRS) is a framework for constructing real-time reasoning systems that can perform complex tasks in dynamic environments. It is based on the notion of a rational agent or intelligent agent ...

(PRS) and the formalisation of the ideas behind the BDI architecture using

modal logic Modal logic is a kind of logic used to represent statements about Modality (natural language), necessity and possibility. In philosophy and related fields it is used as a tool for understanding concepts such as knowledge, obligation, and causality ...

s. Various authors contributed to the further formalisation of the AgentSpeak(L) language. 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 a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal ver ...

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.

References

External links

* is an interpreter for an extension of AgentSpeak. {{DEFAULTSORT:Agentspeak Computer-related introductions in 1996 Agent-based programming languages

History

Example

See also

References

External links