Per comunicazioni inerenti il corso scrivere a ai-course@mat.unical.it
Docente: Prof.ssa Simona Perri
Dipartimento di Matematica e Informatica, Università della Calabria, 87036 Rende (CS)
Ufficio: cubo 31B, 2° piano. Telefono: +39 0984 496471 Fax: +39 0984 496410
Esercitatore: Prof. Francesco Calimeri
Dipartimento di Matematica e Informatica, Università della Calabria, 87036 Rende (CS)
Ufficio: cubo 30B, 2° piano. Telefono: +39 0984 496478
Ricevimento: I docenti ricevono su appuntamento sul team dedicato al corso tramite la piattaforma Microsoft Teams. Per prenotarsi, scrivere un messaggio nel canale Ricevimento.
Per la CONSEGNA dei progetti: è necessario consegnare il codice completo e l'eseguibile funzionante del progetto stesso (jar, exe, etc.) inviando una email a ai-course@mat.unical.it. Nel caso in cui non sia possibile allegare il progetto via email, è sufficiente indicare nell'email un link a una cartella remota (Google Drive, Onedrive, Dropbox, etc.) contenente il tutto.
Slides ed esercizi:
vedi cartella Materiale Didattico del canale Generale sul team dedicato al corso sulla piattaforma Microsoft Teams
Libri di riferimento:
S. Russell, P. Norvig, "Intelligenza Artificiale: un approccio moderno", Pearson, 4a ed., 2021.
C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge: Cambridge University Press, 2003
Altre letture;
J. Ullman and J. Widom, A First course in Database Systems, Prentice-Hall, 1997
D. Poole, A. Mackworth, R. Goebel, Computational Intelligence: A Logical Approach. Oxford University Press, 1998
Sistemi e utility
Il sistema I-DLV (Nota su licenza: I-DLV è qui fornito ai soli fini didattici. Il sistema è gratuito soltanto per uso didattico, accademico e non commerciale e inoltre, per l'utilizzo da parte di organizzazioni senza scopo di lucro. Per maggiori informazioni, scrivere a i-dlv@googlegroups.com.)
Nella cartella I-DLV riportata nel drive in basso si trovano:
I-DLV (linux 32 bit) [LAST UPDATE 21 Ottobre 2020]
I-DLV (linux 64 bit) [LAST UPDATE 21 Ottobre 2020]
I-DLV (windows 32 bit) [LAST UPDATE 21 Ottobre 2020]
I-DLV (windows 64 bit) [LAST UPDATE 21 Ottobre 2020]
I-DLV (mac OS 64 bit) [LAST UPDATE 15 Ottobre 2020]
Il sistema DLV (Nota su licenza: DLV e DLV2 sono qui forniti ai soli fini didattici. I sistemi sono gratuiti soltanto pper uso didattico, accademico e non commerciale e inoltre, per l'utilizzo da parte di organizzazioni senza scopo di lucro. Per maggiori informazioni, consultare il sito web ufficiale.)
DLV2: seconda e ultima versione del sistema che integra il grounder I-DLV e il solver WASP
Nella cartella DLV2 riportata nel drive in basso si trovano:
Versione base
DLV2 (linux 32 bit) [LAST UPDATE 15 Febbraio 2022]
DLV2 (linux 64 bit) [LAST UPDATE 15 Febbraio 2022]
DLV2 (windows 32 bit) [LAST UPDATE 15 Febbraio 2022]
DLV2 (windows 64 bit) [LAST UPDATE 15 Febbraio 2022]
DLV2 (mac OS 64 bit) [LAST UPDATE 15 Febbraio 2022]
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 Python 2.7 (linux 32 bit) [LAST UPDATE 7 Dicembre 2020]
DLV2 Python 2.7 (linux 64 bit) [LAST UPDATE 7 Dicembre 2020]
Per segnalare potenziali bug in I-DLV o DLV2 scrivere alla dott.ssa Zangari: jessica.zangari@unical.it.
DLV: prima versione del sistema
Il sistema DLVHEX
Strumenti di sviluppo
EmbASP - Framework per l'integrazione di programmi logici in applicazioni esterne
Nella cartella EmbASP riportata nel drive in basso si trovano:
Una presentazione dettagliata sull'uso di EmbASP ai fini del progetto [LAST UPDATE 2 Dicembre 2021 ]
Il jar di EmbASP per Java (versione 7.2.0) [LAST UPDATE 11 Dicembre 2020]
Il dll di EmbASP per C# compatibile con Unity (versione 7.2.0) [LAST UPDATE 28 Giugno 2022]
Un esempio di uso di EmbASP sul gioco SUDOKU facente uso di DLV2 [LAST UPDATE 2 Dicembre 2021 ]
Un esempio di uso di EmbASP sul gioco 3Col facente uso di DLV ma adattabile anche a DLV2 [LAST UPDATE 2 Dicembre 2021 ]
JDLV - Per richiedere una copia di JDLV scrivere al dott. Kristian Reale: reale@mat.unical.it.
Nella cartella JDLV riportata nel drive in basso si trovano:
Un unico file zip contenente la versione beta di JDLV con esempio d'uso
Visual ASP Editor - ASPIDE: Ambiente integrato per l'editing e lo sviluppo di programmi ASP (versione BETA)
A.A. 2019-2020: si veda la pagina 2019-2020-progetti.
A.A. 2018-2019: si veda la pagina 2018-2019-progetti.
Si veda anche la cartella Materiale Didattico del canale Generale sul team dedicato al corso sulla piattaforma Microsoft Teams