Ultimi argomenti attivi
Cerca
DLV, intelligenza artificiale
DebuggingZone :: Informatica :: Programmazione :: Altro
Pagina 1 di 1
DLV, intelligenza artificiale
Guida all'approccio di DLV su linux.
Come creare un file da dare in pasto a DLV:
Un file da eseguire con dlv, come sappiamo, è un file contenente una “base di dati”, ma non solo!!! si possono inserire all'interno dello stesso file, le query che noi vogliamo.
Il file che a noi serve deve avere "in testa" la creazione della base di dati.
Essa è molto semplice da creare, non dobbiamo fare altro che in-stanziare dei fatti , come mostrato nell'esempio qui sotto:
Le query:
Se vogliamo introdurre delle query su di essa basta inserire, sotto l'ultimo fatto, la qury risolta.
Esempio:
Una volta finito si salva il file con estensione testuale ( .txt ), ad esempio “file.txt”.
Arrivati a questo punto serve solo scaricare il programma e capire come lanciarlo, dandogli come input il nostro file.
Scarichiamo il file dal link del sito ufficiale la versione di linux a 32 bit http://www.dbai.tuwien.ac.at/proj/dlv/dlv.i386-linux-elf-static.bin.
Una volta scaricato il file, rinominiamolo con “dlv.bin”, in modo da semplificarci la vita.
Create una cartella sul desktop con il nome dlv, dove all'interno si inserisce il programma scaricato e il file con la nostra base di dati.
Ora avviate una schell e puntate sulla cartella dove risiede il programma, appunto quella appena creata sul desktop ,( normalmente “/home/nomeUtente/Scrivania/dlv” oppure “/home/nomeUtente/Desktop/dlv” ), il comando da inserire è:
Il programma partirà.
Se si vole togliere, dall'output del programma, la base di dati quindi i fatti, basta inserire come opzione -nofact, in questo modo:
PS:vado a coricarmi ch'è tardi , sono fatte le 03:37 e domani devo andare a lezione presto ciao .
Come creare un file da dare in pasto a DLV:
Un file da eseguire con dlv, come sappiamo, è un file contenente una “base di dati”, ma non solo!!! si possono inserire all'interno dello stesso file, le query che noi vogliamo.
Il file che a noi serve deve avere "in testa" la creazione della base di dati.
Essa è molto semplice da creare, non dobbiamo fare altro che in-stanziare dei fatti , come mostrato nell'esempio qui sotto:
- Codice:
persona(ciccio).
persona(giovanni).
persona(aldo).
sport(calcio).
sport(tennis).
gioca(giovanni,calcio).
gioco(aldo,calcio).
gioca(giovanni,tennis).
Le query:
Se vogliamo introdurre delle query su di essa basta inserire, sotto l'ultimo fatto, la qury risolta.
Esempio:
- Codice:
%serve sapere chi sono le persone che giocano a calcio.
GiocaCalcio(P):-gioca(P,calcio).
Una volta finito si salva il file con estensione testuale ( .txt ), ad esempio “file.txt”.
Arrivati a questo punto serve solo scaricare il programma e capire come lanciarlo, dandogli come input il nostro file.
Scarichiamo il file dal link del sito ufficiale la versione di linux a 32 bit http://www.dbai.tuwien.ac.at/proj/dlv/dlv.i386-linux-elf-static.bin.
Una volta scaricato il file, rinominiamolo con “dlv.bin”, in modo da semplificarci la vita.
Create una cartella sul desktop con il nome dlv, dove all'interno si inserisce il programma scaricato e il file con la nostra base di dati.
Ora avviate una schell e puntate sulla cartella dove risiede il programma, appunto quella appena creata sul desktop ,( normalmente “/home/nomeUtente/Scrivania/dlv” oppure “/home/nomeUtente/Desktop/dlv” ), il comando da inserire è:
- Codice:
dlv.bin file.txt
Il programma partirà.
Se si vole togliere, dall'output del programma, la base di dati quindi i fatti, basta inserire come opzione -nofact, in questo modo:
- Codice:
dlv.bin -nofacts file.txt
PS:vado a coricarmi ch'è tardi , sono fatte le 03:37 e domani devo andare a lezione presto ciao .
LuxLuciS86- Admin
- Numero di messaggi : 169
Età : 37
Localizzazione : senza fissa dimora(nomade)
Data d'iscrizione : 23.09.08
DebuggingZone :: Informatica :: Programmazione :: Altro
Pagina 1 di 1
Permessi in questa sezione del forum:
Non puoi rispondere agli argomenti in questo forum.
|
|
Mer Apr 13, 2011 12:17 am Da Sasà
» Gallo Web Solutions.
Ven Ott 29, 2010 12:15 am Da Sasà
» Accendere un Computer automaticamente o a distanza
Mer Ott 20, 2010 11:09 pm Da Sasà
» Masterizzatore interno modello LG Slim SATA MULTI DVD 18x8 T20N/T40N
Ven Ott 08, 2010 9:32 am Da Sitzigorru
» P=NP sembra proprio di no, forse siamo alla soluzione.............
Mar Set 14, 2010 8:28 pm Da Sasà
» Come installare windows xp da boot con usb
Gio Giu 03, 2010 9:07 pm Da DaviduX
» CPU a 36GHz? Con Phenom II X6 si può!
Sab Mag 15, 2010 9:31 pm Da ElDorado
» Lucid Lynx: Ubuntu cambia pelle
Sab Mag 15, 2010 9:17 pm Da kevin
» iPhone 4G a pezzi: produrlo costa solo 175$
Sab Mag 15, 2010 9:06 pm Da kevin