The MCAPL Framework including the Agent Infrastructure Layer an Agent Java Pathfinder
Louise A. Dennis · The Journal of Open Source Software · 2018
The MCAPL (Model-checking Agent Programming Languages) framework is a suite of tools for building interpreters for agent programming languages and verifying the correctness of programs running in these interpreters using the model checking technique.It consists of the Agent Infrastructure Layer (AIL) toolkit for building interpreters for rational agent programming languages (BDI languages) as introduced by (Rao and Georgeff 1992) and the Agent JavaPathFinder (AJPF) model checker (L. A. Dennis et al. 2012).AJPF extends the JavaPathfinder (JPF) model checker (Visser et al. 2003) to prove Linear Temporal Logic properties of BDI programs.The distribution also contains a number of programming languages implemented in the AIL.Chief among these are Gwendolen (Louise A. Dennis 2017), the EASS variant of Gwendolen that can be used to program hybrid autonomous systems and GOAL (Hindriks et al. 2001).