.dsy:it. - [Ragionamento Automatico I] Diario del corso 04/05

.dsy:it.
//www.dsy.it

[Ragionamento Automatico I] Diario del corso 04/05

Posted by Bulma on 28-02-2005 14:29

"Metodi per il Ragionamento Automatico I" è un corso complementare per le lauree triennali e le specialistiche.
Il corso terminerà verso metà Aprile, quando avrà invece inizio il secondo modulo (Metodi per il Ragionamento Automatico II). Mentre il modulo I darà i fondamenti della materia, il modulo II sarà un corso monografico sulla logica polivalente.

Seguono alcune informazioni generali sul corso (modulo I):

Docente: S. Aguzzoli

Orari delle lezioni:
lunedì 9.00 - 11.30
martedì 9.00 - 10.30
mercoledì 9.00 - 10.30

in auletta 4 (via Comelico).

Note: l'inizio delle lezioni è stato posticipato di mezz'ora rispetto agli orari riportati sul sito del DSI. La lezione del lunedì può anche terminare prima delle 11.30, a seconda delle necessità.

Sito del corso:
Il sito del corso è questo. Attualmente è ancora in costruzione.

Materiale didattico:
Appunti presi a lezione.

Modalità d'esame:
L'esame consiste di un orale sugli argomenti trattati a lezione. E' anche possibile sostituire parte dell'orale con una tesina su un argomento del corso, naturalmente concordato col docente.

Prerequisiti: Nessun prerequisito richiesto.

Programma:
1. Complessità computazionale:
- Macchine di Turing deterministiche e non deterministiche
- Classi P e NP
- Riduzioni polinomiali, NP-completezza
- Teorema di Cook
- Esempi di riduzioni polinomiali
2. Logica proposizionale:
- Nozioni base sintattiche e semantiche
- Calcolo proposizionale
- Teorema di compattezza
- Principio di risoluzione di Robinson e sua completezza
- Correttezza e completezza della procedura refutazionale di Davis-Putnam
- Model building, casi facili e difficili (Krom, Horn)
3. Logica del Primo Ordine:
- Nozioni base sintattiche e semantiche
- Forme normali prenesse, di Skolem, congiunte
- Universo di Herbrand
- Modelli Tarskiani e di Herbrand
- Teorema di Herbrand
- Teorema di completezza
4. Introduzione alla logica polivalente:
- Le t-norme
- Basic Logic di Hajek
- Sottovarietà di BL-algebre