Model Checking Multi-Agent Programs with CASP

Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael J. Wooldridge

Abstract: In order to provide generic development tools for rational agents, a number of agent programming languages are now being developed, often by extending conventional programming languages with capabilities from the BDI (Belief-Desire-Intention) theory of rational agency [7,9]. Such languages provide high-level abstractions that aid the construction of dynamic, autonomous components, together with the deliberation that goes on within them. One particularly influential example of such a language is AgentSpeak(L) [6], a logic programming language with abstractions provided for key aspects of rational agency, such as beliefs, goals and plans.