随着现代计算复杂性和信息量的急剧增长，传统的集中计算模式已不能适应大型分布式信息处理的发展。而基于Agent的计算和以Agent为主体的高层交互可以满足现代计算和分布式信息处理系统的要求，而且多Agent系统在分析和建立人类交互模型和交互理论中可以发挥重要作用。所以对Agent和多Agent系统的研究已成为分布式人工智能（DAI）中的一个热点和重要的研究方向。本文的研究目标是以形式化的方法描述多Agent系统和其中的冲突解决机制——协商。本文提出了一种多Agent系统进行交互推理的形式化的体系——基于能力(Capability)与思维(Thought)的协商(Negotiation)公理体系的多Agent系统模型（CTN系统）。本文首先给出了该形式化系统的语义框架，包括行为、协商策略、环境、Agent、协商和多Agent系统的形式化定义，并对系统的全局状态、系统类、系统运行和可达全局状态做了描述。文中详细描述了语法规定和语义约束，该逻辑的语义是以一般的多Agent系统模型给出的，并且与模态逻辑的解释系统密切相关。之后给出基于模态逻辑的协商推理逻辑公理体系来形式化地描述多Agent系统，再对公理的合理性进行充分的解释。系统中Agent的行为是与其能力和权力密切相关的，Agent不会执行自己没能力执行的动作，在没有权力也没有获得授权时，Agent不会执行动作。这样的描述是合乎理性的。其次，本文阐述了协商推理逻辑的可靠性和完全性。在对公理的有效性进行证明之后，证明了协商推理逻辑的可靠性和无矛盾性；在得出的一系列命题和引理基础上，以构造的方法证明了协商推理逻辑的完全性，最后得出协商推理逻辑的完备性和整个CTN系统的无矛盾性。然后本文讨论了冲突解决协商和仲裁体制。在给出一些与冲突有关的定义后描述了仲裁策略，并用伪码描述了协商过程。系统中发生冲突时，先由冲突的Agent分组自主协商，各个Agent使用自己的策略与对方协商，当协商无法解决冲突时，使用系统仲裁策略进行仲裁，从外部解决冲突。本文通过具体示例说明此逻辑的用途后，讨论了CTN系统模型的特点：①CTN系统模型的语义是直觉的、合理的和自然的；②CTN系统模型是将Agent的能力和思维状态相结合，能够描述Agent访问环境时的能力差异、执行动作时的权力差异和系统发生冲突时的协商过程。最后提出今后的一些研究方向。