The logic of digital knowledge
Quali principi segue la conoscenza? Come funziona lo scambio di dati tra agenti, compresi i robot? Come possiamo modellare il flusso di informazioni nei social network? Gli strumenti fondamentali per comprendere il comportamento formale e computazionale della conoscenza sono al centro di queste domande.
Questo corso si propone di fornire:
- un'autonoma introduzione alla logica epistemica
- una panoramica pratica delle sue applicazioni.
Corso offerto esclusivamente in Inglese.
Andrea Lupo
Credo che valga la pena condividere l'esperienza maturata attraverso le 2 Summer School in Logic and Information (ESSLLI2021 a Utrecht e NASSLLI2022 a Los Angeles). Pertanto, voglio cogliere l'opportunità insegnando un modulo sulla logica della conoscenza digitale.