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:

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... :? ]

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

- 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...

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???

Domande a risp aperta o chiusa?
Esercizi su Prolog e OWL tipo quelli delle esercitazioni?
Cos'altro?

Fino allo scorso anno...
- 10 domande a risposta chiusa
- 1 esercizio di logica (o forse due... :? )
- 1 esercizio di prolog
- 1 esercizio di OWL (sulla falsa riga degli esempi che fa in classe)
- 1 esercizio Prolog+OWL

Non hai bisogno di tutte quelle parentesi quadre

[code type="markup"]
cut_a ([],X,[]).
cut_a ([F|H],X,[F|Z]):- cut_a (H,X,Z).
cut_a ([F|H],F,Z):- cut_a (H,F,Z).
[/code]

che è come la versione postata da fisicaccio83

Attenzione, però, perché non vi dà una sola soluzione (backtracking) ... siccome vi serve solo la prima, IMHO, aggiungerei un cut
[code type="markup"]
cut_a([F|H],X,[F|Z]):- cut_a(H,X,Z),!.
[/code]

cut_a ([],X,[]).
cut_a ([F|H],X,[F|Z]):-
cut_a ([H],X,[Z]).
cut_a ([F|H],F,[Z]:-
cut_a ([H],F,[Z]).

Come vi pare?

Inoltre vorrei chiedere, non essendo mai venuto al corso, se qualcuno sa i che modo è strutturato l'esame.

Domande a risp aperta o chiusa?
Esercizi su Prolog e OWL tipo quelli delle esercitazioni?
Cos'altro?

se ho capito bene bisogna creare un predicato che dato una lista stampi tutti i suoi elementi tranne la lettera 'a'.
Se è così do anche la mia soluzione, penso sia giusta:

is_a(X) :- X == a.
no_a([]).
no_a([H|T]) :- \+is_a(H), writeln(H), no_a(T).
no_a([H|T]) :- no_a(T).

Fatemi sapere

Si può dire che il prolog appassiona tutti :lol:

Dunque, IMHO, non sei ancora entrato nell'ottica

In quella maniera lui non sa che fare nel caso in cui la lettera incontrata sia proprio "a"
Per cui si ferma e non procede con la ricorsione.
Un'alternativa:
[code type="markup"]
cut_letter_a([]).
cut_letter_a([H|T]) :- H = a, cut_letter_a(T).
cut_letter_a([H|T]) :- not(H = a), write(H), cut_letter_a(T).
[/code]


Anche se, la write, non si usa praticamente MAI!!!
In genere ti chiedono in output una lista ... più che una semplice stampa.

io l'ho implementato cosi':

wwal([],_,[]).

wwal([X|Xs],X,Zs):-
wwal(Xs,X,Zs).

wwal([X|Xs],Y,[X|Zs]):-
wwal(Xs,Y,Zs).

che funziona con qualsiasi lettera, infatti wwal sta per write without a letter.

Lo ha detto a lezione, se serve ancora a qualcuno mi contatti in pvt: pare ci siano problemi di copyright!

Ho scaricato quel file dlhb-02.pdf tranquillamente, non vedo quale sia il problema

mi chiedevo dove fosse possibile reperire questo secondo capitolo. :roll:

idem

Lo ha detto a lezione, se serve ancora a qualcuno mi contatti in pvt: pare ci siano problemi di copyright!

mi chiedevo dove fosse possibile reperire questo secondo capitolo. :roll:

idem

•Approfondite i precedenti argomenti su:
–2°capitolo dell’handbook on description logics
–Guida W3C su OWL

c'è scritto questo alla fine delle slides nominate: 8_Linguaggi_e_tecnologie_per_il_Semantic_Web.pdf

mi chiedevo dove fosse possibile reperire questo secondo capitolo. :roll:

Ma dove si trova il libro di cui bisogna leggere il capitolo 2?

ragazzi non parlate del Nillsson vero?

Ma dove si trova il libro di cui bisogna leggere il capitolo 2?

Qualcuno sa cosa e' successo l'anno scorso?

uscirono in tempo l'anno scorso. scusa masciarelli, dicevo, sai dove ci si iscrive per l'esame?

http://ares.info.uniroma2.it/SBC/

c'è il link dal sito della didattica

ma sto famoso pdf di cui parlava stellato, del quale bisogna studiare il secondo capitolo qual è? e soprattutto di quale degli ultimi argomenti che abbiamo affrontato parla?

Qualcuno sa cosa e' successo l'anno scorso?

uscirono in tempo l'anno scorso. scusa masciarelli, dicevo, sai dove ci si iscrive per l'esame?

Ragazzi che ha fatto oggi a lezione? Confermate la lez. del 23 e il test di autovalutazione il 27? Come ci si prenota all'esame? GRAZIE ancora

Il 23 ci sara' lezione ma non si sa se verra' Stellato o Pazienza.