Nuovo Framework di Logica Epistemica Modella la Dinamica di Acquisizione della Conoscenza e dell'Oblio

Una nuova classe di logiche epistemiche è stata sviluppata per modellare la dinamica di acquisizione della conoscenza e della discesa nell'oblio, incorporando concetti di conoscenza di gruppo. Il framework introduce un sistema di modelli ponderati con una metrica delle "abilità epistemiche" per rappresentare le capacità legate agli aggiornamenti della conoscenza. L'acquisizione della conoscenza è modellata come upskilling, mentre l'oblio risulta dal downskilling. Il sistema esplora la "conoscibilità" come potenziale per acquisire conoscenza attraverso l'upskilling e la "dimenticabilità" come potenziale di cadere nell'oblio attraverso il downskilling. Consente inoltre l'analisi delle distinzioni tra espressioni epistemiche de re e de dicto. Viene esaminata la complessità computazionale dei problemi di model checking e soddisfacibilità, fornendo approfondimenti teorici. Il documento è disponibile su arXiv con l'identificatore 2504.01733v4.