Questo libro si basa su idee provenienti dalla logica filosofica, dalla logica computazionale, dai sistemi multi-agente e dalla teoria dei giochi per offrire un resoconto completo della logica e dei giochi visti in due modi complementari. Esamina la logica dei giochi: lo sviluppo di sofisticate logiche dinamiche moderne che modellano il flusso di informazioni, la comunicazione e le strutture interattive nei giochi. Esamina anche la logica come giochi: l'idea che le attività logiche di ragionamento e molti compiti correlati possano essere visti sotto forma di giochi. In tal modo, il libro affronta l'"interazione intelligente" degli agenti impegnati in attività competitive o cooperative ed esamina i modelli di comportamento strategico che ne derivano. Sviluppa moderni sistemi logici in grado di analizzare i cambiamenti guidati dalle informazioni nelle conoscenze e nelle convinzioni dei giocatori e introduce la "teoria del gioco" che emerge dalla combinazione di logica e teoria dei giochi. Ciò si traduce in una nuova visione della logica stessa come attività razionale interattiva basata sul ragionamento, sulla percezione e sulla comunicazione che ha particolare rilevanza per i giochi. Logic in Games, basato su un corso tenuto dall'autore alla Stanford University, all'Università di Amsterdam e altrove, può essere utilizzato in seminari avanzati e come risorsa per i ricercatori. --Fornito dall'editore.
caricamento...
