AgentSpeak中意图生成过程的可靠性与完整性研究

摘要：

意图生成是BDI型Agent为实现目标而产生动作序列的过程.验证软件Agent中意图生成的正确性是A-gent编程语言中一个重要的研究问题.针时软件Agent中意图执行的正确性,以当前最流行的BDI型Agent编程语言AgentSpeak为例,证明了软件Agent意图执行的有效性.首先根据AgentSpeak的语法构造了一个解释系统,并给出了该解释系统的满足关系.从而得出了AgentSpeak的模型论语叉.在该模型论语叉的基础上,结合由Moreira和Bordini所给出的操作语义,i～-gB了AgentSpeak的意图生成等价定理:AgentSpeak语言中模型论语义的意图等价于AgentSpeak程序操作语义的意图.由此可得出结论--AgentSpeak中的意图执行是可靠而完整的,从而验证了AgentSpeak中软件Agent意图完成目标的正确性.

关键词：AgentSpeak、意图生成、Agent编程语言、模型论语义、BDI Agent

所属期刊栏目：38

分类号：TP311(计算技术、计算机技术)

资助基金：国防"十一五"预研项目60673024

在线出版日期：2011-06-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：236-242