[现代逻辑讨论班]张玉志博士生报告:一个时态认知逻辑的新系统——基于对认知算子的时态化处理

发布时间:2018-09-19 来源:本站原创 作者:本站编辑   浏览次数:

论文题目:一个时态认知逻辑的新系统——基于对认知算子的时态化处理

报  告  人:张玉志(2015级博士生)

地       点:逻辑与智能研究中心教室

时       间:2018年9月20日19:00--21:00

摘       要:新系统S5tCt将认知与时态融合进同一个算子中,个体知识、普遍知识和公共知识都被时间点所标注。S5tCt系统认为,每个个体(群体)都可以完美回忆自己在之前所有时刻上的认知状况。利用典范模型技术可以证明,S5tCt系统在等价且单调递减的框架类上是完全的。

关键词:时态认知逻辑  S5tCt系统  完美回忆能力  记忆公理