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.

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.