| 联盟规范系统及其规范能力极限 |
| |
| 引用本文： | 王崇骏,吴骏,张雷,谢俊元.联盟规范系统及其规范能力极限[J].软件学报,2012,23(7):1796-1804. |
| |
| 作者姓名： | 王崇骏 吴骏 张雷 谢俊元 |
| |
| 作者单位： | 南京大学计算机科学与技术系;计算机软件新技术国家重点实验室(南京大学);河海大学计算机与信息学院; |
| |
| 基金项目： | 国家自然科学基金(60503021, 60721002, 60875038, 61105069) |
| |
| 摘 要： | 联盟规范系统(coalitional normative system,简称CNS)通过选择性地限制联盟的联合行动来对规范系统(normative system,简称NS)进行扩展.扩展了ATL的语义,提出了Coordinate-ATL(Co-ATL),用于对CNS进行形式化.为了刻画其规范能力的极限,确定了Co-ATL的两个语言片段,分别对应于两类不可改变的系统属性.对NS和CNS之间的关系进行了讨论,表明所得到的结果可以更好地界定NS的能力极限.此外,引入了对执行历史进行编码的有限状态机,进一步对CNS进行了扩展,提出了CNS-M.可以证明,关于CNS能力极限的界定在该扩展下保持稳定.
|
| 关 键 词： | 规范系统 交互时态逻辑 联盟 并发博弈结构 |
| 收稿时间： | 8/6/2010 12:00:00 AM |
| 修稿时间： | 2011/10/17 0:00:00 |
On the Limitation of the Power of Coalitional Normative Systems |
| |
| WANG Chong-Jun,WU Jun,ZHANG Lei and XIE Jun-Yuan.On the Limitation of the Power of Coalitional Normative Systems[J].Journal of Software,2012,23(7):1796-1804. |
| |
| Authors: | WANG Chong-Jun WU Jun ZHANG Lei and XIE Jun-Yuan |
| |
| Affiliation: | Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China;National Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China;College of Computer and Information Engineering, Hohai University, Nanjing 210098, China;Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China;National Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China;Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China;National Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210093, China |
| |
| Abstract: | |
| |
| Keywords: | normative system ATL coalition concurrent game structure |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
