Università degli Studi di Perugia

Prova orale e prova scritta (sostituibile da una prova pratica).

.

.

.

Fondamenti della logica computazionale; sintassi, semantica e automazione dell'inferenza (proposizionale e predicativa). Programmazione logica. Prolog. Tecniche avanzate di programmazione dichiarativa: CLP, ASP. Approccio dichiarativo alla modellazione e soluzione di problemi computazionalmente difficili.
Applicazioni a problemi di ottimizzazione e decisionali: problemi combinatorici, planning e scheduling centralizzato e distribuito, sistemi multi agente,
coordinamento, problemi su reti, programmazione con risorse, problemi tipici di bioinformatica (protein folding, haplotipi, filogenesi, pathway, ecc).

Fondamenti della logica computazionale. Programmazione logica. Prolog. Tecniche avanzate di programmazione dichiarativa e con vincoli: CLP, ASP. Applicazione a problemi computazionalmente difficili: ottimizzazione, decisionali, combinatorici, planning, scheduling distribuito, MAS, coordinamento, bioinformatica, ecc.

lezioni frontali

Materiale di studio fornito dal docente durante il corso delle lezioni.

Il corso si propone di fornire le basi della logica computazionale e della programmazione dichiarativa trattandone in modo rigoroso sia i fondamenti logico-semantici che gli aspetti pratici ed applicativi. Lo studente acquisirà la capacità sia di interpretare, modellare e risolvere problemi tipici, dell'informatica in generale e dell'intelligenza artificiale in particolare, tramite un approccio dichiarativo, sfruttando proficuamente i moderni strumenti e tecniche della programmazione dichiarativa.

primo semestre 2013-14

.

.

non obbligatoria ma consigliata

Dip. di Matematica e Informatica

.