在证明有关代理和机制设计的属性的定理的意义上的形式分析以及使用形式主义作为表示语言都是多代理系统研究基础的核心要素。 多智能体系统的规范和描述的形式主义的选择和发展通常是由关于信念和意图等概念的重要性和性质的直觉指导的。 这种基本方法的替代方法是由观察到的社会系统的建模者开发的表征方法，他们设计代理和机制来捕获观察到的行为和社会互动模式。 虽然基础方法对基于代理的社会模拟的研究议程产生了重要影响，但基于代理的社会模拟建模器的表示技术对多代理系统软件工程的形式化方法没有明显影响。 本文的目的是定义一种方法，将真实社会系统的经验教训用于 MAS 设计的正式方法。 所采用的手段开启了规范模型的发展，该模型以与信念、欲望、意图、承诺、规范、义务和责任等概念明确相关的方式捕捉观察到的社会系统的特征。 因此，有可能以最小的歧义定义这些概念，作为使用形式主义作为表示语言的替代方案，或者作为通向此类形式主义的桥梁。
