Tech Reports

ULCS-07-001

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

L. A. Dennis

Abstract

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.

For each technical report listed here, copyright and all intellectual property rights remain with the respective authors. Copyright is effective from the year of publication in each case. By downloading a file from this page, you agree to use it only for purposes of research and scholarship. Any other use of this material or storage of it in any medium or its sale or distribution in any form is expressly forbidden without prior written permission from the authors concerned.