软件学报

作者：张玉志，唐晓嘉

单位：张玉志，西南大学 逻辑与智能研究中心, 重庆 40071511,唐晓嘉，西南大学 逻辑与智能研究中心, 重庆 40071502

关键词：时态认知逻辑;S5tCt系统;完美回忆;记忆公理

基金：国家社会科学基金（14ZDB016）

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

来源：2020年第12期

《软件学报》期刊编辑部

查看软件学报杂志2020年第12期