Intelligenza Artificiale (Automated Reasoning)

Home page alla Scuola Superiore
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 (Σ2P).
  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.
Materiale del corso su elearning