| 面向完美回忆的时态认知逻辑 |
| |
| 引用本文： | 张玉志,唐晓嘉. 面向完美回忆的时态认知逻辑[J]. 软件学报, 2020, 31(12): 3787-3796 |
| |
| 作者姓名： | 张玉志 唐晓嘉 |
| |
| 作者单位： | 西南大学逻辑与智能研究中心,重庆400715;西南大学逻辑与智能研究中心,重庆400715 |
| |
| 基金项目： | 国家社会科学基金（14ZDB016） |
| |
| 摘 要： | 传统时态认知逻辑对完美回忆的刻画是狭隘的,并不能完整表达主体记得自己先前的认知状态.新系统S5tCt将认知与时态融合进同一个算子中,个体知识、普遍知识和公共知识都被时间点所标注.S5tCt系统从技术上实现了每个个体(群体)都可以完美回忆自己在之前所有时刻上的认知状态.利用典范模型技术可以证明,S5tCt系统在等价且单调递减的框架类上是完全的.
|
| 关 键 词： | 时态认知逻辑 S5tCt系统 完美回忆 记忆公理 |
| 收稿时间： | 2018-12-16 |
| 修稿时间： | 2019-05-05 |
Temporal Epistemic Logic for Perfect Recall |
| |
| ZHANG Yu-Zhi,TANG Xiao-Jia. Temporal Epistemic Logic for Perfect Recall[J]. Journal of Software, 2020, 31(12): 3787-3796 |
| |
| Authors: | ZHANG Yu-Zhi TANG Xiao-Jia |
| |
| Affiliation: | Institute for Logic and Intelligence, Southwest University, Chongqing 400715, China |
| |
| Abstract: | |
| |
| Keywords: | temporal epistemic logic system S5tCt perfect recall recall axioms |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
