Software per le esercitazioni

Prolog

Manuale di riferimento manual (pdf) 

Sw scaricabile dal sito di Prolog oppure localmente (per maggiori dettagli ed informazioni sugli ambienti di sviluppo associati si rimanda a Home Page)

• windows version download (il programma di installazione e' un archivio eseguibile, basta lanciarlo con un doppio click).
• linux version download (rpm) 
• mac version download (standard, su ppc)
• mac version download (su intel)

Pellet

Bisogna scompattare il file zip, che è il programma completo senza necessità di installazione. Il file eseguibile pellet che si interfaccia correttamente con Protégé è pellet-dig.bat. All'avvio viene stampato sul prompt la porta su cui il ragionatore accetterà le connessioni.

Protégé

L'installer per windows occupa 86,8 MB se non si possiede una java Virtual Machine (java VM) installata nel sistema. Se la si possiede l'installer occupa 61,6 MB: verrà richiesta la cartella in cui si trova il file java.exe. Per il resto dell'installazione basta seguire le istruzioni dell'installer.

Una buona documentazione è fornita sulla Home Page, in particolare si consiglia questo manuale.

Per utilizzare la sintassi delle Description Logics selezionare "DLSyntaxClassDisplay" seguendo dal menu: OWL -> Preferences -> General -> ClassDisplayFormat. Per creare una ontologia con il linguaggio delle Description Logics seguire il percorso: New Project -> OWL Files -> Next -> OWL DL -> Logic View

Controllare che la porta di connessione client con il ragionatore sia la stessa impostata sul ragionatore. Si imposta dal menu Preferences.

Situation Calculus in Prolog

Per fare la proiezione è sufficiente caricare il file con la formalizzazione in Prolog del dominio.

Per far funzionare l'interprete per il GOLOG è sufficiente caricare il file golog_swi.pl.

Per far funzionare il pianificatore occorre caricare l'interprete GOLOG ed il pianificatore che sitrova in wsbfp.pl. Per generare un piano occorre immettere nella specifica una clausola: goal(s):- specifica_del_goal.
ed usare il predicato: [?] planbf(livello)
in cui livello rappresenta la profondità massima della ricerca.

Sistemi multi agente

E' disponibile una pagina di aiuto all'utilizzo. Qualunque bug o problema va segnalato a "settembre at dis.uniroma1.it".

NOTA BENE: queste istruzioni potrebbero essere non aggiornate rispetto alle ultime versioni del software