联盟规范系统及其规范能力极限
联盟规范系统(coalitional normative system,简称CNS)通过选择性地限制联盟的联合行动来对规范系统(normative system,简称NS)进行扩展,扩展了ATL的语义,提出了Coordinate-ATL(Co-ATL),用于对CNS进行形式化,为了刻画其规范能力的极限,确定了Co-ATL的两个语言片段,分别对应于两类不可改变的系统属性.对NS和CNS之间的关系进行了讨论,表明所得到的结果可以更好地界定NS的能力极限.此外,引入了对执行历史进行编码的有限状态机,进一步对CNS进行了扩展,提出了CNS-M.可以证明,关于CNS能力板限的界定在该扩展下保持稳定.
规范系统、交互时态逻辑、联盟、并发博弈结构
23
TP18(自动化基础理论)
国家自然科学基金60503021,60721002,60875038,61105069
2012-09-29(万方平台首次上网日期,不代表论文的发表时间)
共9页
1796-1804