摘要:传统时态认知逻辑对完美回忆的刻画是狭隘的，并不能完整表达主体记得自己先前的认知状态.新系统S5tCt将认知与时态融合进同一个算子中，个体知识、普遍知识和公共知识都被时间点所标注.S5tCt系统从技术上实现了每个个体（群体）都可以完美回忆自己在之前所有时刻上的认知状态.利用典范模型技术可以证明，S5tCt系统在等价且单调递减的框架类上是完全的.
Abstract:Traditional temporal epistemic logic is defective to express perfect recall. It cannot express the memories of individuals’ knowledge. Time and knowledge are integrated into a single operator in the new system S5tCt, such that individual knowledge, general knowledge and common knowledge can be indicated by certain time. With this simple setting, each agent (individual or group) can recall all of their historical knowledge and has memories. The main result of the study is completeness, and it can be proved by using canonical model that S5tCt is complete with respect to the class of all equivalence and monotone decreasing frames.
PDF全文下载地址:
http://jos.org.cn/jos/article/pdf/5888
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
面向完美回忆的时态认知逻辑
本站小编 Free考研考试/2022-01-02
相关话题/知识 系统 技术 逻辑 认知
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19基于区块链技术的公平合约交换协议的实现
摘要:当前的区块链技术，只在链上实现了“利益”的可信传递，而对应的“责任”传递还未有对应的链上实现，其关键问题是“责任”的载体及“责任”传递的接收确认.只包含“利益”的链上传递，因此，链上建立的信任关系是单向的，无法建立传递发起方对接收方的信任.从线上公平合约交换协议研究出发，给出了无可信第三方的、 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件需求变更管理的系统动力学仿真建模
摘要:软件需求变更频繁发生，给软件项目造成了诸多威胁.能否对需求变更进行有效的控制管理，决定着软件的成败.使用系统动力学方法对软件需求变更管理过程进行仿真建模，可以动态地分析并预测需求变更产生的原因以及变更对软件项目造成的影响；对软件需求变更管理过程改进进行系统动力学仿真，亦可以辅助软件项目组织选择 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02场景驱动且自底向上的单体系统微服务拆分方法
摘要:作为云原生应用的一种典型形态，微服务架构已经在各种企业应用系统中被广泛使用.在企业实践中，许多微服务都是在单体架构的遗留系统基础上通过微服务拆分和改造形成的，其中的拆分决策（特别是数据库拆分）对于微服务系统的质量有着很大的影响.目前，单体系统的微服务拆分决策主要依赖于人的主观经验，整个过程成本 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于训练空间重构的多模块TSK模糊系统
摘要:利用重构训练样本空间的手段，提出一种多训练模块Takagi-Sugeno-Kang（TSK）模糊分类器H-TSK-FS.它具有良好的分类性能和较高的可解释性，可以解决现有层次模糊分类器中间层输出和模糊规则难以解释的难题.为了实现良好的分类性能，H-TSK-FS由多个优化零阶TSK模糊分类器组成 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02系统软件前沿进展专题前言
摘要:Abstract:PDF全文下载地址:http://jos.org.cn/jos/article/pdf/6072 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02面向移动终端智能的自治学习系统
摘要:在移动终端设备中部署机器学习模型已成为学术界和产业界的研究热点，其中重要的一环是利用用户数据训练生成模型.然而，由于数据隐私日益得到重视，特别是随着欧洲出台GDPR、我国出台《个人信息保护法》等相关法律法规，导致开发者不能任意从用户设备中获取训练数据（特别是隐私数据），从而无法保证模型训练的质 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02面向操作系统可靠性保障的开源软件供应链
摘要:软件可靠性是软件工程领域中的研究热点之一，故障率分析是软件可靠性的典型研究方法.然而，软件构建模式已从单体模式演进到以开源软件为代表的规模化协作模式，操作系统作为代表性产物之一，所含开源软件之间通过组合关系和依赖关系，形成了一个包含上万节点的供应关系网络.典型方法缺乏对供应关系的考量，无法准确 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02在离线混部作业调度与资源管理技术研究综述
摘要:数据中心是重要的信息基础设施，也是企业互联网应用的关键支撑.然而，目前数据中心的服务器资源利用率较低（仅为10%~20%），导致大量的资源浪费，带来了极大的额外运维成本，成为制约各大企业提升计算效能的关键问题.混部（colocation），即将在线作业与离线作业混合部署，以空闲的在线集群资源满 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02FPGA加速系统开发工具设计:综述与实践
摘要:近年来，现场可编程逻辑门阵列（FPGA）在异构计算领域因其优异的可定制性和可重配置特点吸引了工业界和学术界的广泛关注.基于FPGA的硬件加速系统设计涉及到深度的软硬件协同开发，利用软硬件各自开发工具分别开发再集成的传统开发方式具有学习门槛高，集成、测试、部署耗时长等缺陷，开发人员难以利用FPG ...中科院软件研究所 本站小编 Free考研考试 2022-01-02抗电路板级物理攻击的操作系统防御技术研究
摘要:计算设备处理和存储日益增多的敏感信息，如口令和指纹信息等，对安全性提出更高要求.物理攻击技术的发展催生了一种通过攻击电路板级硬件组件来获取操作系统机密信息的攻击方法：电路板级物理攻击.该类攻击具有工具简单、成本低、易流程化等特点，极容易被攻击者利用形成黑色产业，是操作系统面临的新安全威胁和挑战 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02
