Formal Methods for Strategic Reasoning
Insegnamento: Formal Methods for Strategic Reasoning
Titolo insegnamento in inglese: Formal Methods for Strategic Reasoning
Lingua: Inglese
Anno di corso: 2
Semestre: 2
CFU: 6
Insegnamenti propedeutici previsti: Nessuno.
Docenti:
- Aniello Murano
Obiettivi Formativi
Il ragionamento di strategia è un tema centrale in diversi settori dell’Informatica. Nell’Intelligenza Artificiale svolge il compito di progettare piani individuali o collettivi di conseguimento di obiettivi specifici da parte di agenti autonomi (i robot ad esempio). Nella verifica dei sistemi è usata per la sintesi automatica di programmi distribuiti che soddisfano per costruzioni proprietà desiderate o per verificare l’esistenza di equilibri di Nash. IL corso ha la finalità di introdurre lo studente ai concetti basilari di questo filone di ricerca attualmente attivo. Si inizierà con l’introduzione ai tre temi centrali - giochi, logica ed automi – evidenziando le loro interconnessioni. A partire da questi temi fondamentali verranno definite logiche specifiche adeguate ad esprimere ragionamento di strategia nei sistemi multi-agenti.
Risultati di apprendimento
• Acquisire un solido background nei giochi, logiche e automi.
• Familiarizzare con le logiche moderne per il ragionamento strategico.
Programma
Logica:
• Propositional logic:
• Linear-time Temporal Logic
• Branching-time Temporal Logic
• Quantified Branching-time Temporal Logic
Giochi:
• Two-player games of finite duration
• Two-player games of infinite duration
Automi:
• Automi su parole finite
• Automi su parole infinite
• Automi su alberi
Logiche per Strategic Reasoning:
• Multi-agent games
• Alternating-time Temporal Logic
• Strategy Logic
• Extensions (imperfect information, probabilistic)
• Tools for multi-agent strategic reasoning
Modalità didattiche
Lezioni frontali.
Materiale didattico
Si consulti il sito web del docente.
Modalità di esame
L'esame si articola in prova solo orale. Presentazioni di articoli di ricerca.