la tesi....

Possibili argomenti di tesi (per ulteriori dettagli contattare il docente):

Gli argomenti delle tesi di laurea che mi possono coinvolgere come relatore sono prevalentemente connessi alla mia attività di ricerca e ricadono nell'ambito dell'intelligenza artificiale:

la rappresentazione della conoscenza,
la automazione del ragionamento,
la deduzione automatica,
il theorem proving,
la logica computazionale e la computazione simbolica,
la programmazione logica e dichiarativa,
la programmazione con vincoli,
il'problem solving dichiarativo con ASP (vedi ad esempio What Is Answer Set Programming?: asppg.ps) e/o con CLP (vedi ad esempio qui),
i linguaggi per la pianificazione in ASP/CLP (vedi ad esempio refart.ps), con vincoli, in sistemi multi-agente,...
eccetera eccetera...

Se questi termini vi sembrano inquietanti, non spaventatevi. Sono molto generali e un lavoro di tesi si colloca sempre in un ambito più circoscritto ed affronta un argomento specifico (un problema, un algoritmo, ...), di cui possiamo discutere qualora siate interessati.
Alcuni degli argomenti sopra elencati sono trattati anche nel corso Programmazione dichiarativa della Laurea Magistrale in Informatica.
In generale, il lavoro di tesi può includere parti compilative e/o sperimentali e/o implementative.
Un paio di esempi di lavori di vostri predecessori:

Implementazione di un sistema per il ragionamento dichiarativo su processi che consumano e producono risorse (vedi qui). In questo caso il lavoro ha incluso anche contributi originali da parte dello studente. Ciò che ha portato a CILC08.
Tesi compilativa di (bio-)informatica sul problema dell'inferenza di aplotipi (vedi TesiHaplotype).

Per le tesi che presuppongano aspetti implementativi è preferibile possedere (o acquisire) una adeguata esperienza di programmazione in almeno uno dei seguenti linguaggi: C, C++, Java, Prolog, ASP, CLP, Tcl/Tk,...

Sentitevi liberi di contattarmi per maggiori informazioni e dettagli, sia sulle modalità che sugli argomenti.

Ecco un elenco di temi su cui è possibile incentrare una tesi (compilativa e/o sperimentale e/o implementativa, e in caso anche con contributi originali):

Action description languages
Linguaggi dichiarativi per il planning multi-agente

Problema della decisione (soddisfacibilità/validità) e/o ragionamento in
- logica proposizionale (procedura di Davis-Putnam, Tableaux, Binary decision diagrams e varianti, ...)
- logica dei predicati (Risoluzione, Tableaux, Model elimination, ...)
- logica equazionale (Assiomatiche per l'uguaglianza, sistemi di riscrittura, Knuth-Bendix, paramodulazione, ...)
- teorie assiomatiche (T-risoluzione, Satisfaction-modulo-theory, ...)
Unificazione sintattica, equazionale (ACI), semantica
Algoritmi e metodi per decidere la verità di formule (vedi anche qui)
- predicative (Bernays-Schoenfinkel, eliminazione di quantificatori,...)
- dell'aritmentica sugli interi
- in algebra dei numeri reali
- sugli insiemi e sillogistiche insiemistiche
- su funzioni analitiche
- in geometria elementare (`alla Tarski', geometria computazionale)
Combinazione di algoritmi di decisione (Nelson-Oppen, ...)

Paraconsistenza: `quando una affermazione può essere sia vera che falsa'...

Algebra/calcolo delle relazioni binarie (`alla Tarski')
Formulazione relazionale della teoria degli insiemi (`alla Tarski')
Logiche modali e temporali (semantica `alla Kripke')
Algebre di contatto (vedi qui)
Ragionamento automatico in logiche modali/temporali basato sul calcolo delle relazioni binarie (vedi qui)

Teorie assiomatiche degli insiemi (Zermelo-Fraenkel, Von Neumann-Bernays-Goedel, ecc)
Teorie assiomatiche degli insiemi deboli (kernel ZF)
Metodi numerici per la teoria degli insiemi

Teoria dei giochi: Ehrenfeucht-Fraisse, pebble-games, ...

Programmazione logica `alla Prolog' (non-ground e top-down)
Answer set programming (programmazione logica ground e bottom-up), estensioni di ASP, il grounding,...
Programmazione logica con vincoli
Algoritmi per la propagazione di vincoli
Domini con vincoli complessi/compositi: vincoli su liste, stringhe, insiemi, strutture dati complesse,...
Approcci dichiarativi a problemi computazionalmente difficili. Ad esempio:
- predizione della struttura spaziale delle proteine
- problema della inferenza di aplotipi, classificazione basata su SNPs,...
- determinazione degli alberi filogenetici
- giochi: Tangram, Nikoli puzzles, Nonogram, ...
- codifica e verifica di protocolli di sicurezza
- problemi su reti wireless (minimum-energy broadcast, covering,...)
- ...

Sistemi di configurazione di prodotto

GUI multi-purpose per input matematico (visuale o LaTeX-like o ...) configurabile, (eventuale integrazione in SICStus, tramite TclTk o C o Java)
......

Stesura della tesi:

È fortemente consigliata la stesura della tesi in LaTeX.
Tutte le informazioni necessarie alla stesura di un documento in LaTeX possono essere facilmente reperite in rete cercando le parole chiave LaTeX, Miktex (per utenti Windows), OzTex (per utenti MacIntosh).
Qualora non abbiate mai usato il LaTeX, non preoccupatevi: essendo laureandi in informatica impiegherete al più un paio d'ore per essere in grado di iniziare a scrivere la tesi in LaTeX. Questo tempo sarà certamente recuperato con la stesura delle prime formule (chi ha scritto formule in Word, sa cosa intendo dire...). Guadagnerete poi almeno un paio di giorni verso la fine della stesura della tesi, quando questa, come spesso accade, avrà bisogno di essere riorganizzata e reimpaginata. (Senza considerare la qualità tipografica del prodotto finale.)