Ateneo - UPO

Rappresentazione della conoscenza e ragionamento mediante formule e regole logiche, programmazione logica. Programmazione logica a vincoli; Answer Set Programming. Problem solving dichiarativo mediante strumenti di programmazione logica e ASP. Logiche descrittive, logiche temporali.

S. Russell, P. Norvig. Artificial Intelligence: A Modern Approach (3rd edition), Prentice-Hall 2010. P. Hitzler, M. Krötzsch, S. Rudolph, Foundations of Semantic Web, CRC Press, 2010. K. Marriott, P. Stuckey, Programming with Constraints: an Introduction, MIT Press, 1998. M. Gebser, R. Kaminski, B. Kaufmann, and T. Schaub, Answer Set Solving in Practice, Morgan and Claypool, 2012.

Conoscenza e capacità di comprensione: conoscere e comprendere la semantica di diversi formalismi di rappresentazione della conoscenza dichiarativa basati sulla logica, i fondamenti dei metodi di ragionamento automatico su tale conoscenza, l’espressività e le limitazioni anche computazionali.
Capacità di applicare conoscenza e comprensione: capacità di applicare i suddetti formalismi e metodi a problemi reali, ai fini della risoluzione di problemi con metodi dichiarativi e del riutilizzo di conoscenza per risoluzioni di problemi diversi relativi ad uno stesso dominio.
Autonomia di giudizio: giudicare l’appropriatezza dei diversi formalismi e metodi a problemi reali
Abilità comunicative: capacità di illustrare, sia a livello tecnico che non tecnico, le soluzioni proposte per problemi assegnati durante il corso
Capacità di apprendimento: esercitare la capacità di approfondimento autonomo attraverso la lettura di materiale di approfondimento sugli argomenti del corso.

Logica Matematica.

Lezioni frontali e sperimentazione in laboratorio.
Le lezioni, oltre a descrivere i formalismi ne discutono le potenzialità e le limitazioni. Le esercitazioni permettono di conoscere strumenti software per utilizzare i diversi formalismi.

Le studentesse e gli studenti con disabilità o con Disturbi Specifici dell’Apprendimento (DSA) o con Bisogni Educativi Speciali (BES) possono richiedere servizi e strumenti specifici a loro dedicati rivolgendosi allo Staff Sviluppo e Coordinamento Carriere e Servizi alle Studentesse e agli Studenti e consultando la pagina dedicata del sito di Ateneo: https://uniupo.it/it/servizi/servizi-studenti-disabili-e-dsa
Le studentesse e gli studenti con disabilità, DSA, BES, una volta preso contatto con lo Staff di Ateneo, possono contattare la/il docente titolare dell'insegnamento in relazione alla declinazione delle modalità di esame, in merito agli aspetti didattici.

Verifica della soluzione di esercizi pratici. Esame scritto. La prova prevede diverse domande, riguardanti argomenti svolti in una parte diversa del programma, ed atte a verificare il raggiungimento degli obiettivi formativi. La valutazione complessiva terrà conto dei risultati conseguiti nelle singole domande.

Rappresentazione della conoscenza e ragionamento automatico in logica. Risoluzione.
Programmazione logica.
La programmazione logica a vincoli; l'Answer Set Programming. Problem solving dichiarativo mediante strumenti di programmazione logica e ASP.
Logiche descrittive, logiche temporali.

Raggiungimento, in grado misurato dal voto, degli obiettivi formativi. In particolare: Conoscenze relative ai formalismi di rappresentazione della conoscenza dichiarativa basati sulla logica, e ai metodi di ragionamento automatico su tale conoscenza Competenze ed abilità: capacità di applicare i diversi formalismi e metodi a problemi reali.