AgentSpeak(L) is a programming language, based on the Procedural Reasoning System (PRS) and the Distributed Multi-Agent Reasoning System (dMARS), which ...

Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework.

This paper builds on earlier work by Rao on developing a strongly-typed, formal, yet computational model of the BDI-based AgentSpeak(L) language, ...

Dec 4, 2023 · d'Inverno, M. and Luck, M. (1998) Engineering AgentSpeak(L): A Formal Computational Model. Journal of Logic and Computation, 8 (3), 233-260.

Original language, English. Pages (from-to), 233-260. Number of pages, 28. Journal, Journal of Logic and Computation. Volume, 8. Issue number, 3.

Mark d'Inverno, Michael Luck : Engineering AgentSpeak(L): A Formal Computational Model. J. Log. Comput. 8(3): 233-260 (1998).

AgentSpeak is an agent-oriented programming language. It is based on logic programming and the belief–desire–intention software model (BDI) architecture.

This paper introduces ASF, a variation of the BDI logic programming language ASL intended to permit the model-theoretic verification of multi-agent systems.

ABSTRACT. This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic ...

Dec 11, 2020 · ... Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook, F. ... Engineering AgentSpeak(L): A Formal Computational Model, ...