Modalità d'esame
L'esame si compone di una prova scritta (e di valutazioni in itinere su parti aggiunte nel corso da 9 CFU). La prova orale è facoltativa.
La prova scritta (prima parte che vale 6 CFU - durata 2h) verte e su:
- Il linguaggio Prolog: SLD resolution e programmazione Prolog
- Risoluzione di problemi (Spazio degli stati, Forward e Backward, Strategie di Ricerca, Giochi, Propagazione di Vincoli).
- Logica dei predicati e risoluzione
- Domande su teoria
Per chi deve sostenere l'esame da 9 CFU, ci sono domande aggiuntive sui contenuti dei seminari e sulla parte di meta-operatori e meta-programmi (seconda parte, durata ulteriori 30 min).
Inoltre c'e' una valutazione sull'uso della libreria AMAI e su Prolog e grammatiche (questa valutazione è fatta in itinere durante le lezioni, per gran parte degli studenti). Per coloro che non erano presenti a queste lezioni:
- Il 6 Dicembre ore 13.30 in Lab. informatica grande si tiene una seduta di recupero sulla libreria AMAI, con valutazione.
- Per chi non ha già ottenuto la verifica su Prolog e grammatiche, ci sarà un esercizio scritto in aggiunta (ulteriori 15 min assegnati).
Durante lo scritto non si possono consultare testi o appunti
Per chi deve sostenere 6 CFU il voto dello scritto è determinato da quello della prima parte (su 32 punti); per chi deve sostenere 9 CFU è la media pesata della I parte (che vale 2/3) e della II ( che vale 1/3) ovvero il voto finale è dato da:
((voto_Iparte +voto_IIparte)/3)*2
e varia quindi da 0 a massimo 32 (equivalente a lode).
La prova orale viene fatta su richiesta dello studente e riguarda un progetto su un argomento del corso (da concordare con i docenti) e tutto il programma del corso.
