Tech Reports

ULCS-17-001

Gwendolen Semantics: 2017

Louise A Dennis


Abstract

An operational semantics for GWENDOLEN was presented in L. A. Dennis and B. Farwer. Gwendolen: A BDI Language for Verifiable Agents. In AISB?08 Workshop on Logic and the Simulation of Interaction and Reasoning. AISB, 2008. However the language has been amended several times since then. This technical report updates that semantics to present the current operational semantics of the language. It should be noted that the GWENDOLEN distribution comes with extensive tutorials detailing the language syntax, the motivation behind its constructs and providing many examples of programs in the language. This technical report therefore focuses exclusively on the technical details of the semantics of the underlying implementation.

[Full Paper]