arXiv:2504.01733v1 通告类型: 新 摘要: 本文介绍了一类表征获取知识和陷入无知动态的知行逻辑，同时还融入了群体知识的概念。这种方法基于加权模型系统，引入了“知识技能”度量来表示与知识更新相关的认识能力。在这一框架中，知识获取被建模为技能提升的过程，而无知则被表示为技能下降的后果。此外，该框架还能够探索“可知性”和“易忘性”的概念，即通过技能提升获取知识和通过技能下降陷入无知的可能性。此外，它还支持对“关于”的认知表达和“就内容而言”的认知表达之间的区别进行详细分析。对模型检查和满足性问题的计算复杂性进行了研究，提供了其理论基础和实践意义的见解。