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

意图生成是bdi型agent为实现目标而产生动作序列的过程。验证软件agent中意图生成的正确性是agent编程语言中一个重要的研究问题。针对软件agent中意图执行的正确性，以当前最流行的bdi型agent编程语言agentspeak为例，证明了软件agent意图执行的有效性。首先根据agentspeak的语法构造了一个解释系统，并给出了该解释系统的满足关系，从而得出了agentspcak的模型论语义。在该模型论语义的基础上，结合由moreira和bordini所给出的操作语义，证明了agentspeak的意图生成等价定理:agentspeak语言中模型论语义的意图等价于agentspeak程序操作语义的意图。由此可得出结论—agentspcak中的意图执行是可靠而完整的，从而验证了agcntspcak中软件agent意图完成目标的正确性。