Logics for Informatics
Docente/Teacher
Prof. Giovanna D'Agostino
Indirizzo e-mail
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