This paper presents a class of epistemic logics that captures the dynamics of acquiring knowledge and descending into oblivion, while incorporating concepts of group knowledge. The approach is grounded in a system of weighted models, introducing an ``epistemic skills'' metric to represent the epistemic capacities tied to knowledge updates. Within this framework, knowledge acquisition is modeled as a process of upskilling, whereas oblivion is represented as a consequence of downskilling. The framework further enables exploration of ``knowability'' and ``forgettability,'' defined as the potential to gain knowledge through upskilling and to lapse into oblivion through downskilling, respectively. Additionally, it supports a detailed analysis of the distinctions between epistemic de re and de dicto expressions. The computational complexity of the model checking and satisfiability problems is examined, offering insights into their theoretical foundations and practical implications.


翻译:本文提出一类认知逻辑,用于刻画获取知识与陷入遗忘的动态过程,同时融合群体知识的概念。该方法基于加权模型系统,引入“认知技能”度量来表示与知识更新相关的认知能力。在此框架中,知识获取被建模为技能提升的过程,而遗忘则表示为技能下降的结果。该框架进一步支持对“可知性”与“可忘性”的探讨——二者分别定义为通过技能提升获得知识的潜力,以及通过技能下降陷入遗忘的可能性。此外,框架支持对认知的从物表达与从言表达之间差异的细致分析。本文考察了模型检测与可满足性问题的计算复杂度,从而揭示其理论基础与实际意义。

0
下载
关闭预览

相关内容

知识图谱上的神经和符号逻辑推理,99页ppt
专知会员服务
111+阅读 · 2020年12月17日
数据驱动的态势认知技术及发展思考
专知
18+阅读 · 2022年7月12日
基于知识图谱的问答系统
PaperWeekly
21+阅读 · 2021年2月8日
技术动态 | 事理图谱,下一代知识图谱
开放知识图谱
29+阅读 · 2018年12月28日
肖仰华 | 知识图谱与认知智能
开放知识图谱
15+阅读 · 2018年4月5日
国家自然科学基金
9+阅读 · 2017年12月31日
国家自然科学基金
18+阅读 · 2017年12月31日
国家自然科学基金
0+阅读 · 2016年12月31日
国家自然科学基金
2+阅读 · 2015年12月31日
国家自然科学基金
4+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
12+阅读 · 2014年12月31日
国家自然科学基金
18+阅读 · 2012年12月31日
Arxiv
0+阅读 · 2025年12月31日
VIP会员
相关VIP内容
知识图谱上的神经和符号逻辑推理,99页ppt
专知会员服务
111+阅读 · 2020年12月17日
相关基金
国家自然科学基金
9+阅读 · 2017年12月31日
国家自然科学基金
18+阅读 · 2017年12月31日
国家自然科学基金
0+阅读 · 2016年12月31日
国家自然科学基金
2+阅读 · 2015年12月31日
国家自然科学基金
4+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
12+阅读 · 2014年12月31日
国家自然科学基金
18+阅读 · 2012年12月31日
Top
微信扫码咨询专知VIP会员