Codice insegnamento

4S02793

Docente

Matteo Cristani

Coordinatore

Matteo Cristani

Crediti

6

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

INF/01 - INFORMATICA

Periodo

II semestre dal 2 mar 2020 al 12 giu 2020.

Orario Lezioni Moodle Seminari 0

Obiettivi formativi

Il corso si propone di fornire i concetti fondamentali di rappresentazione della conoscenza, sia rispetto al problema astratto di definizione di una ontologia di dominio, sia rispetto al problema di indicizzare dominii documentali. Specificamente, sia tecniche logiche, sia tecniche di machine learning per la classificazione ed analisi documentale. Al termine del corso lo studente avrà acquisito conoscenze sul problema della rappresentazione della conoscenza e delle sue applicazioni e dimestichezza con gli aspetti tecnici dell'elaborazione statistica del linguaggio naturale, comprendendo e connettendo i due aspetti di cui sopra in relazione ai repository documentali, con particolare riguardo al web. Queste conoscenze consentiranno allo studente di: i) costruire ontologie formali; ii) gestire allineamento ontologico; iii) gestire il recupero di documenti indicizzati in base al contenuto testuale; iv) utilizzare metodi formali di analisi del testo combinando gli stessi con metodi formali di ragionamento. Al termine del corso lo studente sarà in grado di: i) presentare una analisi concettuale di natura semantica, saper descrivere il processo che porta un esperto di dominio a fornire le informazioni utili all'ingegnere della conoscenza per concepire una ontologia formale descrittiva del dominio di interesse; ii) proseguire, anche autonomamente, lo studio e la ricerca nell'ambito delle tecnologie semantiche in ambiti applicativi differenziati.

Programma

1. Richiami di logica generale
a. Linguaggi proposizionali
b. Linguaggi del primo ordine
c. Linguaggi del secondo ordine
2. Introduzione alla logica computazionale
a. Compiti di ragionamento
b. Sussunzione, soddisfacibilità, consistenza, disgiuntività,
3. Logiche descrittive strutturali
a. Il linguaggio FL-
i. Sintassi
ii. Semantica
b. La logica AL
i. Sintassi e semantica
ii. Algoritmo di sussunzione strutturale
c. ALU, ALE
d. ALN
4. Logiche descrittive proposizionali
a. ALC, ALCN
i. Sintassi e semantica
ii. Il Tableau per ALCN
b. ALCI
c. ALCQIreg
i. Inapplicabilità del Tableau
ii. Gli automi a due vie alternati su alberi infiniti
5. Sistemi di logica descrittiva
a. Protegè/OWL
6. Linguaggio Naturale
7. Social network analysis e tecniche di network mining

Modalità d'esame

L’esame consiste in una tesina, nella discussione orale della stessa con integrazione di domande teoriche.

La tesina consisterà in un software che implementa una tecnica di quelle presentate a lezione , in particolare una delle seguenti tecniche:

- crawling su social network su base ontologica;
- text analysis su base ontologica.

La prima parte della prova orale consisterà nell'esame di dettaglio delle modalità di realizzazione scelte e del problema risolto, che sarà concordato con ogni studente. Oltre a questa verranno poste domande teoriche sui contenuti disciplinari come presentati in classe e discussi nel testo.

La valutazione della tesina terrà conto di:

- qualità della soluzione scelta in relazione alla complessità del problema, secondo i parametri di efficienza ed efficacia tipici della teoria degli algoritmi;
- specifico uso delle ontologie formali, formalizzazione e sua complessità, qualità nell'adozione degli standard di progetto secondo le correnti metodologie di progettazione di ontologie di dominio;
- complessità dell'ontologia implementate in OWL-DL e sua qualità, rilievo rispetto alla tecnica implementata.

La valutazione della prova orale terrà conto di:

- completezza analitica nella risposta ai quesiti relativi alla tesina;
- competenza sui temi specificati nel programma;
- correttezza delle risposte, e loro ampiezza.