我们描述了NORMC,它是Norm Compliance CTL的模型检查器,是一种用于推理规范系统中的遵从性的时态逻辑,用Haskell编程语言实现。NORMC旨在作为学生、研究人员和从业者学习和理解规范系统的工具,并作为多智能体系统研究人员的探索工具。本文的目的是双重的。首先,给出NORMC的系统描述。其次,论证并证明Haskell编程语言是模型检查多智能体系统的一种自然而有用的替代方法;特别是,Haskell的强大功能使得以自然的方式描述任意多代理状态转换模型变得容易。
我们使用cookie为您提供最佳体验。它们还允许我们分析用户行为,以便不断为您改进网站。关于隐私政策IOS出版社。
我们使用cookie为您提供最佳体验。它们还允许我们分析用户行为,以便为您不断改进网站。有关的信息隐私政策IOS出版社。