Struttura e Regole Compito

Topic	Subtopic	Punteggio Indicativo
Set Theory	Domanda su I, relazioni, funzioni	2
PL	Informal to Formal	5
PL	Reasoning in PL	4
PL	Domanda Teorica/Generale	4
PL	Domanda Teorica/Generale	4
FOL	Informal to Formal	5
FOLD	Reasoning in FOL	4
FOL	Domanda Teorica/Generale	4
FOL	Domanda Teorica/Generale	4
Total		36

Topic	Subtopic	Punteggio Indicativo
ML	Informal to Formal	3
ML	Proprietà dei frame	4
ML	Domanda Teorica/Generale	3
ML	Soddisfacibilità	4
ML	Tableuax	4
DL	Knowledge Graph <-> DL	4
DL	Mapping tra SKG, DKG	4
DL	Domanda Teorica/Generale	3
DL	Domanda Teorica/Generale	3
DL	Espansione ABOX/TBOX	4
Total		36

I testi degli esami negli appelli coprono tutto il programma e quindi tutte e quattro le logiche studiate e tutte le varie tematiche approfondite, in particolare, formalizzazione di problemi descritti informalmente, ragionamento, teoria.

I testi presenti nel sito, sia testi d’esame che provette svolte durante il corso, sono esemplificativi del tipo di domande che verranno poste.

Ogni esercizio potrebbe richiedere di rispondere in uno dei seguenti modi:

• Testo libero: descrizione testuale in italiano, che potrebbe includere anche alcune formule, da scrivere nella notazione testuale riportata qui sotto (e spiegata a lezione)
• Scelta multipla: si chiede di indicare con una spunta quale risposta sia vera tra quelle proposte. In tutti i casi a risposta multipla, le risposte corrette potrebbero essere zero, una o più di una. Il computer mostra l’usuale check box e, naturalmente, consente la scelta multipla.
• Scelta singola: si chiede di indicare una sola tra le risposte fornite. Il computer mostra il radio box e, naturalmente, impedisce di effettuare scelte multiple.
• Dropdown menu: bisogna scegliere la corretta tra le risposte possibili.

L’esame è erogato con Moodle + Respondus + Monitor, su un’istanza di Moodle specificamente dedicata per gli esami. Dovete quindi scaricare Respondus, se non lo avete già fatto, e verificarne le funzionalità. Se non avete esperienza con Respondus/Moodle trovate qui alcuni documenti utili: https://dol.unitn.it/respondus-faq e il seguente https://dol.unitn.it/esame-informatizzato-con-respondus-lockdown-browser-e-monitor

Al seguente link trovate un test di esempio (generico, non legato al corso): https://esamionline.unitn.it/course/view.php?id=120 Respondus vi chiederà di identificarvi con un documento e mostrare l’ambiente in cui state effettuando il test.

La maggior parte di queste cose sono probabilmente ovvie, se avete già dato esami con Moodle, in ogni caso vi chiediamo di:

• Leggere queste istruzioni!
• Provare a collegarvi sul sito Moodle degli esami, in modo da verificare che il vostro account funzioni.
• Trovare un posto tranquillo dove svolgere la prova domani (non è possibile svolgere la prova in una stanza con altre persone)
• Scaricare il software necessario (respondus + Moodle) e verificare che sia tutto a posto.
• Entrare in contatto in caso di problemi.

• Il voto dello scritto è dato dalla somma dei punti ottenuti rispondendo ad ogni domanda.
• Ogni domanda riporta i punti assegnabili
• La somma totale dei punti assegnabili ad uno scritto è, tipicamente, 36.
• A seconda di media a varianza dei risultati, ci riserviamo la possibilità di riparametrare i voti finali, applicando un fattore moltiplicativo (anche inferiore a 1) o additivo a tutti i compiti.

TL;DR Dal momento che ogni esercizio può risultare in un voto negativo, si consiglia, laddove non si sia sicuri e sia possibile, di non rispondere alla domanda (basta non toccare nulla).

Di seguito sia P il numero di punti assegnati ad un esercizio. Riportiamo di seguito il meccanismo di assegnazione dei punteggi.

Dal momento che il sistema non consente di inserire facilmente simboli grafici utilizzati nelle formule, rappresentiamo e chiediamo di rappresentare i simboli logici utilizzando il loro nome in inglese. Chiediamo di scrivere i connettivi logici in minuscolo, anche se l’eventuale uso del maiuscolo non costituisce elemento di valutazione.

Quindi:

Connettivo Logico	Notazione da usare
\(\neg\)	NOT
\(\wedge\)	AND
\(\vee\)	OR
\(\supset\), \(\rightarrow\)	IMP
\(\equiv\)	IFF
\(\forall\)	FORALL
\(\exists\)	EXISTS
\(\models\)	MODELS
\(\vdash\)	DERIVES

Connettivo Logico	Notazione da usare
\(\square\)	BOX
\(\diamondsuit\)	DIAMOND
\(\sqcap\)	AND
\(\sqcup\)	OR
\(\subseteq\)	SUBSUMED_BY
\(\supseteq\)	SUBSUMES
\(\equiv\)	IFF

I connettivi possono essere usati indifferentemente in maiuscolo o minuscolo, ma chiediamo di essere costanti nell’uso: sempre in maiuscolo o sempre in minuscolo.

Quindi, ad esempio:

\begin{equation} \neg A \wedge (B \supset C) \end{equation}

deve essere scritto nel compito come:

not A and (B imp C)

Qualche esercizio potrebbe richiedere di svolgere un Tableau, che dobbiamo quindi essere in grado di inserire in forma testuale nel campo di risposta. Vi chiediamo di utilizzare la seguente convenzione:

1. Ogni nodo del Tableau è rappresentato con un paragrafo di testo, una serie di linee di testo terminate da una riga vuota
2. Ogni paragrafo inizia con una sequenza di numeri separati da “.”, che indicano la posizione del nodo nel Tableau. Si utilizzi la seguente regola:
   • il primo nodo è 1
   • i discendenti del nodo N sono N.1, …, N.M
3. Ogni paragrafo elenca tutte le formule del nodo, una per riga, utilizzando la notazione in testo spiegata sopra. Un nodo chiuso si indica con “X” o “CLOSED”, indifferentemente.

1. NOT (Q OR P) IMP (P OR Q)

1.1 P OR Q
    NOT (P OR Q)

1.1.1 NOT P
      NOT Q

1.1.1.1 P

1.1.1.2 Q

1.1.1.1.1 CLOSED

1.1.1.1.2 CLOSED