Se vai sul sito ha messo l'esercitazione di ieri e c'è anche di più nel file...

Beh l'esercitazione di ieri non era difficile...

Più che altro era troppo campata per aria! I concetti sono facilissimi da cogliere, ma è stato troppo confusionario nello schematizzarli... Mah...

oddio... se da un esercizio sul tipo di quello fatto in classe forse qualcosa si può fare... trovo assurdo che però vada implementato tutto in questa "Sintassi astratta" che ha messo sulle soluzioni... ca**o, vatti a ricordare tutti i tag...

attenzione i tag non ci sono proprio quali tag ....gliel' ho chiesto e mi ha detto che basta conoscere l' owl e cmq nessuno ti viene a sindacare il fatto che invece di restriction hai scritto restrizione......
I tag appartengono all' XML e non vanno imparati...

Ragazzi, ma gli appelli sono esclusivi?
thx

non sono esclusivi

GLI STUDENTI CHE NON ABBIANO SUPERATO LA PRIMA PROVA D'ESAME POTRANNO PARTECIPARE AL SECONDO APPELLO.
SI AUSPICA CHE OGNUNO VERIFICHI AUTONOMAMENTE LA POSSIBILITA' DI PARTECIPARE AD UNA OD ALL'ALTRA PROVA EVITANDO INUTILI TENTATIVI CHE POSSONO DEMOTIVARE I PARTECIPANTI

Detto così mi sembra che solo nel caso che non superi il primo appello, puoi partecipare al secondo. Cioé, non puoi rifiutare un 18 al primo appello per poi fare il secondo.
Se le cose stessero veramente in questo modo, è più corretto dire che gli appelli sono parzialmente esclusivi. :roll:
Però io un 18 forse me lo prenderei :P

...e chi lo rifiuta un 18 a SBC?!?!?!

Quello che posso dire con certezza invece è che gli ho chiesto cosa dobbiamo attenderci per l'esercizio simil-primo test di autovalutazione, e mi ha detto che ci darà una cosa simile al robot spedizioniere (semplificata) e dovremo scrivere la base di conoscenza e i predicati per la ricerca della soluzione richiesta.

Nash... ho letto solo adesso quello hai scritto... mi hai fatto paura!!! :shock:
Un attimo.. io non la saprei fare una cosa del genere! Al limite potrei descrivere l'ambiente e la soluzione di ricerca migliore!
Credo e spero che l'esame consisterà in un esercizio sulle ontologie e OWL, che abbiamo fatto meglio, e qualche quiz sul PROLOG, come il secondo test di autovalutazione.
La logica (umana, ovvero l'intuito) suggerisce questo! Però mi aspetto di tutto! :roll:

La logica (umana, ovvero l'intuito) suggerisce questo! Però mi aspetto di tutto! :roll:

E fai RICCAMENTE bene, considerato che la logica alla base di questo esame è quella della Pazienza... :shock:

Solo 2 domande ... sperp qualcuno mi sappia rispondere:

1) E' vero che in questo file: Dalla_logica_alla_programmazione_logica_parte_2.pdf
(tratto dal sito della Pazienza) c'è un errore a pag. 13?
Secondo me dovrebbe nell'espressione U’’ = { r } la r dovrebbe essere negata sbaglio!

2) Sempre nella stessa slide a pagina 27 viene mensionata questa frase:
A differenza delle precedenti, le seguenti slide
non costituiscono materiale didattico completo,
ma sono ad esclusivo supporto di:
– Libro di testo
– Primi due capitoli (fino a 2.2 compreso) del Nilsson
(scaricabile online dal link riportato nel syllabus)

Forse sarò idiota io ... ma quale è sto libro ... nn lo trovo, mi aiutate!

3) Qualcuno mi conferma che questa slide è scritta con i piedi? E' spiegata malissimo!

GRAZIE MILLE!

Bah .... nn ho parole, complimenti ha chi ha scritto le slides ... sicuramente le ha scritte qualcuno convinto che l'xml si compila!

