Nuova semantica per la fiducia negli argomenti di garanzia

Un nuovo articolo su arXiv (2605.22213) propone una semantica composizionale per la valutazione quantitativa della fiducia negli argomenti di garanzia. Gli argomenti di garanzia, spesso espressi con notazioni come la Goal Structuring Notation (GSN), mancano di una semantica operativa per derivare la fiducia. Gli approcci esistenti ragionano su valori di verità, non sulla fiducia. La Logica Soggettiva (SL) offre un calcolo di credenza, incredulità e incertezza, ma manca di una semantica composizionale uniforme. L'approccio proposto rappresenta gli elementi dell'argomento come opinioni SL e mappa le relazioni agli operatori SL per una valutazione complessiva della fiducia.