期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
有界模型检测同步多智体系统的时态认知逻辑
被引量：
13
1
作者
骆翔宇
苏开乐
杨晋吉
《软件学报》
EI
CSCD
北大核心
2006年第12期2485-2498,共14页
提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKLn.通过引入状态位置函数的方法获得同步系...
提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKLn.通过引入状态位置函数的方法获得同步系统的智能体知识,避免了为时间域而扩展通常的时态认知模型的状态及迁移关系编码.ECKLn的时态认知表达能力强于另一个逻辑CTLK.给出该算法的技术细节及正确性证明,并用火车控制系统实例解释算法的执行过程.
展开更多
关键词
模型
检测
有界
模型
检测
多智体系统
同步时态认知模型
时态
认知
逻辑
在线阅读
下载PDF
职称材料
题名
有界模型检测同步多智体系统的时态认知逻辑
被引量：
13
1
作者
骆翔宇
苏开乐
杨晋吉
机构
桂林电子科技大学计算机系
中山大学计算机科学系
中山大学计算机科学系
河南科技大学电子信息工程学院
出处
《软件学报》
EI
CSCD
北大核心
2006年第12期2485-2498,共14页
基金
国家自然科学基金Nos.60496327
10410638
+3 种基金
60473004
国家重点基础研究发展规划(973)No.2005CB321900
广东省自然科学基金Nos.04205407
06023195~~
文摘
提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKLn.通过引入状态位置函数的方法获得同步系统的智能体知识,避免了为时间域而扩展通常的时态认知模型的状态及迁移关系编码.ECKLn的时态认知表达能力强于另一个逻辑CTLK.给出该算法的技术细节及正确性证明,并用火车控制系统实例解释算法的执行过程.
关键词
模型
检测
有界
模型
检测
多智体系统
同步时态认知模型
时态
认知
逻辑
Keywords
model checking
bounded model checking
multi-Agent system
synchronous temporal epistemic model
temporal epistemic logic
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
有界模型检测同步多智体系统的时态认知逻辑
骆翔宇
苏开乐
杨晋吉
《软件学报》
EI
CSCD
北大核心
2006
13
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
