Dipartimento di Ingegneria - Università di Ferrara

Corso di Intelligenza Artificiale

Software

SICStus Prolog

Dal sito della SICS è possibile scaricare una versione di prova valida per 30 giorni.

Sono disponibili alcune istruzioni sull'uso di Sicstus Prolog.

ECLⁱPS^e

Sono disponibili alcune istruzioni sull'uso di ECLⁱPS^e.

SWI-Prolog

Sorgenti e Compilati:
	1157022 Bytes	Sorgente File compresso del sorgente, versione 3.4.4.
	867003 Bytes	Linux RPM package Version 3.4.4 per i386-linux basata su glibc 2.1.3, compilata usando SuSE linux 6.4.
	1012225 Bytes	Win32 binary Installazione ver. 3.4.4 per Windows 95, 98, NT e 2000
	963164 Bytes	Win32 binary Installazione ver. 3.2.8 per Windows 95, 98 e Windows-NT
	422399 Bytes	SWI-Prolog 1.9.5 per Windows 3.1
Documentazione
	1098784 Bytes	PDF Manuale in formato PDF (visualizzabile con Acrobat Reader)
	215789 Bytes	HTML Versione compressa del manuale di riferimento in formato HTML

• XSB: Sistema di programmazione logica basato su Tabled Resolution, che riesce a dare risposte in molti casi in cui la SLD resulution di Prolog va in ciclo infinito.
• Ciao Prolog
• TuProlog
• YAP Prolog
• Mercury: Compilatore di un linguaggio logico simile a Prolog, estremamente efficiente (a volte, più efficiente del C)

• Mike2.5: codice eseguibile con interfaccia per MS-DOS (file .zip)
• Mike2.03: codice sorgente prolog (file .zip)

Sistemi di apprendimento automatico per l'apprendimento di concetti:

Apprendimento da dati in forma attributo valore:

C4.5: sistema in grado di apprendere sia alberi di decisione che regole di produzione. C4.5 versione 8 può essere scaricato da qui. È disponibile un tutorial (in pdf) sull'impiego di C4.5.

Sistemi di programmazione logica induttiva

Foil: svolge una ricerca top down e greedy nello spazio delle clausole e utilizza una euristica simile a quella di C4.5. Parte solamente da background in forma estesionale (ovvero in forma di insieme di fatti). Può essere scaricato da qui.

Progol: svolge una ricerca di tipo A* top down nello spazio delle clausole utilizzando una funzione euristica che prende il nome di compressione. Utilizza un operatore di raffinamento particolare che aggiunge alla clausola correnti letterali presi da un insieme (bottom clause) che viene generato a partire da un singolo esempio. Per maggiori dettagli si veda questa pagina. Il codice sorgente C di Progol può essere scaricato da qui.

P-Progol: versione di Progol scritta in YAP Prolog. E' disponibile anche una versione per Sicstus.

Aleph è un sistema che estende Progol. E' scritto in YAP Prolog.

Golem: apprende clausole bottom up utilizzando l'operatore di relative least general generalization.Golem può essere scaricato da qui.

ACL: apprende programmi logici abduttivi partendo da una background anch'essa in forma abduttiva. Può essere scaricato da qui.

C4.5, Foil, Progol e Golem possono essere impiegati al LIVA utilizzando i comandi: c4.5, foil6, progol e golem. ACL può essere utilizzato scaricando i necessari file prolog e caricandoli in Sicstus.