Postulati di Revisione delle Credenze Generalizzati per Sistemi Multi-Agente
Un recente preprint su arXiv (2605.02249v1) amplia i principi classici di revisione delle credenze AGM per adattarli a scenari multi-agente nella pianificazione epistemica. Questa ricerca chiarisce come l'acquisizione di credenze da parte di un agente riguardo a una proprietà di stato influenzi le credenze di tutti gli agenti all'interno di un sistema, utilizzando un modello Kripke multi-agente unificato. Gli autori introducono un operatore semplice chiamato revisione multi-agente full-meet generalizzata che soddisfa tutti i postulati stabiliti e presentano una generalizzazione per la revisione iterata insieme a un operatore basato su modelli di eventi. L'articolo affronta anche potenziali sfide nella definizione di operatori epistemici nei modelli di Kripke. In definitiva, lo studio mira a stabilire un quadro formale per valutare i sistemi di ragionamento epistemico dinamico.
Fatti principali
- 1. arXiv:2605.02249v1 è un nuovo tipo di annuncio: nuovo
- 2. L'articolo indaga la revisione delle credenze nella pianificazione epistemica
- 3. Generalizza i postulati classici AGM a contesti multi-agente
- 4. Le credenze degli agenti sono rappresentate tramite un singolo modello Kripke multi-agente
- 5. La revisione multi-agente full-meet generalizzata soddisfa tutti i postulati
- 6. Viene definita una generalizzazione dei postulati standard per la revisione iterata
- 7. Viene presentato un operatore di revisione basato su modelli di eventi
- 8. Vengono discusse potenziali problematiche nella definizione di un operatore epistemico sui modelli di Kripke
Entità
Istituzioni
- arXiv