Indagine sul Cambiamento di Credenza Traccia l'Evoluzione da Doyle a AGM

Uno studio recente pubblicato su arXiv (2608.14567) offre una revisione completa del cambiamento di credenza, delineando sia le basi storiche che teoriche per applicazioni computazionali. Questa revisione è ispirata alla tassonomia fondamentale stabilita da Doyle e London nel 1980 e traccia la progressione della revisione delle credenze dalle sue radici computazionali attraverso il quadro AGM fino alle metodologie moderne. Esplora le connessioni tra il pragmatismo computazionale pre-AGM e i costrutti teorici AGM, evidenziando sia continuità che cambiamenti. L'articolo indaga anche l'evoluzione di ciascuna categoria tassonomica nel panorama post-AGM, individuando basi teoriche e contesti storici che pongono sfide attuali di implementazione. In definitiva, cerca di stabilire una base per l'analisi sistematica e la ricerca orientata all'ingegneria, aprendo la strada a studi futuri su modelli computazionali robusti che integrino prospettive storiche con garanzie formali.