## page was renamed from Intelligenza Artificiale #acl FrancescoCalimeri:read,write,revert NicolaLeone:read,write,revert JessicaZangari:read,write,revert EditorsGroup:read,write,delete,admin,revert All:read == Intelligenza Artificiale == <> === Informazioni sul corso === '''Docenti''': prof. [[http://www.mat.unical.it/~perri/| Simona Perri]], prof. [[http://www.mat.unical.it/~calimeri/|Francesco Calimeri]] '''Per INFORMAZIONI, ricevimento, didattica, varie ed eventuali''': scrivere a [[mailto:ai-course@mat.unical.it|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). ##'''[[IntelligenzaArtificialeSUA|Scheda descrittiva del corso]]''' <
> === Avvisi === * '''Per comunicazioni''' Fare riferimento all'indirizzo di posta elettronica ''ai-course@mat.unical.it''. * '''AVVISO''' ## Le attività di ricevimento studenti per il corso si svolgeranno, a partire da questa settimana e fino a diversa comunicazione, per via telematica attraverso la piattaforma Microsoft Teams, cui tutti gli studenti UNICAL hanno accesso. Il Team del Corso di Intelligenza Artificiale è accessibile tramite il codice u9scoo1 o tramite il link https://teams.microsoft.com/l/team/19%3adb0677d9c18d46308b94ee78e6c2ae4f%40thread.tacv2/conversations?groupId=9584116c-bc78-444b-9b8c-14f68d2ee038&tenantId=7519d0cd-2106-47d9-adcb-320023abff57 ## Il primo ricevimento è fissato per '''giovedì 12 marzo 2020''' alle ore 15.30 - Si prega di prenotarsi tramite un messaggio sul canale "Ricevimento", accessibile nel Team o anche direttamente tramite il link ## https://teams.microsoft.com/l/channel/19%3a1492dade425144858da92002c61396aa%40thread.tacv2/Ricevimento?groupId=9584116c-bc78-444b-9b8c-14f68d2ee038&tenantId=7519d0cd-2106-47d9-adcb-320023abff57 ''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 https://teams.microsoft.com/_#/school/files/Ricevimento?threadId=19%3A1492dade425144858da92002c61396aa%40thread.tacv2&ctx=channel&context=Consegna%2520Progetti&rootfolder=%252Fsites%252FIntelligenzaArtificialeCdSINFORMATICA-RICEVIMENTO%252FShared%2520Documents%252FRicevimento%252FConsegna%2520Progetti 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: [[attachment:20190212-AI-risultati-fixed.pdf|file PDF|&do=get]]. * '''AVVISO''' Risultati della prova d'esame del 15 gennaio 2020: [[attachment:20200115-AI-risultati.pdf|file PDF|&do=get]]. 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: [[attachment:20191119-AI-risultati-fixed.pdf|file PDF|&do=get]]. ## * Risultati della prova d'esame del 17 luglio 2019: [[attachment:20190707-AI-risultati.pdf|file PDF|&do=get]]. ## * Risultati della prova d'esame del 17 luglio 2019: [[attachment:20190707-AI-risultati.pdf|file PDF|&do=get]]. ## * Risultati della prova d'esame del 24 giugno 2019: [[attachment:20190624-AI-risultati.pdf|file PDF|&do=get]]. ## * Risultati della prova d'esame del 11 aprile 2019: [[attachment:20190411-AI-risultati.pdf|file PDF|&do=get]]. ## * Seminario del dott. Reale su JDLV: lunedi 18 gennaio 2016, ore 11,30, aula MT10 (cubo 30B, primo piano). ## * Per chiarimenti e indicazioni sui progetti di fine corso la dott.ssa Perri e l'ing. Calimeri riceveranno gli studenti fino al termine della sessione d'esami '''il giovedi' mattina alle 10:00'''. ##'''NOTA''' ##{{{ ##I docenti non potranno ricevere giovedi' 21 marzo 2012. Il ricevimento e' rimandato quindi alla settimana successiva, ma (eccezionalmente) a MERCOLEDI' 27 MARZO 2013. ##}}} <
> === Materiale didattico === Questa pagina è in costante aggiornamento. ==== Lucidi ==== * [[attachment:ASP-Slides2017-12.pdf|Diapositive|&do=get]] - File .PDF - LUCIDI IN AGGIORNAMENTO DURANTE IL CORSO - Ultimo aggiornamento: 2017-12. * [[attachment:ASP-I-DLV-interoperability-2019-12.pdf|Diapositive su I-DLV e interoperabilità|&do=get]] - File .PDF * [[attachment:I-DLV-esempio-bultin-python.zip|Esempio di uso di meccanismi di interoperabilità con I-DLV|&do=get]] - File .ZIP * [[attachment:ASP-interoperabilityEmbASP-2019-12.pdf|Diapositive su interoperabilità ed EmbASP|&do=get]] - File .PDF ==== Appunti e Dispense ==== * [[attachment:Oxford-ArificialIntelligenceIntro1999.zip|Introduzione all'Intelligenza Artificiale - Oxford 1999|&do=get]] (archivio .zip - serie di documenti in formato PDF) * [[attachment:ComputationalIntelligenceAndKnowledge.zip|Computational Intelligence and Knowledge|&do=get]] (archivio .zip - documento in formato PDF) * [[attachment:Ullman-DatalogIntro1997.zip|Introduzione al Datalog - Ullman 1997|&do=get]] (archivio .zip - documento in formato PDF) * [[attachment:TOCL-dlv.zip|TOCL - The DLV System for Knowledge Representation and Reasoning|&do=get]] [''N.Leone, G.Pfeifer, W.Faber, T.Eiter, G.Gottlob, S.Perri and F.Scarcello, TOCL, 2004''] (archivio .zip - documento in formato PDF) * [[attachment:DellarmiEtal-AggregateFunctionsInDLV2003.zip|Aggregate Functions in DLV|&do=get]] [''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) * [[attachment:Planning-Diagnosis-dlvK.zip|Diagnosis, Planning, Action Languages, DLV^K|&do=get]] [Grazie a T.Eiter, W.Faber, G.Pfeifer, A.Polleres, H.Tompits] (archivio .zip - serie di documenti in formato PDF) ==== Compiti, Esercizi, Esami ==== ## * [[attachment:20191018-query-birre.txt|Query - birre|&do=get]] - Testo esercitazione per il laboratorio ## * [[attachment:20191021-query-aerei.txt|Query - aerei|&do=get]] - Testo esercitazione per il laboratorio ## * [[attachment:20191021-query-libri.txt|Query - libri|&do=get]] - Testo esercitazione per il laboratorio ## * [[attachment:20181106-guess-and-check-zebra+cricche.txt|Esercizi su guess and check - Zebra e Cricche|&do=get]] - Testo esercitazione per il laboratorio ## * [[attachment:20181106-guess-and-check-bambini-pastelli2.txt|Esercizi su guess and check - Bambini e Pastelli|&do=get]] - Testo esercitazione per il laboratorio ## * [[attachment:20191119-guess-and-check-futoshiki+assassini.pdf|Esercizi su guess and check - Futoshiki e Assassini (pdf)|&do=get]]/[[attachment:20191119-guess-and-check-futoshiki+assassini.txt|Esercizi su guess and check - Futoshiki e Assassini (txt)|&do=get]] - Testo esercitazione per il laboratorio ## * [[attachment:20191203-riepilogo.pdf|Esercizi di riepilogo (pdf)|&do=get]] - Testo esercitazione per il laboratorio ## * [[attachment:20191210-Tombola.txt|Tombola (txt)|&do=get]] - Testo esercitazione per il laboratorio (integrazione di ASP con EmbASP o simili) ## * Datalog ## * [[attachment:20181002-tp-positivo.txt|Datalog - TP positivo|&do=get]] - Testo esercizi per il laboratorio - no negazione ## * [[attachment:20181016-query-coverband.txt|Query - Cover Band|&do=get]] - Testo esercizi per il laboratorio ## ## * [[attachment:20181106-guess-and-check-futoshiki+assassini.pdf|Esercizi su guess and check - Futoshiki e Assassini|&do=get]] - Testo esercizi ## * [[attachment:20160112-LAB-riepilogo-generale.pdf|Riepilogo per il laboratorio |&do=get]] - Testo esercizi (file .PDF) ## * [[attachment:20181130-LAB-riepilogo-generale.pdf|Riepilogo per il laboratorio 2|&do=get]] - Testo esercizi (file .PDF) ## * [[attachment:20181204-grafi-A-B-C.txt|Esercizio su grafi|&do=get]] - Testo esercizi (file .txt) ## * [[attachment:20181214-tombola2.txt| Tombola|&do=get]] - Testo esercizio (file .txt) ## * [[attachment:20171003-query-birre.txt|Query - birre|&do=get]] - Testo esercizi per il laboratorio - no negazione ## * [[attachment:20171003-query-birre-soluzioni.txt|Query - birre - soluzioni|&do=get]] ## * [[attachment:20171010-query-aerei.txt|Query - aerei|&do=get]] - Testo esercizi per il laboratorio - no negazione ## * [[attachment:20171010-query-aerei-soluzioni-corretto.txt|Query - aerei - soluzioni|&do=get]] ## * [[attachment:20171010-query-f1libri-soluzioni-corretto.txt|Query - formula1 libri - soluzioni|&do=get]] ## * [[attachment:20161126-guess-and-check-cricche+zebra.txt|Esercizi su guess and check - Cricche e Zebra|&do=get]] - Testo esercizi ## * [[attachment:20171121-guess-and-check-parco-divertimenti-e-grafi-1.txt|Esercizi su guess and check - Parco divertimenti e Grafi|&do=get]] - Testo esercizi + soluzioni ## * [[attachment:20160112-LAB-riepilogo-generale.pdf|Riepilogo per il laboratorio - un altro! :)|&do=get]] - Testo esercizi (file .PDF) ## * [[attachment:20171222-LAB-riepilogo-generale.pdf|Riepilogo per il laboratorio - un altro ancora! :)|&do=get]] - Testo esercizi (file .PDF) ## * [[attachment:20141021-query-aerei.txt|Query - aerei|&do=get]] - Testo esercizi per il laboratorio ## * [[attachment:20151105-query-cover-band.txt|Query - cover band|&do=get]] - Testo esercizi per il laboratorio ## * Guess and Check ## * [[attachment:20161126-guess-and-check-cricche+zebra.txt|Esercizi su guess and check - Cricche e Zebra|&do=get]] - Testo esercizi ## * [[attachment:20161202-guess-and-check.txt|Esercizi su guess and check|&do=get]] - Testo esercizi ## * [[attachment:20151201-guess-and-check.txt|Guess and Check|&do=get]] - Kernel, Regine, Bambini e disegni ## * [[attachment:20151210-guess-and-check-romanzi-e-assassini(soluzioni).txt|Esercizi su guess and check - Romanzi e assassini|&do=get]] - Testo esercizio + soluzione ## * [[attachment:20151222-LAB-riepilogo-generale.pdf|Riepilogo per il laboratorio|&do=get]] - Testo esercizi (file .PDF) ## * [[attachment:20160112-LAB-riepilogo-generale.pdf|Riepilogo per il laboratorio - un altro! :)|&do=get]] - Testo esercizi (file .PDF) ## * [[attachment:20160112-LAB-riepilogo-generale-soluzioni.pdf|Riepilogo per il laboratorio - un altro! :)|&do=get]] - Soluzioni (file .PDF) ## * [[attachment:20160114-riepilogo-weak-constraints-soluzioni.txt|Riepilogo su weak constraints|&do=get]] - Soluzioni ## * [[attachment:20141028-prova-di-autovalutazione-soluzioni.txt|Prova di autovalutazione del 28-10-2014|&do=get]] - Soluzioni ## * [[attachment:20141028-guess-and-check-cricche+zebra.txt|Esercizi su guess and check - Cricche e Zebra|&do=get]] - Testo esercizi ## * [[attachment:20141209-riepilogo-pre-natalizio.pdf|Esercizitazione di riepilogo pre-natalizia|&do=get]] - Testo esercizi ## * [[attachment:20131008-Datalog-positivo-query-01.txt|Query datalog|&do=get]] - Testo esercizi "per casa" ## * [[attachment:20131029-query-formula1-libri.txt|Query - formula 1 + libri|&do=get]] - Testo esercizi per il laboratorio ##* Guess and Check ##* [[attachment:bambini-e-pastelli.txt|Bambini e pastelli|&do=get]] - Testo esercizi "per casa" ##* [[attachment:guess-and-check-cricche-menu-zebre.txt|Guess and Check: cricche, menu e zebre|&do=get]] - Testo esercizi per il laboratorio ##* [[attachment:guess-and-check-amici-regine-scrittori.txt|Guess and Check: amici, regine e scrittori|&do=get]] - Testo esercizi per il laboratorio ##* Weak Constraints/Aggregati ##* [[attachment:weak-constraints-aggregati-testo.txt|Studenti, Dormitori, Feste natalizie|&do=get]] - Testo esercizi "per casa" ==== Progetti ==== * A.A. 2019-2020: si veda la pagina [[2019-2020-progetti]]. * A.A. 2018-2019: si veda la pagina [[2018-2019-progetti]]. ## * A.A. 2017-2018: si veda la pagina [[2017-2018-progetti]]. ## * A.A. 2016-2017: si veda la pagina [[2016-2017-progetti]]. ## * A.A. 2015-2016: si veda la pagina [[2015-2016-progetti]]. ## * A.A. 2014-2015: si veda la pagina [[2014-2015-progetti]]. ==== Link Utili ==== * [[https://www.mat.unical.it/calimeri/projects/loide|LoIDE: web-based IDE for logic programming]] * [[attachment:idlv-wasp-quick-reference.pdf|Guida rapida all'uso di I-DLV e wasp|&do=get]] * DLV2: Sistema completo (integra I-DLV e wasp) * [[attachment:dlv2-linux-64_6|DLV2 (linux 64bit)|&do=get]] ['''LAST UPDATE 2 Novembre 2020'''] * [[attachment:dlv2-linux-32_6|DLV2 (linux 32bit)|&do=get]] ['''LAST UPDATE 2 Novembre 2020'''] * [[attachment:dlv2-windows-64_6|DLV2 (windows 64bit)|&do=get]] ['''LAST UPDATE 2 Novembre 2020'''] * [[attachment:dlv2-windows-32_6|DLV2 (windows 32bit)|&do=get]] ['''LAST UPDATE 2 Novembre 2020'''] * [[attachment:dlv2.mac_7|DLV2 (mac OS 64bit)|&do=get]] ['''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) * [[attachment:dlv2.python.linux.64_7.zip|DLV2 (linux 64bit) - Python 2.7|&do=get]] ['''LAST UPDATE 7 Dicembre 2020'''] * [[attachment:dlv2.python.linux.32_7.zip|DLV2 (linux 32bit) - Python 2.7|&do=get]] ['''LAST UPDATE 7 Dicembre 2020'''] * [[https://github.com/DeMaCS-UNICAL/I-DLV/wiki|I-DLV page]] on [[http://www.github.com|GitHub]] * [[attachment:idlv-21-10-2020-linux-64bit |I-DLV (linux 64 bit)|&do=get]] ['''LAST UPDATE 21 Ottobre 2020'''] * [[attachment:idlv-21-10-2020-linux-32bit |I-DLV (linux 32 bit)|&do=get]] ['''LAST UPDATE 21 Ottobre 2020'''] * [[attachment:idlv-21-10-2020-windows-64bit |I-DLV (windows 64 bit)|&do=get]] ['''LAST UPDATE 21 Ottobre 2020'''] * [[attachment:idlv-21-10-2020-windows-32bit |I-DLV (windows 32 bit)|&do=get]] ['''LAST UPDATE 21 Ottobre 2020'''] * [[attachment:idlv-15-10-2020-macos-64bit |I-DLV (mac OS 64 bit)|&do=get]] ['''LAST UPDATE 15 Ottobre 2020'''] * [[https://github.com/alviano/wasp|wasp page]] on [[http://www.github.com|GitHub]] * [[attachment:wasp-64|wasp 64 bit|&do=get]] * [[http://www.dlvsystem.com/|DLV website]] * [[attachment:dl.bin.386|DLV 32 bit|&do=get]] * [[attachment:dl.bin.x64|DLV 64 bit|&do=get]] * [[http://www.dlvsystem.com/html/The_DLV_Tutorial.html|DLV tutorial]] * [[http://www.dlvsystem.com/html/DLV_User_Manual.html|DLV manual]] * [[http://www.mat.unical.it/ianni/wiki/dlvex|DLVEX]] * [[https://www.mat.unical.it/informatica/|Corso di Laurea in Informatica]] * [[http://www.mat.unical.it/|Dipartimento di Matematica]] - [[http://www.unical.it|Università della Calabria]] * [[http://www.kr.tuwien.ac.at/courses/ws2003/lu_ewbs.html|Sito del corso "Knowledge Based Systems" (Politecnico di Vienna - In Tedesco)]] * [[http://sv.mat.unical.it/leone/ai/|Vecchio sito del corso]] ===== Strumenti di Sviluppo ===== * [[https://www.mat.unical.it/calimeri/projects/embasp/|EmbASP]] - Framework per l'integrazione di programmi logici in applicazioni esterne * [[attachment:embASP_v7.2.0.jar|EmbASP: libreria Java (.jar) versione 7.2.0|&do=get]] ['''LAST UPDATE 11 Dicembre 2020'''] * [[attachment:SudokuEmbASP_v7.2.0.zip|Esempio di uso di EmbASP con DLV2: SUDOKU|&do=get]] ['''LAST UPDATE 11 Dicembre 2020'''] * [[attachment:3ColEmbASP_v7.2.0.zip|Esempio di uso di EmbASP con DLV: 3Col|&do=get]] ['''LAST UPDATE 11 Dicembre 2020'''] ## * [[attachment:EmbASP-3.1.0.jar|EmbASP: libreria compilata per Java (.jar)|&do=get]] ['''BUGFIX dicembre 2018'''] ## * [[attachment:SudokuEmbasp-3.1.0.zip|Esempio di uso di EmbASP: SUDOKU|&do=get]] ['''BUGFIX dicembre 2018'''] ## * [[attachment:3ColEmbasp-3.1.0.zip|Esempio di uso di EmbASP: 3Col|&do=get]] * [[http://www.dlvsystem.com/jdlv/|JDLV]] - '''Per richiedere una copia di JDLV scrivere al dott. Kristian Reale: reale@mat.unical.it'''. * [[attachment:jdlv+example.zip|Versione beta di JDLV con running example|&do=get]] * [[http://www.dlvsystem.com/dlvwrapper/|DLV JAVA Wrapper]] * [[http://www.dlvsystem.com/aspide/|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 [[mailto:ai-course@mat.unical.it|ai-course@mat.unical.it]]. <
> === Tracce d'esame precedenti === * [[attachment:2017-raccolta-appelli.pdf|Testi degli appelli dell'anno 2017|&do=get]] (file .PDF) * [[attachment:2007-2008-AI-Appelli-con-soluzioni.zip|Testi e soluzioni degli appelli degli anni 2007-2008|&do=get]] '''La storia di Ciccio Pasticcio e Renata Limbranata: le origini''' (archivio .ZIP contenente file PDF e TXT) * [[attachment:20110113-AI-esame.pdf|Testo dell'appello d'esame del 13/01/2011|&do=get]] (file in formato PDF) * [[attachment:20110906-AI-esame.pdf|Testo dell'appello d'esame del 06/09/2011|&do=get]] (file in formato PDF) * [[attachment:20120119-AI-esame.pdf|Testo dell'appello d'esame del 19/01/2012|&do=get]] (file in formato PDF) * [[attachment:20120316-AI-esame.pdf|Testo dell'appello d'esame del 16/03/2012|&do=get]] (file in formato PDF) * [[attachment:20130219-AI-esame.pdf|Testo dell'appello d'esame del 19/02/2013|&do=get]] (file in formato PDF) * [[attachment:20130416-AI-esame.pdf|Testo dell'appello d'esame del 16/04/2013|&do=get]] (file in formato PDF) * [[attachment:20130703-AI-esame.pdf|Testo dell'appello d'esame del 03/07/2013|&do=get]] (file in formato PDF) * [[attachment:20130906-AI-esame.pdf|Testo dell'appello d'esame del 06/09/2013|&do=get]] (file in formato PDF) * [[attachment:20140213-AI-esame.pdf|Testo dell'appello d'esame del 13/02/2014|&do=get]] (file in formato PDF) * [[attachment:20140922-AI-esame.pdf|Testo dell'appello d'esame del 22/09/2014|&do=get]] (file in formato PDF) * [[attachment:20141121-AI-esame.pdf|Testo dell'appello d'esame del 21/11/2014|&do=get]] (file in formato PDF) * [[attachment:20150415-AI-esame.pdf|Testo dell'appello d'esame del 15/4/2015|&do=get]] (file in formato PDF) * [[attachment:20150624-AI-esame.pdf|Testo dell'appello d'esame del 24/6/2015|&do=get]] (file in formato PDF) * [[attachment:20150923-AI-esame.pdf|Testo dell'appello d'esame del 23/9/2015|&do=get]] (file in formato PDF) * [[attachment:20160203-AI-esame.pdf|Testo dell'appello d'esame del 03/2/2016|&do=get]] (file in formato PDF) * [[attachment:20170127-AI-esame.pdf|Testo dell'appello d'esame del 27/1/2017|&do=get]] (file in formato PDF) * [[attachment:20180125-AI-esame.pdf|Testo dell'appello d'esame del 25/01/2018|&do=get]] (file in formato PDF) * [[attachment:20180215-AI-esame.pdf|Testo dell'appello d'esame del 15/02/2018|&do=get]] (file in formato PDF) * [[attachment:20180626-AI-esame.pdf|Testo dell'appello d'esame del 26/06/2018|&do=get]] (file in formato PDF) * [[attachment:20190121-AI-esame.pdf|Testo dell'appello d'esame del 21/01/2019|&do=get]] (file in formato PDF) * [[attachment:20190624-AI-esame.pdf|Testo dell'appello d'esame del 24/06/2019|&do=get]] (file in formato PDF) * [[attachment:20190717-AI-esame.pdf|Testo dell'appello d'esame del 17/07/2019|&do=get]] (file in formato PDF) <
> ## === Altro === ## ## Ma c'è altro che possiamo dire? ## ## <
>