主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
王崇骏,吴骏,张雷,谢俊元.联盟规范系统及其规范能力极限.软件学报,2012,23(7):1796-1804
联盟规范系统及其规范能力极限
On the Limitation of the Power of Coalitional Normative Systems
投稿时间:2010-08-06  修订日期:2011-10-17
DOI:10.3724/SP.J.1001.2012.04135
中文关键词:  规范系统  交互时态逻辑  联盟  并发博弈结构
英文关键词:normative system  ATL  coalition  concurrent game structure
基金项目:国家自然科学基金(60503021, 60721002, 60875038, 61105069)
作者单位E-mail
王崇骏 南京大学 计算机科学与技术系,江苏 南京 210093
计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093 
chjwang@nju.edu.cn 
吴骏 河海大学 计算机与信息学院,江苏 南京 210098  
张雷 南京大学 计算机科学与技术系,江苏 南京 210093
计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093 
 
谢俊元 南京大学 计算机科学与技术系,江苏 南京 210093
计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093 
 
摘要点击次数: 3064
全文下载次数: 2328
中文摘要:
      联盟规范系统(coalitional normative system,简称CNS)通过选择性地限制联盟的联合行动来对规范系统(normative system,简称NS)进行扩展.扩展了ATL 的语义,提出了Coordinate-ATL(Co-ATL),用于对CNS 进行形式化.为了刻画其规范能力的极限,确定了Co-ATL 的两个语言片段,分别对应于两类不可改变的系统属性.对NS 和CNS之间的关系进行了讨论,表明所得到的结果可以更好地界定NS 的能力极限.此外,引入了对执行历史进行编码的有限状态机,进一步对CNS 进行了扩展,提出了CNS-M.可以证明,关于CNS 能力极限的界定在该扩展下保持稳定.
英文摘要:
      Coalitional Normative System (CNS) is an extension of a Normative System (NS) by enabling selective constraining a coalition’s joint behavior. The study extends the semantics of ATL and proposes Coordinated ATL (Co-ATL) to support the formalizing of CNS. The paper classifies all the CNSs that control the same coalition into the same class and characterizes the power limitation of each such class by identifying two fragments of Co-ATL language corresponding to two types of system properties that are unchangeable. The relation between NS and CNS is discussed, and it turns out that by the result better characterize the power limitation of NS. Moreover, the study extends further the CNS by including a finite state machine encoding the execution history, and results show that the power limitation characterization for CNS is invariant under this extension.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利