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

• 作者: 杨博 覃征 邵利平
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: AgentSpeak 意图生成 Agent编程语言 模型论语义 BDI Agent
• 年，卷（期）: 2011,（3）
• 所属期刊栏目: 人工智能
• 页码范围: 236-242
• 分类号: TP311
• 字数: 9944字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.03.053

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	覃征	西安交通大学电子与信息工程学院	158	2651	25.0	46.0
2	邵利平	西安交通大学电子与信息工程学院	25	263	11.0	15.0
3	杨博	西安交通大学电子与信息工程学院	19	214	8.0	14.0