Published July 2024
| Version v7
Software
Open
The MCAPL Framework
Description
The MCAPL framework is a suite of tools for building interpreters for agent programming languages and model checking programs executing in those interpreters. It consists of the AIL toolkit for building interpreters for rational agent programming languages (BDI languages) and the AJPF model checker. AJPF extends the JavaPathfinder model checker to prove LTL properties of BDI agents. This distribution also contains a number of programming languages implemented in the AIL. Chief among these are Gwendolen, the EASS variant of Gwendolen that can be used to program hybrid autonomous systems and GOAL.
This is the 2024 release of the framework, consisting of all necessary source code files and manuals.
Notes
The development of the MCAPL Framework would have been impossible without the financial support of the EPSRC via several grants: Model-Checking Agent Programming Languages (EP/D052548), Engineering Autonomous Space Software (EP/F037201/1), Reconfigurable Autonomy (EP/J011770), Verifiable Autonomy (EP/L024845/1), Robotics and AI for Nuclear (EP/R026084/1), Future AI and Robotics for Space (EP/R026092/1), and Trustworthy Autonomous Systems Verifiability Node (EP/V026801/1). Thanks are also owed to Jomi Hübner, Koen Hindriks, Matt Webster, Angelo Ferrando and Vincent Koeman.
Files
manual.pdf
Files
(72.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:4cbec32f8c43704c530f15f7db01e169
|
1.2 MB | Preview Download |
|
md5:c226cb52e04f3f83879dc636ad7961e9
|
71.5 MB | Download |
Additional details
Software
- Repository URL
- https://github.com/mcapl/mcapl
- Development Status
- Active