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

Thematic area

Engineering, ICT and technologies for energy and transportation

Project area

Structure responsible for the research project

Institute for system analysis and computer science "Antonio Ruberti" (IASI)

Project manager

ANNA FORMICA
Phone number: 0649937126
Email: 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.

Goals

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.

Start date of activity

01/01/2020

Keywords

RAPPRESENTAZIONE DELLA CONOSCENZA, RAGIONAMENTO AUTOMATICO, SISTEMI SOFTWARE

Last update: 19/04/2024