Intelligenza Artificiale
Indice
Informazioni sul corso
Docenti: prof. Simona Perri, prof. Francesco Calimeri
Per INFORMAZIONI, ricevimento, didattica, varie ed eventuali: scrivere a ai-course@mat.unical.it.
Orario di ricevimento: Su appuntamento. In genere giovedi' ore 10:00, ma si prega di contattare i docenti in anticipo (anche per i progetti di fine corso).
Avvisi
Per comunicazioni
Fare riferimento all'indirizzo di posta elettronica ai-course@mat.unical.it.
AVVISO
Il Team del Corso di Intelligenza Artificiale è accessibile tramite il codice
- u9scoo1
Per la CONSEGNA dei progetti: è necessario inviare PRIMA del ricevimento il progetto funzionante, eseguibile (Jar, Exe, etc.) + codice, caricandolo nella cartella "Consegna progetti" accessibile nel canale "Ricevimento" ovvero attraverso il link
Gli studenti che avessero difficoltà ad accedere al Team possono contattare ai-course@mat.unical.it
AVVISO
Risultati della prova d'esame del 12 febbraio 2020: file PDF.
AVVISO
Risultati della prova d'esame del 15 gennaio 2020: file PDF. La visione degli elaborati sarà possibile mercoledì 22 gennaio 2020, esclusivamente tra le 15:30 e le 16:30.
AVVISO
Risultati della prova d'esame del 19 novembre 2019: file PDF.
Materiale didattico
Questa pagina è in costante aggiornamento.
Lucidi
Diapositive - File .PDF - LUCIDI IN AGGIORNAMENTO DURANTE IL CORSO - Ultimo aggiornamento: 2017-12.
Diapositive su I-DLV e interoperabilità - File .PDF
Diapositive su interoperabilità ed EmbASP - File .PDF
Appunti e Dispense
Introduzione all'Intelligenza Artificiale - Oxford 1999 (archivio .zip - serie di documenti in formato PDF)
Computational Intelligence and Knowledge (archivio .zip - documento in formato PDF)
Introduzione al Datalog - Ullman 1997 (archivio .zip - documento in formato PDF)
TOCL - The DLV System for Knowledge Representation and Reasoning [N.Leone, G.Pfeifer, W.Faber, T.Eiter, G.Gottlob, S.Perri and F.Scarcello, TOCL, 2004] (archivio .zip - documento in formato PDF)
Aggregate Functions in DLV [T.Dell'Armi, W.Faber, G.Ielpa, N.Leone, G.Pfeifer, Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI) 2003, Acapulco, Mexico] (archivio .zip - documento in formato PDF)
Diagnosis, Planning, Action Languages, DLV^K [Grazie a T.Eiter, W.Faber, G.Pfeifer, A.Polleres, H.Tompits] (archivio .zip - serie di documenti in formato PDF)
Compiti, Esercizi, Esami
Progetti
A.A. 2019-2020: si veda la pagina 2019-2020-progetti.
A.A. 2018-2019: si veda la pagina 2018-2019-progetti.
Link Utili
- DLV2: Sistema completo (integra I-DLV e wasp)
DLV2 (linux 64bit) [LAST UPDATE 2 Novembre 2020]
DLV2 (linux 32bit) [LAST UPDATE 2 Novembre 2020]
DLV2 (windows 64bit) [LAST UPDATE 2 Novembre 2020]
DLV2 (windows 32bit) [LAST UPDATE 2 Novembre 2020]
DLV2 (mac OS 64bit) [LAST UPDATE 11 Dicembre 2020]
- Versione con il supporto ad atomi esterni definiti in Python (archivi .ZIP contenenti tutte le librerie - NOTA: è necessario avere installata sul sistema di destinazione l'ambiente Python nella versione indicata)
DLV2 (linux 64bit) - Python 2.7 [LAST UPDATE 7 Dicembre 2020]
DLV2 (linux 32bit) - Python 2.7 [LAST UPDATE 7 Dicembre 2020]
I-DLV page on GitHub
I-DLV (linux 64 bit) [LAST UPDATE 21 Ottobre 2020]
I-DLV (linux 32 bit) [LAST UPDATE 21 Ottobre 2020]
I-DLV (windows 64 bit) [LAST UPDATE 21 Ottobre 2020]
I-DLV (windows 32 bit) [LAST UPDATE 21 Ottobre 2020]
I-DLV (mac OS 64 bit) [LAST UPDATE 15 Ottobre 2020]
Sito del corso "Knowledge Based Systems" (Politecnico di Vienna - In Tedesco)
Strumenti di Sviluppo
EmbASP - Framework per l'integrazione di programmi logici in applicazioni esterne
EmbASP: libreria Java (.jar) versione 7.2.0 [LAST UPDATE 11 Dicembre 2020]
Esempio di uso di EmbASP con DLV2: SUDOKU [LAST UPDATE 11 Dicembre 2020]
Esempio di uso di EmbASP con DLV: 3Col [LAST UPDATE 11 Dicembre 2020]
JDLV - Per richiedere una copia di JDLV scrivere al dott. Kristian Reale: reale@mat.unical.it.
Visual ASP Editor - ASPIDE: Ambiente integrato per l'editing e lo sviluppo di programmi ASP (versione BETA)
Informazioni pratiche sull'esame
Dettagli sono forniti durante il corso. Per ulteriori informazioni contattare i docenti a ai-course@mat.unical.it.
Tracce d'esame precedenti
Testi degli appelli dell'anno 2017 (file .PDF)
Testi e soluzioni degli appelli degli anni 2007-2008 La storia di Ciccio Pasticcio e Renata Limbranata: le origini (archivio .ZIP contenente file PDF e TXT)
Testo dell'appello d'esame del 13/01/2011 (file in formato PDF)
Testo dell'appello d'esame del 06/09/2011 (file in formato PDF)
Testo dell'appello d'esame del 19/01/2012 (file in formato PDF)
Testo dell'appello d'esame del 16/03/2012 (file in formato PDF)
Testo dell'appello d'esame del 19/02/2013 (file in formato PDF)
Testo dell'appello d'esame del 16/04/2013 (file in formato PDF)
Testo dell'appello d'esame del 03/07/2013 (file in formato PDF)
Testo dell'appello d'esame del 06/09/2013 (file in formato PDF)
Testo dell'appello d'esame del 13/02/2014 (file in formato PDF)
Testo dell'appello d'esame del 22/09/2014 (file in formato PDF)
Testo dell'appello d'esame del 21/11/2014 (file in formato PDF)
Testo dell'appello d'esame del 15/4/2015 (file in formato PDF)
Testo dell'appello d'esame del 24/6/2015 (file in formato PDF)
Testo dell'appello d'esame del 23/9/2015 (file in formato PDF)
Testo dell'appello d'esame del 03/2/2016 (file in formato PDF)
Testo dell'appello d'esame del 27/1/2017 (file in formato PDF)
Testo dell'appello d'esame del 25/01/2018 (file in formato PDF)
Testo dell'appello d'esame del 15/02/2018 (file in formato PDF)
Testo dell'appello d'esame del 26/06/2018 (file in formato PDF)
Testo dell'appello d'esame del 21/01/2019 (file in formato PDF)
Testo dell'appello d'esame del 24/06/2019 (file in formato PDF)
Testo dell'appello d'esame del 17/07/2019 (file in formato PDF)