INFOCON - Sistemi per la gestione dell'informazione e della conoscenza: modelli, metodi e strumenti (DIT.AD004.111)

Area tematica

Ingegneria, ICT e tecnologie per l'energia e i trasporti

Area progettuale

Struttura responsabile del progetto di ricerca

Istituto di analisi dei sistemi ed informatica "Antonio Ruberti" (IASI)

Responsabile di progetto

ANNA FORMICA
Telefono: 0649937126
E-mail: anna.formica@iasi.cnr.it

Abstract

La tecnologia moderna produce enormi masse di dati, informazioni e applicazioni in forma digitale come, ad esempio, documenti di testo, video, sistemi informativi aziendali, mappe geografiche, artefatti software, applicazioni per telefoni mobili. L'avvento del WEB e la sua successiva evoluzione determinata dall'impiego di piattaforme CLOUD ha fornito potenzialità enormi di condivisione e fruizione di queste risorse digitali che però sono disponibili in forma estremamente eterogenea, distribuita e non organizzata. Per permettere agli utenti individuali, alle imprese e alla PA di utilizzare questa massa di risorse, sono necessarie tecnologie intelligenti per estrarre, rappresentare e gestire conoscenza. In tale contesto le tecnologie abilitanti più rilevanti sono quelle che consentono di sviluppare sistemi software altamente sofisticati. Il progetto "Sistemi per la gestione dell'informazione e della conoscenza" si ripropone pertanto di sviluppare metodologie e tecniche in due principali aree di ricerca: (1) Rappresentazione e gestione della conoscenza, con l'uso di tecnologie semantiche e di sistemi informativi avanzati, e (2) Architetture, modelli e metodi di verifica del software.

Obiettivi

Sviluppo di metodi e strumenti software per:
- valutazione della somiglianza semantica tra concetti ed evoluzione del metodo di similarità semantica SemSim;
- ricerca, navigazione e classificazione di risorse di conoscenza mediante l'utilizzo di tecniche semantiche e principi di creatività computazionale;
- database non convenzionali, e in particolare sistemi informativi geografici, data warehousing;
- modellazione, gestione e verifica di processi di business;
- text mining, con particolare riferimento ad algoritmi per l'estrazione di word associations;
- architetture software per sistemi distribuiti e collaborativi e basati sul paradigma a servizi;
- modellazione e validazione di artefatti software;
- produzione di software con certificazione di correttezza mediante trasformazione e verifica formale;
- valutazione della performance di ricerca.

Data inizio attività

01/01/2020

Parole chiave

RAPPRESENTAZIONE DELLA CONOSCENZA, RAGIONAMENTO AUTOMATICO, SISTEMI SOFTWARE

Ultimo aggiornamento: 24/04/2024