Tools e ambienti per lo sviluppo di ontologie per il ... - CHERSI/libri

PROLOG e la conoscenza implicita
Inserire il titolo della tesi di laurea come intestazione
Nelle regole e nei fatti talvolta è presente della "conoscenza implicita": essa è nel
significato del predicato, ad esempio dati i fatti prima(a,b) e prima(b,c), la conoscenza
implicita è prima(a,c) perché prima è una relazione di ordine, o nelle relazioni tra fatti
diversi, ad esempio dai fatti e dalle regole evidenziati nei paragrafi precedenti si capisce
che a Mario piacciono le maserati, e a Elena piacciono tutte le automobili. Ma non c'è
una regola o un fatto che dica qualcosa del genere: se a Tizio piacciono le Automobili, la
Marca dell'automobile preferita non è specificata. Prolog permette di generare dei fatti,
tramite il predicato assert(...), quindi potrebbe generare il fatto
marca_preferita(persona,marca), e poi elencarlo.
Le regole relative ad Anna e Carlo fanno riferimento al tipo di auto, quindi se la regola è
verificata (Prolog ha trovato la Marca dell'automobile) si possono modificare le due
precedenti regole, come segue:
piace(anna,auto):­ tipo(Automobile,familiare),
tipo(Automobile,utilitaria),
assert(marca_preferita(anna,Automobile));
assert(marca_preferita(anna,Automobile)).
piace(carlo,auto):­ tipo(Automobile,sportiva),Automobile "ferrari",
assert(marca_preferita(carlo,Automobile)).
Questo vale solamente per Anna e Carlo, per tutti gli altri occorre aggiungere (in coda)
un'ulteriore regola:
piace(X,auto):­tipo(Auto,_),X "anna",X "carlo",
assert(marca_preferita(X,Auto)).
Infine occorre scrivere le regole "procedurali" per eseguire il tutto, un esempio è il
seguente:
121