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 language | English |
---|---|
Title of host publication | N/A |
Number of pages | 8 |
Publication status | Published - 1 Jan 2008 |
Event | AISB 2008 Symposium: Logic and the Simulation of Interaction and Reasoning - UK Duration: 1 Jan 2008 → 1 Jan 2008 |
Conference
Conference | AISB 2008 Symposium: Logic and the Simulation of Interaction and Reasoning |
---|---|
Period | 1/01/08 → 1/01/08 |
Keywords
- ai
- programming
- agents
- verification