ARTFEED — Contemporary Art Intelligence

New Epistemic Logic Framework Models Knowledge Acquisition and Oblivion Dynamics

publication · 2026-04-22

A new class of epistemic logics has been developed to model the dynamics of knowledge acquisition and descent into oblivion, incorporating group knowledge concepts. The framework introduces a weighted model system with an "epistemic skills" metric to represent capacities tied to knowledge updates. Knowledge acquisition is modeled as upskilling, while oblivion results from downskilling. The system explores "knowability" as the potential to gain knowledge through upskilling and "forgettability" as the potential to lapse into oblivion through downskilling. It also enables analysis of distinctions between epistemic de re and de dicto expressions. Computational complexity of model checking and satisfiability problems is examined, providing theoretical insights. The paper is available on arXiv under identifier 2504.01733v4.

Key facts

  • A new class of epistemic logics captures dynamics of knowledge acquisition and oblivion
  • The framework incorporates concepts of group knowledge
  • It uses a weighted model system with an "epistemic skills" metric
  • Knowledge acquisition is modeled as upskilling
  • Oblivion is represented as a consequence of downskilling
  • The framework explores "knowability" and "forgettability"
  • It analyzes distinctions between epistemic de re and de dicto expressions
  • Computational complexity of model checking and satisfiability problems is examined

Entities

Institutions

  • arXiv

Sources