Logica per giochi e ragionamento strategico, Lisbona, Portogallo

Il 16 e 17 agosto 2010 si terrà a Lisbona (Portogallo) un workshop intitolato "Logics for games and strategic reasoning".

Il ragionamento strategico si ha in molti sistemi multi-agente. Questo è particolarmente evidente in modelli di gioco e di decisione, ma anche in ambienti più informali che usano la metafora del gioco (come i videogiochi o i servizi dei social networks). La logica matematica può contribuire a questa prospettiva in molti modi fornendo specifiche, modelli e/o algoritmi per scenari di gioco.

La conferenza esaminerà come la logica può contribuire alla nostra comprensione, modellizazione e analisi dei giochi, ma anche come la metafora dei giochi e delle strategie può contribuire a costruire e usare formalismi logici.

Gli argomenti che saranno affrontati durante la conferenza includono:
- "Logica per il ragionamento su giochi e strategie",
- "Logica modale di abilità strategiche",
- "Fondamenti logici della teoria dei giochi e della decisione",
- "Approcci logici alla razionalità e alla razionalità limitata",
- "Risoluzione di giochi e verifica di strategie tramite controllo modelli",
- "Logiche per la progettazione di meccanismi",
- "Semantica dei giochi per la logica",
- "Giochi per la verifica di specifiche logiche".Per ulteriori informazioni, visitare:
http://centria.di.fct.unl.pt/events/climaXI/sessions.html(si apre in una nuova finestra)