Allora, vediamo se ho capito...

Le 10 domande a risp chiusa dovrebbero basarsi sulle maledette slides in cui si fanno discorsi più vicini a lezioni di lettere e filosofia che non di SBC.

Gli esercizi di logica tratteranno teoremi di Quine, CNF e compagnia bella.

L'esercizio di Prolog era scontato (COME VIVREMMO ALTRIMENTI)!!!

Quello su Owl probabilmente sarà simile a quelli nella terza prova di autoval, cioè evidenziare errori o ragionare su particolari istanze di classi di sottoclassi di sottoclassi....

L'esercizio di Prolog-Owl invece di che tipo sarà???
Simile a quelli che ricalcano l'università? Cioè dovremo creare classi e sottoclassi, specificare proprietà e relazioni tra le istanze di classi? E per esempio scrivere un miniprogrammino prolog che dia, dati i frammenti Owl che sicuramente scriveremo corretti, un risultato? (intendo, per esempio, il programmino prolog sull'esempio dei passeggeri del treno... lavoratori di ferrovie... portatori di handicap... Annibale e Mariolina...). Oppure, sull'esempio dell Università (personale amministrativo e didattico, numeri di stanza e di matricole...), un frammento logico che, come nel sovracitato esempio, chieda "chi sono gli studenti che frequentano i corsi del Prof. Rossi???

Ragazzi due domande

- riguardo la description logics, che c'è da studiare? a me pare molto semplice, basta usare quantificatori universali e poco altro...

- dove li trovo tutti i predicati del prolog già esistenti? stellato con il III_Test_autovalutazione m'ha fatto vedere che esiste già sumlist(List, S), in cui in S riporta la somma di tutti gli elementi della lista :shock:

Allora, vediamo se ho capito...

[cut]

L'esercizio di Prolog-Owl invece di che tipo sarà???
Simile a quelli che ricalcano l'università? Cioè dovremo creare classi e sottoclassi, specificare proprietà e relazioni tra le istanze di classi? E per esempio scrivere un miniprogrammino prolog che dia, dati i frammenti Owl che sicuramente scriveremo corretti, un risultato? (intendo, per esempio, il programmino prolog sull'esempio dei passeggeri del treno... lavoratori di ferrovie... portatori di handicap... Annibale e Mariolina...). Oppure, sull'esempio dell Università (personale amministrativo e didattico, numeri di stanza e di matricole...), un frammento logico che, come nel sovracitato esempio, chieda "chi sono gli studenti che frequentano i corsi del Prof. Rossi???

Visti gli ultimi compiti, più la seconda
Nel senso che viene fornita un'ulteriore ontologia in cui viene chiesta la rappresentazione di una tale classe (proprio l'esempio che facevi)... e il prolog per svolgere degli esercizi, come "Stampa nome e cognome di tutti quei professori che hanno lezione alle 9.00"

uhm... non so se è chiaro :?

Ragazzi due domande

[cut]

- dove li trovo tutti i predicati del prolog già esistenti? stellato con il III_Test_autovalutazione m'ha fatto vedere che esiste già sumlist(List, S), in cui in S riporta la somma di tutti gli elementi della lista :shock:

Non sono dei predicati messi a disposizione da Prolog, come fossero delle librerie
E' un assunto che fa, in sede d'esame: supponiamo di avere questo predicato sumlist(List,S) che restituisce in S la somma degli elementi di una lista List... insomma, ti basta sapere quello che fa... non c'è nessuna funzione "standard" da conoscere [che poi non so se sia un bene o un male... :? ]

Non sono dei predicati messi a disposizione da Prolog, come fossero delle librerie
E' un assunto che fa, in sede d'esame: supponiamo di avere questo predicato sumlist(List,S) che restituisce in S la somma degli elementi di una lista List... insomma, ti basta sapere quello che fa... non c'è nessuna funzione "standard" da conoscere [che poi non so se sia un bene o un male... :? ]

mi sono spiegato male

sumlist(List, S) funziona veramente!! provalo :shock:

bè io credo che meglio dell'help non ci sia niente..o meglio..niente di + completo..

?- help.

> The Swi-prolog library

:wink:

dubbio:

member(1, [1|5]). ovviamente funziona

member(1, [5|1]). mi dice "No"

mi ricordate perchè?

Una domanda,io sto incominciando a studiare adesso,sto alla prima lezione,per l'11 mi riesco a preparare oppure sto facendo un lavoro inutile?

P.S.premetto che non sono mai venuto a lezione per motivi di lavoro.

). ovviamente funziona

member(1, [5|1]). mi dice "No"

mi ricordate perchè?

la parta a dx del simbolo | e' la coda della lista, quindi a sua volta una lista e non un elemento della lista!

Una domanda,io sto incominciando a studiare adesso,sto alla prima lezione,per l'11 mi riesco a preparare oppure sto facendo un lavoro inutile?

P.S.premetto che non sono mai venuto a lezione per motivi di lavoro.

Secondo me se riesci a fare i 3 test di autovalutazione hai ottime probabilita' di passare l'esame!

Allora faccio un ulteriore domanda...
Credo di aver capito il modo in cui, mediante quantificatori universali, istanze di classi e relazioni tra classi, si può rispondere a domande come quella degli studenti che hanno un corso col Prof. Rossi.
Ma dove si trova la teoria???
A parte gli esempi dell'università e dei passeggeri del treno non ho trovato altro.
Qualcuno mi direbbe dove diamine si trovano???

Non sono dei predicati messi a disposizione da Prolog, come fossero delle librerie
E' un assunto che fa, in sede d'esame: supponiamo di avere questo predicato sumlist(List,S) che restituisce in S la somma degli elementi di una lista List... insomma, ti basta sapere quello che fa... non c'è nessuna funzione "standard" da conoscere [che poi non so se sia un bene o un male... :? ]

mi sono spiegato male

sumlist(List, S) funziona veramente!! provalo :shock:

AHAHHAHAHAHA!!!
Talmente l'abitudine di rifare le cose a mano!!
Buono a saperi, grazie!! :lol:

Riguardo OWL e correlati...

Description Logics:
http://www.dl.kr.org/


http://www.cs.man.ac.uk/~horrocks/Slides/index.html

Un po' di roba... mi scuserete se non ho circoscritto un po' gli argomenti...

Non so voi, ma ho studiato OWL sul manuale in italiano scaricabile da didattica nel sito di SBC. Mi pare abbaqstanza valido per poi poter fare gli esercizi delle prove di autovalutazione.
Per quanto riguarda poi gli esercizi OWL-Prolog mi sono rifatto alle prove stesse, e non credo ci sarà qualcosa di molto più difficile nel test. Inoltre, per fare il programma in Prolog sull'ontologia è sufficiente saper scorrere una lista e capire bene le relazioni tra le classi.
Speriamo bene...

Più che altro, spero che il materiale messo sul sito sia abbastanza per superare la prova...

Ragno, hai un PM

Non so voi, ma ho studiato OWL sul manuale in italiano scaricabile da didattica nel sito di SBC. Mi pare abbaqstanza valido per poi poter fare gli esercizi delle prove di autovalutazione.
[..]

secondo me basta anche solo il capitolo 3..è quello + pragmatico...

(argh..ho comprato PES 6 originale per giocare online...tempismo pessimo :S)

Scusate qualcuno sa esattamente se le domande di teoria sono a crocette o aperte?ha detto qualcosa in riguardo?

Scusate qualcuno sa esattamente se le domande di teoria sono a crocette o aperte?ha detto qualcosa in riguardo?

Crocette

Ancora grazie Alt...