%0 Journal Article
%T agentspeak中意图生成过程的可靠性与完整性研究
%A 杨博
%A 邵利平
%A 覃征？
%J 计算机科学
%D 2011
%X 意图生成是bdi型agent为实现目标而产生动作序列的过程。验证软件agent中意图生成的正确性是agent编程语言中一个重要的研究问题。针对软件agent中意图执行的正确性，以当前最流行的bdi型agent编程语言agentspeak为例，证明了软件agent意图执行的有效性。首先根据agentspeak的语法构造了一个解释系统，并给出了该解释系统的满足关系，从而得出了agentspcak的模型论语义。在该模型论语义的基础上，结合由moreira和bordini所给出的操作语义，证明了agentspeak的意图生成等价定理:agentspeak语言中模型论语义的意图等价于agentspeak程序操作语义的意图。由此可得出结论—agentspcak中的意图执行是可靠而完整的，从而验证了agcntspcak中软件agent意图完成目标的正确性。
%K agentspeak
%K 意图生成
%K agent编程语言
%K 模型论语义
%K bdiagent
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=110353&flag=1