面向完美回忆的时态认知逻辑

• 作者: 张玉志 唐晓嘉
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 时态认知逻辑 S5tCt系统 完美回忆 记忆公理
• 年，卷（期）: 2020,（12）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 3787-3796
• 页数: 10页
• 分类号: TP18
• 语种: 中文

摘要

传统时态认知逻辑对完美回忆的刻画是狭隘的,并不能完整表达主体记得自己先前的认知状态.新系统S5tCt将认知与时态融合进同一个算子中,个体知识、普遍知识和公共知识都被时间点所标注.S5tCt系统从技术上实现了每个个体(群体)都可以完美回忆自己在之前所有时刻上的认知状态.利用典范模型技术可以证明,S5tCt系统在等价且单调递减的框架类上是完全的.