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

摘要：

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

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

所属期刊栏目：31

分类号：TP18(自动化基础理论)

资助基金：国家社会科学基金14ZDB016

在线出版日期：2021-03-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：3787-3796