...prego postare domande e dubbi al fine di imparare a vicenda e testare il proprio livello di preparazione... :?

Ultima domanda .... visto che le precedenti nn hanno avuto molto successo ...
in aula l'ha fatto l'RDF?
Ed il caso di studio Protegè?

Vanno studiati?

Nel primo esercizio del 3o test secondo me c'è un errore:
le specifiche dicono che in ogni stanza può lavorare più di una persona, l'importante è che non lavorino insieme accademici e pers. amm.

Sbaglio o la descrizione delle proprietà fatta da Stellato in sintassi astratta non cattura questo vincolo?

Ha dichiarato la ObjProphaStanza (Domain: unionOf(persAmm, accad); range: Stanza) e la ObjProp assegnataA inverseFunctionalOf(haStanza) Domain ecc ecc.
Questo non equivale a quella che in database chiamiamo chiave primaria?

--
@danilo: RDF l'ha accennato...quello che chiederà è OWL. Protegé l'ha fatto ma è un tool per costruire ontologie...dubito ci farà domande sull'uso di Protegé. Più che altro ce le farà sui sistemi a frame, sulle reti semantiche e sulle ontologie in genere.

Oddio! :shock: Sono l'unico a essere svenuto alla vista dell'esercizio 6 del 3o test!?? E' impazzito Stellato?!

Oddio! :shock: Sono l'unico a essere svenuto alla vista dell'esercizio 6 del 3o test!?? E' impazzito Stellato?!

Quel predicato Prolog è improponibile... almeno la DL smanettando col Protegè un po' l'ho imparata...

No Nash, non sei stato l'unico... Io mi domando quanto durerà sto esame, visto che la quantità di roba che potenzialmente può esserci è quelcosa di oltre l'umana immaginazione... Mah, vedremo domattina :?

Nel primo esercizio del 3o test secondo me c'è un errore:
le specifiche dicono che in ogni stanza può lavorare più di una persona, l'importante è che non lavorino insieme accademici e pers. amm.
Sbaglio o la descrizione delle proprietà fatta da Stellato in sintassi astratta non cattura questo vincolo?

Hai ragione!! In effetti la soluzione di Stellato si preoccupa soltanto di dire che ad ogni membro accademico o amministrativo dell'univ sia assegnata una stanza!! Secondo me mancano le sottoclassi "Ufficio" e "Studio", che però avrebbero comportato 4 object property aggiuntive. :?

Ha dichiarato la ObjProphaStanza (Domain: unionOf(persAmm, accad); range: Stanza) e la ObjProp assegnataA inverseFunctionalOf(haStanza) Domain ecc ecc.
Questo non equivale a quella che in database chiamiamo chiave primaria?

Qui sbagli!! Un esempio di "chiave primaria" sta nella DatatypeProperty matricola, definita con restrizione Functional AND InverseFunctional!!
Functional: IF P(x,y) AND P(x,z) THEN y=z (se x ha matricola y ed ha anche matricola z, allora y e z sono la stessa matricola)
InverseFunctional: IF P(y,x) AND P(z,x) THEN y=z (se y ha matricola x e z ha matricola x, allora y e z sono la stessa persona)

Forse intendevi partecipazione totale? mmm.. non ne sono sicurissimo, ma sembra!

Oddio! :shock: Sono l'unico a essere svenuto alla vista dell'esercizio 6 del 3o test!?? E' impazzito Stellato?!

No, aspettate! L'esercizio è lungo si, ma il codice OWL non è difficile da inquadrare in un diagramma ed il predicato prolog è simile a molti altri esercizi sulle ontologie degli esami degli anni scorsi di SBC! In fondo è soltanto un findall!
Io ho invece problemi con la DL: sto a zero! Dove posso guardare per impararla in 10 minuti? Grazie!
Ho anche problemi con PROLOG di per sé, soprattutto con le liste! :? Dopo cena, posto qualche cosetta! :P