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