Problema di Esistenza del Piano Dimostrato Indecidibile per Azioni Epistemiche
Una nuova dimostrazione stabilisce che il problema dell'esistenza del piano nella logica epistemica è indecidibile, anche in condizioni severamente limitate. Il problema chiede se esiste una sequenza di azioni epistemiche per raggiungere un dato obiettivo a partire da uno stato epistemico iniziale. La dimostrazione mostra l'indecidibilità quando le precondizioni delle azioni hanno profondità modale al massimo 1 e non ci sono postcondizioni. Questo risultato risolve una questione precedentemente aperta nel campo della logica nell'informatica. Il lavoro è pubblicato su arXiv con l'identificatore 2604.22736.
Fatti principali
- Il problema dell'esistenza del piano è dimostrato indecidibile.
- Il risultato vale per azioni epistemiche con precondizioni di profondità modale al massimo 1.
- Nelle azioni non sono consentite postcondizioni.
- Il problema era precedentemente di stato di decidibilità sconosciuto.
- La dimostrazione è pubblicata su arXiv (2604.22736).
- Il lavoro è classificato sotto Computer Science > Logic in Computer Science.
Entità
Istituzioni
- arXiv