多Agent系统(MAS—Multi-Agent System)是由多个可以相互交互的自主智能主体(Agent)所组成的系统。其计算单元Agent的特点或能力有二:一是系统中的每个Agent在某程度上能独立自主地行动,即自己决定采取何种行动实现其目标;二是系统中的每个Agent可以与其它Agent进行交互,这种交互类似人类的社会行为,如:交流与合作。本文目的在于采用较为简明的逻辑形式来对Agent和MAS进行介绍并讨论Agent系统的理论问题。因目前关于用逻辑方式通过BDI模型讨论Agent间的交互与合作的研究还不是很成熟,故本文对交互和合作所需的前提定义了几个新的重要概念(另外还有在前人工作基础上重新定义的概念),这些新的概念都是使用BDI模型的原始定义来进行构造,使其直观化,有利于对其性质进行进一步的讨论(定理证明)。多Agent系统的研究领域由个体Agent和多Agent的群体两个相互交织的工作组成,而本文的结构也大致反映出这种划分。第一章对Agent进行简单介绍,并描述了Agent应具有的属性及其基本结构。第二章对个体Agent的各个类型及其模型进行讨论,比较了演绎推理Agent和实用推理Agent,并引出BDI模型。第三章对以这些BDI模型的Agent构成的群体,利用BDI原始定义新的概念——对信任下定义并给出一些有关的定理,接着通过定理证明讨论其性质。