Logic Programming, Knowledge Representation, and Non Monotonic Reasoning

Agostino Dovier
Dottorato di ricerca in Informatica

Programma

  1. 29/09/2011. Introduzione. LUCIDI
  2. 30/09/2011. Sintassi e semantica della logica del prim'ordine (si veda il Capitolo 2 di [4]).
  3. 06/10/2011. Clausole di Horn e Definite. Programmi Definiti (Prolog puro) (si vedano anche i lucidi 2-17 di Questa presentazione).
    Teorema di Herbrand (variante per le clausole). Intersezione di modelli e modello minimo di Herbrand per il calcolo delle conseguenze logiche (si veda il capitolo 6 di [4]).
  4. 07/10/2011. Monotonia e continuità dell'operatore di conseguenza immediata. Modello minimo come minimo punto fisso di un operatore. Complessità nel caso di universo di Herbrand finito (si veda il capitolo 6 di [4]).
  5. 20/10/2011. Programmi generali. Semantica di un programma generale. Modelli stabili. ASP. Alcune estensioni sintattiche. LUCIDI
  6. 21/10/2011. Esercitazione sulla programmazione in ASP (usando gringo+clasp). Esempi di codifiche di Constraint Satisfaction Problems (CSP): Graph Coloring, N-queens, Sudoku. Uso per KR: il primo quiz del libro di Smullyan (si vedano i lucidi della lezione 1).
  7. 27/10/2011. Altri esempi di applicazione dell'answer set programming: il secondo quiz del libro di Smullyan, lo Zebra puzzle, la Capra e il Cavolo, la Torre di Hanoi.
  8. 28/10/2011. Action Description Languages: sintassi e semantica. Applicazioni: le tre botti, il solitario peg, Sam Lloyd's puzzle, Sokoban, ... (LUCIDI). Si veda invece qui per i domini in B (ed altro).
  9. 03/11/2011. Espressività e relative classi di complessità dei linguaggi per KR. LUCIDI
  10. 04/11/2011. Intelligenza e macchina: la questione dell'intenzionalità. A cura di Angelo Montanari.

Materiale

  1. Chitta Baral. Knowledge representation, reasoning and declarative problem solving , Cambridge University Press, 2003. Slides based on the book
  2. C. Baral, M. Gelfond, Logic Programming and Knowledge Representation, Journal of Logic Programming, 19,20:73-148, 1994.
  3. E. Dantsin, Th. Eiter, G. Gottlob, and A. Voronkov. Complexity and Expressive Power of Logic Programming. ACM Computing Surveys 33(3):374-425 (2001)
  4. A. Dovier and A. Formisano. Programmazione Dichiarativa con Prolog, CLP, ASP, e CCP.
  5. Thomas Eiter and Georg Gottlob. On the Computational Cost of Disjunctive Logic Programming: Propositional Case.
    Annals of Mathematics and Artificial Intelligence, 15(3/4):289-323, 1995. (.ps.gz),