Rappresentazione della conoscenza e ragionamento automatico
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.
Linee di ricerca
- Knowledge representation and reasoning
- Planning and scheduling
- Search methodologies
- Philosophical/theoretical foundations of artificial intelligence
- Distributed artificial intelligence
Settori ERC
- PE6_4 Theoretical computer science, formal methods, automata
- PE6_3 Software engineering, programming languages and systems
- PE6_7 Artificial intelligence, intelligent systems, natural language processing
Componenti
In base alla circolare d'Amministrazione n. 33/1998 si responsabilizzano le persone in indirizzo a verificare la correttezza dei dati inseriti e ad effettuare le dovute comunicazioni di variazione alla Direzione Risorse Umane e Affari generali (DARU) per assicurare il costante aggiornamento dei dati nel tempo, trasmettendo (esclusivamente per posta elettronica) l'esito delle verifiche effettuate agli indirizzi di seguito riportati:
- per il personale tecnico amministrativo: ta.tempoindeterminato@uniud.it
- per il personale docente: docenti@uniud.it