Epistemic Skills: Reasoning about Knowledge and Oblivion

要約

このペーパーでは、グループ知識の概念を取り入れながら、知識を獲得し、忘却に降りるというダイナミクスを捉えた認識論的ロジックのクラスを紹介します。
このアプローチは、加重モデルのシステムに基づいており、知識の更新に関連する認識論的能力を表す「認識スキル」メトリックを導入します。
このフレームワーク内では、知識の習得はアップスキルのプロセスとしてモデル化されますが、忘却はスキルダウンの結果として表されます。
このフレームワークは、さらに「知識」と「忘れができない」の調査を可能にします。これは、それぞれ高級スキーを通して知識を獲得し、それぞれダウンスキルを通して忘却に陥る可能性があると定義されています。
さらに、認識論とde dictoの表現との区別の詳細な分析をサポートしています。
モデルのチェックと満足度の問題の計算の複雑さが検討され、理論的基盤と実際的な意味についての洞察を提供します。

要約(オリジナル)

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.

arxiv情報

著者 Xiaolong Liang,Yì N. Wáng
発行日 2025-04-02 13:41:42+00:00
arxivサイト arxiv_id(pdf)

提供元, 利用サービス

arxiv.jp, Google

カテゴリー: cs.AI, cs.CC, cs.LO パーマリンク