Gwendolen: A BDI Language for Verifiable Agents

Berndt Muller, L. Dennis

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

We describe the Gwendolen BDI (Belief, Desires and Intentions) agent programming language. Gwendolen is implemented in the Agent Infrastructure Layer (AIL), a col- lection of Java classes intended for use in model checking agent programs in a variety of languages. The Gwendolen lan- guage was developed to test key features of the AIL and its integration with the model checker, JPF, and also to provide a default semantics for the AIL classes.
Original languageEnglish
Title of host publicationN/A
Number of pages8
Publication statusPublished - 1 Jan 2008
Event AISB 2008 Symposium: Logic and the Simulation of Interaction and Reasoning - UK
Duration: 1 Jan 20081 Jan 2008

Conference

Conference AISB 2008 Symposium: Logic and the Simulation of Interaction and Reasoning
Period1/01/081/01/08

Keywords

  • ai
  • programming
  • agents
  • verification

Fingerprint

Dive into the research topics of 'Gwendolen: A BDI Language for Verifiable Agents'. Together they form a unique fingerprint.

Cite this