Docente/Teacher

Prof. Giovanna D'Agostino

Indirizzo e-mail

giovanna.d'agostino@uniud.it

Indirizzo Pagina Web Personale

http://people.uniud.it/page/giovanna.dagostino

Crediti/Credits

6 CFU

The course is held in English

Objectives of the Course

Give  an ample overview of the role of Logic in its  intersection  with  Computer Science, and more specifically  in the areas  of   Game Theory, System Verification, and Artificial Intelligence.

Syllabus

-LOGIC AND GAMES

- Review of Propositional and First Order Logic.

-  Mathematical definition of Game. Strategies. Determinacy.

- Ehrenfeucht Games and expressiveness of First Order Logic.

- LOGIC AND VERIFICATION

–        Beyond First Order Logic:  S1S, Buchi Automata and Games

–        Modal Logic and some extensions:  Bisimulation,  Temporal Logic.

- LOGIC AND ARTIFICIAL INTELLIGENCE

- Non Monotonic Reasoning.

- Epistemic and Descriptive Logics.

Prerequisites

Basic knowledge of the syntax and semantics of Propositional and First Order Logic (see e.g. Logic and structure / Dirk Van Dalen)

Bibliography

Notes and articles given during the course,   available on  line on “Materiale Didattico d'Ateneo”

Exam

Homework

Written exam  (exercises)

Oral Exam

Students that have followed the course previously and with a different syllabus  will have the possibility to give the exam  on their programme,  upon  sending   an email to the teacher one week before the written exam.

Office Hours

To fix an appointment, send a request to giovanna.dagostino@uniud.it

****************************************************************************************

Finalità e obbiettivi formativi

Fornire un ampio panorama del ruolo della Logica nelle sue  aree  d'intersezione  con  l'Informatica, quali  la Teoria dei Giochi,  la Verifica dei Sistemi e l'Intelligenza Artificiale.

Programma

-LOGICA E GIOCHI.

- Breve ripasso di Logica Proposizionale e al Prim'ordine.

- Definizione matematica di gioco. Strategie. Determinatezza.

- Giochi di Ehrenfeucht ed espressività della Logica al Prim'ordine.

-LOGICA E VERIFICA

- Superamento della Logica al Prim'ordine: S1S, Automi di Buchi e Giochi. - Logica modale e sue estensioni: Bisimulazione. Logiche Temporali (cenni).

-LOGICA E INTELLIGENZA ARTIFICIALE

- Ragionamento non monotono.

- Logiche Epistemiche e Descrittive.

Prerequisiti

Conoscenza di base della sintassi e della semantica della Logica Proposizionale e della Logica al Prim'ordine.

(vedere ad esempio http://users.dimi.uniud.it/~alberto.marcone/dispenseLM1314.pdf ed in particolare i capitoli 1,2,3,6,7,8,9)

Bibliografia

Appunti ed articoli forniti durante il corso. Gli studenti non frequentanti possono reperire tale materiale sul materiale didattico di ateneo.

Modalità d'esame

Esercizi da risolvere  durante il corso.

Scritto (svolgimento di esercizi).

Orale.

Gli studenti che hanno frequentato il corso con un programma differente da quello descritto potranno svolgere l'esame su tale programma, previa comunicazione al docente almeno una settimana prima della data di svolgimento dello scritto.

Orario di ricevimento

Su appuntamento, inviando una mail a giovanna.dagostino@uniud.it