6、CoMoMAS 方法论：多智能体系统的开发与验证

CoMoMAS 方法论：多智能体系统的开发与验证

1. 引言与动机

CoMoMAS 不仅是一种方法论，它还是一个完整的知识工程（KE）环境。它为软件或知识工程师提供了支持，以开发多智能体系统的概念描述。CoMoMAS 涵盖了知识获取、知识建模、知识表示以及最终的知识转换用于验证的所有活动。这些活动代表了系统开发期间知识密集型的部分。这一阶段的结果对于专家团队之间的知识转移、文档编制以及作为实施指南具有极大的兴趣。

通过使用 CommonKADS 概念建模语言（CML），实现了所表示模型的正式化。操作化是为了验证目的所必需的，但不应限制在重用和共享概念知识方面的优势。考虑到将模型翻译成编程语言，已决定依赖于自动翻译方法。将概念模型翻译成 CLOS 是可行的。将领域知识转换为面向对象语言似乎没有太大限制。然而，将程序性知识转换则困难得多，可能无法完全自动化。在概念层面上通过机制引用的过程模块库似乎为这个问题提供了一个合适的解决方案。

2. 基于模型的 MAS 开发

2.1 模型的使用和内容

CoMoMAS 扩展了 CommonKADS 模型集，以覆盖多智能体系统的开发过程。因此，扩展的模型集旨在获取和建模在 MAS 开发过程中所需的知识。一些模型的规范需要修改，一些需要移除，同时还需要添加新的模型。例如，CommonKADS 智能体模型将智能体的定义限制为能够执行任务的人或系统（Waem 和 Gala, 1993）。在开发过程中，应该已经考虑了运行时问题，比如组织的演变。

2.2 形式化模型内容

使用 CML（CommonKADS 概念建模语言）形式化模型内容，以实现所表示模型的正式化。操作化