论文部分内容阅读
联盟规范系统（coalitional normative system，简称CNS）通过选择性地限制联盟的联合行动来对规范系统（normative system，简称NS）进行扩展．扩展了ATL的语义，提出了Coordinate-ATL（Co—ATL），用于对CNS进行形式化．为了刻画其规范能力的极限，确定了Co．ATL的两个语言片段，分别对应于两类不可改变的系统属性．对NS和CNS之间的关系进行了讨论，表明所得到的结果可以更好地界定NS的能力极限．此外，引入了对执行历史进行编码的有限状态机，进一步对CN