Intelligenza Artificiale (Automated Reasoning)

Andrea Formisano and Agostino Dovier

Programma

1. 13/02/2017. (AF) Introduzione. Agenti. Sistemi intelligenti.
2. 14/02/2017. (AF) Logica del prim'ordine. Programmi definiti. Esempi.
3. 15/02/2017. (AF) Programmi definiti. Semantics. Modelli di Herbrand. Minimo punto fisso.
4. 16/02/2017. (AF) Programmi generali. Semantica della negazione per fallimento. Modelli stabili.
5. 17/02/2017. (AF) Il linguaggio ASP. Modeling. Magic-Square. N-Queens.
6. 28/02/2017. (AD) Esempi di modeling. Hamiltonian circuit. Hamming codes. Sudoku. Telethon scheduling. Soccer tournament. Haplotype inference.
7. 07/03/2017. (AD) Espressività di KR e Complessità
   Cenni di complessità computazionale. Linguaggi, classi in tempo deterministiche e non. Riduzioni e completezza. Test di esistenza di un modello (stabile). Programmi definiti (P). Programmi generali (NP). Programmi disgiuntivi senza (NP) e con negazione (Σ₂^P).
8. 13/3/2017. (AF) Argumentation frameworks. Semantiche dialettiche e loro encoding in DLV.
9. 14/3/2017. (AF) Preferenze in ASP. LPOD (Brewka et al), ASPRIN (Romero et al), RASP (Costantini et al).
10. 16/3/2017. (AD) Esercitazione.
11. 21/3/2017. (AD) Rappresentazione della conoscenza in rompicapi logici (zebra, thelma, smullyan). Problemi di "planning" (capra-cavolo, 3 botti, hanoi, Lloyd's Puzzle) e loro codifica diretta in ASP.
12. 28/03/2017. (AD) Action Description Languages. Planning. Linguaggi A e B e loro semantica basata su transition systems. Cenni di PDDL e PICAT.
13. 19/04/2017. (AD + AF) Modeling in B/PDDL. Planning concorrente: BMAP e BAAC. "Lazy grounding": GASP. Parallelismo con CUDA: SAT solver e ASP solver.