**UNIUD è ricerca**
STIMOLA CURIOSITA’, PASSIONE E CORAGGIO

Rappresentazione della conoscenza e ragionamento automatico

Cluster di dipartimento

Intelligenza artificiale

Sito web del gruppo

http://clp.dimi.uniud.it/

Descrizione

Il gruppo studia i linguaggi per la rappresentazione della conoscenza e il ragionamento automatico e le principali tecniche e metodologie per la modellazione e la risoluzione di problemi con tali linguaggi. Particolare attenzione viene dedicata all’espressività dei linguaggi per la formalizzazione di problemi di planning con vincoli temporali, sia mono-agente che multi-agente, con conoscenza sia centralizzata che distribuita, e sulle ricadute delle scelte progettuali sulla complessità degli algoritmi risolutivi. Vengono investigate e confrontate espressività e complessità dei principali approcci al planning (planning basato sulle azioni e planning basato sulle timeline) anche mediante l’utilizzo delle logiche temporali. Vengono, infine, studiate implementazioni parallele delle soluzioni ottenute attraverso tali linguaggi utilizzando sia architetture tradizionali sia architetture basate su GPU, sfruttando tecniche che combinano algoritmi di ricerca e sistemi a tableau, programmazione con vincoli e ricerca locale.

I membri del gruppo sono stabilmente presenti nei comitati di programma dei principali convegni internazionali di AI, Knowledge Representation, Temporal Representation and Reasoning, Temporal Logic, and Constraint Programming, quali, ad esempio, IJCAI, AAAI, KR, ECAI, JELIA, CP, ICLP, LPNMR e TIME, nonché dei convegni nazionali di tali aree.

Il gruppo ha diverse collaborazioni nazionali ed internazionali, in particolare con la New Mexico State University, con l’University of Western Australia e con l’Institute of Cognitive Sciences and Technologies del CNR, ed ha coordinato diversi progetti di ricerca su tali argomenti, inclusi progetti PRIN, FIRB e INDAM e progetti in collaborazione con l’industria.