Logic of computation and information

Le studentesse e gli studenti acquisiranno conoscenze e competenze approfondite su temi di ricerca attuali in logiche modali, multi-agente, computazionali e dell'informazione, con applicazioni in Intelligenza Artificiale.

Le studentesse e gli studenti acquisiranno la capacità di:
- analizzare criticamente gli argomenti e le nozioni alla base delle diverse logiche e loro applicazioni;
- discutere e confrontare posizioni filosofiche diverse che caratterizzano le diverse logiche;
- riflettere su posizioni filosofiche complesse e articolate, che fondano o che derivano dalla definizione delle diverse logiche e delle loro applicazioni;
- assumere una propria posizione in un dibattito filosofico sui fondamenti e le conseguenze delle logiche oggetto di studio e di proporre argomenti a suo sostegno;
- comunicare efficacemente i risultati delle proprie ricerche, anche tramite tecniche multimediali di rappresentazione delle informazioni, con possibili applicazioni alla didattica;
- utilizzare competenze relazionali, comunicative e organizzative anche in contesti altamente complessi e nella gestione del lavoro di gruppo;
- trasmettere le competenze ottenute anche in contesti non specialistici;
- riflettere sulle proprie abilità e sulle valutazioni ottenute;
- ricercare autonomamente le fonti filosofiche di un dibattito o di una scuola di pensiero alla base delle logiche studiate;
- approfondire autonomamente una posizione filosofica o una tesi teorica alla base delle logiche studiate.