Ricerca

AIRLab studia metodi formali per la rappresentazione della conoscenza e il ragionamento automatico, con particolare attenzione all'ontology-based data management e alle logiche descrittive. Le attività comprendono inoltre la progettazione e gestione di ontologie e lo studio della privacy nel contesto del query answering mediato da ontologie (controlled query evaluation).

AIRLab studia tecniche di elaborazione del linguaggio naturale e di estrazione automatica di informazioni da testi, con un crescente interesse verso l'utilizzo e la valutazione dei grandi modelli linguistici (LLM). Le attività includono applicazioni in contesti ad alta complessità testuale, come la documentazione clinica in linguaggio naturale.

Una linea di ricerca di AIRLab si concentra sulla qualità e l'affidabilità dei sistemi basati su intelligenza artificiale, con particolare attenzione al testing e alla verifica formale. Un tema specifico riguarda la valutazione sistematica dei prompt per i grandi modelli linguistici.