时态认知逻辑

作品数：11被引量：25H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：骆翔宇苏开乐吴立军周从华孙博更多>>
相关机构：中山大学桂林电子科技大学华侨大学清华大学更多>>
相关期刊：《计算机学报》《电子学报》《小型微型计算机系统》《计算机研究与发展》更多>>
相关基金：国家自然科学基金中国博士后科学基金广西青年科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向完美回忆的时态认知逻辑被引量：1
《软件学报》2020年第12期3787-3796,共10页张玉志 唐晓嘉 
国家社会科学基金(14ZDB016)。
传统时态认知逻辑对完美回忆的刻画是狭隘的,并不能完整表达主体记得自己先前的认知状态.新系统S5tCt将认知与时态融合进同一个算子中,个体知识、普遍知识和公共知识都被时间点所标注.S5tCt系统从技术上实现了每个个体(群体)都可以完美...
关键词：时态认知逻辑 S5tCt系统 完美回忆 记忆公理 
有界模型检测同步多智体系统的时态认知逻辑被引量：13
《软件学报》2006年第12期2485-2498,共14页骆翔宇 苏开乐 杨晋吉 
国家自然科学基金Nos.60496327;10410638;60473004;国家重点基础研究发展规划(973)No.2005CB321900;广东省自然科学基金Nos.04205407;06023195~~
提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKLn.通过引入状态位置函数的方法获得同步系...
关键词：模型检测 有界模型检测 多智体系统 同步时态认知模型 时态认知逻辑 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部