概率时态认知逻辑模型检测中三值抽象技术的研究

• 作者: 刘志锋 周从华 孙博 葛云
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 三值抽象 模型检测 概率时态认知逻辑 反例
• 年，卷（期）: 2012,（10）
• 所属期刊栏目: 学术论文
• 页码范围: 2052-2061
• 页数: 10页
• 分类号: TP301
• 字数: 9586字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2012.10.025

摘要

为缓解概率时态认知逻辑模型检测中的状态空间爆炸问题,提出了概率时态认知逻辑的三值抽象技术.具体研究内容包括:定义抽象模型及模型上概率时态认知逻辑的三值语义,依据状态空间等价划分建立初始抽象模型,并证明抽象技术对概率时态认知逻辑的满足性保持关系；提出概率时态认知逻辑模型检测算法；依据初始模型检测的结果,给出利用最小证据和最小反例引导的抽象系统的求精过程.最后通过Dining Cryptographer协议说明了抽象技术的应用,及其在约简系统状态空间方面的效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	葛云	南京大学电子科学与工程学院	35	137	6.0	10.0
2	周从华	江苏大学计算机科学与通信工程学院	46	193	7.0	11.0
3	刘志锋	江苏大学计算机科学与通信工程学院	29	118	5.0	10.0
4	孙博	南京大学电子科学与工程学院	5	22	2.0	4.0