认知技能：知道与遗忘的逻辑动态

我们提出了一种认知逻辑，它同时封装了获取知识（知道）和丢失信息（遗忘）的动态，以及群体知识概念的整合。我们的方法建立在一个加权模型系统之上，该系统引入了一种'认知技能'度量，以有效表示与知识更新相关的认知能力。在该框架中，知识的获取被建模为技能提升，而遗忘则被建模为技能下降。此外，我们的框架允许我们探索'可认知性'的概念，即可认知性可定义为通过技能提升获取知识的潜力，并有助于细致地理解认知de re表达与de dicto表达之间的区别。我们研究了这些逻辑的模型检查问题的计算复杂性，为我们方法的理论基础和实践意义提供了见解。