Fondamenti di Intelligenza Artificiale M
A.A. 2015-2016

Software


SWI Prolog Un prolog open-source molto usato e particolarmente ben integrato per il Semantic Web


Protégé Editor per ontologie

 

Drools Framework per regole forward

 

ECLiPSe

ECLiPSe è un sistema Prolog che contiene una libreria per la gestione dei vincoli su domini finiti. ECLiPSe è installato sulle macchine Sun del Lab2. Anche per ECLiPSe esistono licenze studenti; chi fosse interessato può farne richiesta ai docenti.

Sono disponibili alcune istruzioni sull'uso di ECLiPSe.



tuProlog

tuProlog è un Prolog basato su Java per applicazioni internet. E' scaricabile da http://tuprolog.alice.unibo.it/



Corsi on-line

È disponibile sul web un corso di Prolog (basato su SICStus) fornito dall'Università di Birmingham, United Kingdom.



KappaPC

KappaPC è un tool per la creazione di Sistemi Esperti ed applicazioni in campo medico. Per agevolare lo sviluppo e l'implementazione di un sistema esperto esistono alcuni strumenti ad hoc, composti principalmente da una o più librerie di funzioni già pronte all'uso. Queste funzioni possono essere utilizzate per l'inserimento della conoscenza, per la scrittura di regole, per l'interfacciamento ai database e forniscono anche gli strumenti per realizzare il motore di inferenza più appropriato. Ogni tool presenta cartteristiche peculiari che lo possono rendere più o meno adatto allo sviluppo di un particolare sistema esperto.

Lucidi introduttivi:
Blocco 1: Introduzione ai sistemi esperti
Blocco 2: KappaPC
Blocco 3: Progetti su sistemi esperti

Software:
ATTENZIONE! Il download e l'utilizzo del software KappaPC è consentito solo a scopo puramente didattico. Non sono consentiti il download e l'uso del software KappaPC per scopi commerciali, a fini di lucro, o per qualunque altro scopo diverso da quelli dichiarati. Il software KappaPC è protetto da copyright ed è proprietà dell'Università di Bologna. Ogni utilizzo illecito del software KappaPC potrà essere perseguito secondo i termini di legge. Il software può essere scaricato a questo link.

Contact webmaster of this site