知识时态逻辑有界模型检测中的完备性

• 作者: 刘志锋 周从华 章东 葛云
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: 有界模型检测 知识时态逻辑 多智体系统
• 年，卷（期）: 2010,（3）
• 页码范围: 399-405
• 分类号: TP311
• 字数: 3580字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2010.03.006

摘要

为解决限界模型检测的完备性问题, 研究了完全界的计算问题,给出了完全界的上近似计算.首先,在线性时态认知逻辑中引入过去时态算子,得到新的时态认知逻辑LTLKP,从而可以紧凑自然地描述系统的可靠性规范;其次,依据图结构理论, 设计了一套深度优先算法计算出系统的最大可达深度和最长无循环路径的长度;最后,以定理的形式给出了最大可达深度和最长无循环路径的长度与完全界的关系,得出了完全界的一种上近似估算.所做工作有效地解决了限界模型检测中的完全界计算问题,从而保证了限界模型检测的完备性.

作者信息

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