部分动作可观测性下的规范监控

在使用规范控制多智能体系统的背景下，文献中尚未解决的一个至关重要的问题是开发在部分动作可观测性下监控规范遵从性的机制。本文提出重构未观测动作以解决该问题。具体而言，我们形式化了重构未观测动作的问题，并提出了一种信息模型与算法，利用两种不同的重构未观测动作过程在部分动作可观测性下监控规范。我们的评估表明，重构未观测动作显著增加了检测到的规范违反与履行的数量。