论文部分内容阅读
随着计算机网络及其基于网络的分布计算技术的发展,Agent以及多Agent系统(MAS)的研究成为分布式人工智能(DAI)研究的一个热点.单Agent所拥有的知识和能力是有限的,而现实系统往往异常复杂,并且具有开放、分布和动态的特点,因此对MAS的研究迅速发展.在MAS的研究中,Agent之间的交互和推理是一个重要的研究内容,Agent之间的交互主要有三种形式:合作、协调、协商。其中协商是合作和协调的基础. 本文针对多模态逻辑VSK和BDI的特点,采用形式化方法对多Agent系统和多Agent系统的协商进行了研究,具体研究工作包括以下几个方面: 首先,在对VSK逻辑和BDI逻辑研究的基础上,结合两种模型的特点,构建了基于BDI的协商公理体系多Agent系统模型.该模型以VSK逻辑为基础,进一步刻画了Agent的内部状态,主要涉及Agent的信念(belief)、愿望(desire)和意图(intention)等思维属性,使模型既能描述客观环境,又能描述Agent的思维状态及其变化过程,Agent主要根据它的思维状态及其所处的环境进行行为选择和协商. 其次,采用符号结构的方法来描述信念、愿望和意图的语义,该方法与可能世界语义相比,具有简单、易于理解的特点,这样的描述是直觉的、合理的、自然的. 然后,构建了基于BDI的协商公理体系,并且给出了公理的合理性解释,证明了公理的有效性和协商推理逻辑的可靠性、完全性及完备性. 最后,通过一个实例描述了模型的应用,并且给出了进一步研究的方向.