Software
Programmi utilizzati durante il corso
CLP: ECLiPSe
ECLiPSe è un sistema Prolog che contiene una libreria CLP(FD) per la gestione dei vincoli su domini finiti. ECLiPSe è installato sulle macchine dei laboratori di informatica. ECLiPSe è ora distribuito come Open Source e può essere scaricato dalla pagina di distribuzione di ECLiPSe o da SourceForge (per Windows, scaricare il file ECLiPSe6.0_XXX.exe).
Sono disponibili alcune istruzioni sull'uso di ECLiPSe.
Sistemi di apprendimento automatico per l'apprendimento di concetti:
Apprendimento da dati in forma attributo valore:
- ML Program Library: libreria di programmi Prolog per il Machine Learning, contiene una implementazione dello spazio delle versioni
- Weka: suite di strumenti per l'apprendimento da dati in forma attributo-valore. Contiene una implementazione di C4.5 che si chiama J4.8
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).
- 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.
- Aleph è un sistema che estende Progol. E' scritto in YAP Prolog. Versione locale: codice sorgente, esempi, manuale.
- CLP(BN) è un sistema per il ragionamento logico-probabilistico. Esempi.
- Golem: apprende clausole bottom up utilizzando l'operatore di relative least general generalization.
