Tech Reports


Agent Infrastructure Layer (AIL): Design and Operational Semantics v1.0

L. A. Dennis


This technical report outlines a proposal for an operational semantics for AIL. AIL is intended to be an agent infrastructure layer that will form a common basis into which BDI-style agent programming languages can be compiled. In particular we hope to provide optimised verification support for AIL in the form of a model-checker.

As well as presenting an operational semantics for AIL this technical report is intended to serve as a design document for an implementation. As such some details about data structures are also included.

[Full Paper]