Alcuni lucidi usati nelle lezioni del corso FSE 2003

• Alcune applicazioni delle tecniche di ricerca locale

• Ragionamento basato su vincoli in domini continui (3 file): ragionamento temporale, tabella composizioni, spaziale e spazio temporale (contattare docente)

• Dimostrazione automatica di teoremi attraverso il sistema OTTER:

Teoria	Lucidi	Esercizi
Prima lezione 5 Marzo 2003 (pdf 93k) Prima lezione 5 Marzo 2003 (ps 119k)	Lucidi (pdf 119k) Lucidi (ps 211k)	Soluzione esercizio del cuoco (1.6k) Soluzione esercizio dei ladruncoli (0.692k) Soluzione esercizio nurse (0.710k)
Seconda lezione 12 Marzo 2003 (pdf 47k) Seconda lezione 12 Marzo 2003 (ps 72k)	Lucidi (pdf 99k) Lucidi (ps 178k)	Soluzione esercizio del parentele (0.594k) Soluzione esercizio dei talpe (1k) Soluzione esercizio fusti (1.2k) Soluzione esercizio missionari (1.7k)

• vedere inoltre: introduzione a OTTER

• Reti neurali

• Tools per reti bayesiane ed un esempio di applicazione (contattare docente)

• Logica fuzzy