Libri di testo: verranno usate sezioni di questi libri di testo e articoli da questi siti:

• Poole, Mackworth and Goebel, Computational Intelligence - a logical approach.
• presentazioni proiettate a lezione (formato .pdf)
• Chitta Baral, Knowledge representation, reasoning and declarative problem solving with answer sets. (in corso di pubblicazione)
• la documentazione del progetto  Legolog
• L'MIT Programmable Brick, il progenitore dei robot Legolog.
• articoli di  John McCarthy
• articoli dalla bibliografia del Texas Action Group

• Scarica l'interprete DLV.
• Scarica l'interprete smodels.
• Scarica l'interprete Prolog SWI: (linux) (win)

• Primo modulo
• 26 marzo
• 30 aprile
• Secondo modulo
• 9 giugno
• 8 luglio (prova finale)

Scarica i risultati della terza prova in itinere: .pdf

• 26-II: .ppt .pdf
• 27-II: .ppt .pdf
• 28-II: .ppt .pdf
• 5-III: .pdf
• 12-III: .pdf
• 13-III: .pdf
• 14-III: .pdf ese1.pl ese2.pl
• 19-III: .pdf
• 20-III: .pdf
• 21-III: .pdf
• 26-III: .pdf
• 27-III: .pdf
• 28-III: compitino.pdf
• 2-IV: .pdf
• 3-IV: .pdf
• 4-IV: .pdf
• 9-IV: .pdf
• 10-IV: .pdf
• 11-IV: .pdf
• 16-IV: .pdf
• 30-IV: pala.pl pala1.pl palag.pl (Programmi Esercitazione)
• 7-V: .pdf
• 8-V: .pdf
• 14-V: Cap. 8 Rappresentazione di azioni I (trasparenze di Poole et al.)
• 15-V: Cap. 8 Rappresentazione di azioni II (trasparenze di Poole et al.)
• 16-V: Cap. 8 Rappresentazione di azioni III :
  • introduzione alla pianificazione .pdf.
  • il mondo dei blocchi e le sue euristiche esempi.ps discussione.ps da J. Sierra.
  • Un pianificatore in ASP planner, un'istanza, un'altra ed una grande, dal gruppo DLV.
• 22-V: Cap. 9 Introduzione ai Default (trasparenze di Poole et al.)
• 22-V: Cap. 9 Introduzione ai Default II
• 23-V: Cap. 9 defaults e abduzione
• 26-V: Answer Set Programming (ASP) I: definizioni ed esempi nella dispensa asp-primer.pdf
• 30-V: ASP II nuovi connettivi ed espressività:
  • Un tutorial su DLV da K. Koch.
  • Le regole di stategic companies, un' istanza ed una spiegazione dal gruppo DLV.

• Scarica la presentazione (.pdf) di Legolog fatta al corso FSE dall'Alessandra Mileo.
• Il nostro Franco Salvetti ha creato una pagina sul Semantic Web dal punto di vista dell'AI logicistica.

• Ascolta un dibattivo sull'Intelligenza artificiale pronunciata nel giorno della nascita di Hal9000, il computer navigatore di 2001 Odissea nello spazio.
• Un articolo sul ritorno dell'AI sulla scena tecnologica da The Economist.
• Un articolo su AI e Artificial Life da The Economist.
• Puoi acquistare il libro di testo on-line presso Oxford University Press.

1.Gli agenti autonomi intelligenti

2.Datalog: sintassi, semantica logica ed algoritmi di deduzione

3.Il Prolog

4.Ragionamento su azioni e pianificazione automatica

5.L'abduzione, I defaults e i modelli stabili