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
Dati, Contenuti e Media (DIT.AD004)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: 14/10/2024