Gwendolen : A BDI Language for Verifiable Agents
Gwendolen : A BDI Language for Verifiable Agents
复制标题
Gwendolen：可验证代理的 BDI 语言
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Berndt Müller
中科院分区：
文献类型：
--
作者：
Louise Dennis;Berndt Müller
我们描述格温多林BDI（信念、愿望和意图）智能体编程语言。格温多林是在智能体基础设施层（AIL）中实现的，AIL是一组Java类的集合，旨在用于对多种语言编写的智能体程序进行模型检查。开发格温多林语言是为了测试AIL的关键特性及其与模型检查器JPF的集成，同时也为AIL类提供默认语义。
We describe the Gwendolen BDI (Belief, Desires and Intentions) agent programming language. Gwendolen is implemented in the Agent Infrastructure Layer (AIL), a collection of Java classes intended for use in model checking agent programs in a variety of languages. The Gwendolen language 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.