A Language for the Execution of Graded BDI Agents
Publication Type:Conference Paper
Source:Workshop on Formal Approaches to Multi-Agent Systems (FAMAS) at the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), Durham, UK, 6 and 7 September 2007, p.65--82 (2007)
In this paper we present a calculus for the execution of Multi-context system with its corresponding semantics. This calculus is general enough to support different kinds of MCSs and particularly, we show how a graded BDI agent can be mapped to the language proposed. The graded BDI agent model is based on multi-context systems and is able to deal with graded mental attitudes. Taking advantage of the calculus presented we give operational semantics to this agent model.