MAS is a computerized system composed of multiple interacting intelligent agents to solve problems that cannot be solved by a monolithic approach.
The definition of intelligent agents varies between different approaches such as methodic, functional, procedural approaches, algorithmic search, or reinforcement learning.
In this note, I attempt to summarize the terminology and tooling used in one of the MAS approaches; procedural reasoning systems (PRS) based on the belief-desire-intention (BDI) model.
AgentSpeak [1] is a programming language to formalize BDI architecture for (cognitive) autonomous agents as an abstraction of one of the implemented PRS, and falls in the logic programming paradigm with horn-clauses.