Descrizione del modulo "Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002)"

Type
Label
  • Descrizione del modulo "Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002)" (literal)
Potenziale impiego per bisogni individuali e collettivi
  • L'ambiente domotico e' finalizzato a dimostrare l'utilita' di tecnologie di intelligenza artificiale per la supervisione domestica di persone anziane affette da debilitazioni cognitive leggere. L'obiettivo dei prototipi sviluppati e' dunque quello di esemplificare un sistema che permetta di supportare il mantenimento di una vita indipendente di persone anziane che altrimenti avrebbero difficolta' a vivere da soli a causa di debolezze cognitive senili acquisite. Date le allarmanti proiezioni sull'innalzamento dell'eta' media degli europei, la tematica di ambient assisted living (AAL) e' sempre piu' riconosciuta come prioritaria (al punto che il programma ICT del settimo PQ include un challenge esplicito in tale direzione), ed e' ormai comunemente ritienuto che l'investimento in questi sistemi possa contribuire in modo significativo al mantenimento economico della societa'. (literal)
Tematiche di ricerca
  • Il modulo ha avuto per obiettivo la creazione di un ambiente sensorizzato intelligente, un prototipo di ambiente fisico che ricrei le condizioni abitative di una persona che necessita di supervisione. Questo era un goal iniziale che poteva sembrare velleitario 9 anni fa ma e' ancora piu' fondato oggi visto gli sviluppi degli \"intelligent environments\". Il modulo si avvalse dei prodotti della ricerca scaturiti dal progetto RoboCare (http://robocare.istc.cnr.it), conclusosi alla fine del 2006. L'obiettivo particolare del modulo era quello di definire un benchmark di supporto alle altre attivita' della commessa. Le tematiche di ricerca affrontate afferiscono all'area dei sistemi di supporto alle decisioni e la robotica, con particolare enfasi sulle tecniche di intelligenza artificiale (pianificazione, scheduling ed ragionamento a vincoli). Negli anni, con la fine di RoboCare abbiamo coinvogliato in questo modulo le nostre tematiche di ricerca più vicine al topic \"sviluppo di software\" al fine di mantenere i contatti con il progetto. Al momento riportiamo qui il lavoro di integrazione tra tecniche di AI planning e i metodi formali per software verifica e validazione. (literal)
Competenze
  • Il gruppo di ricerca ha acquisito negli anni una notevole esperienza nell'ambito dello sviluppo dei sistemi di supporto alle decisioni. Con progetti nazionali (e.g., RoboCare -- http://robocare.istc.cnr.it) ed internazionali (e.g., Mexar -- http://mexar.istc.cnr.it) il gruppo si e' reso noto per l'applicazione di tecniche di problem solving automatico in domini applicativi reali. L'esperienza applicativa si avvale di consolidate competenze nella pianificazione automatica, nello scheduling, ed in generale nella rappresentazione ed il ragionamento automatico su problemi a vincoli (constraint reasoning). Il gruppo ha prodotto numerosi avanzamenti teorici oltre che applicativi, pubblicando in prestigiose conferenze e riviste internazionali, facendosi anche promotore di workshop tematici e numeri speciali sull'argomento. (literal)
Potenziale impiego per processi produttivi
  • Alcune delle idee chiave scaturite da questo progetto sono riutilizzabili in progetti di monitoring delle infrastrutture critiche al momento uno dei focus principali nell'area security dei programmi EU. Inoltre gli sviluppi piu' recenti sono key technology per la interazione robusta uomo-robot e per il controllo di robot (literal)
Tecnologie
  • Il progetto di ambiente domotico si avvale di algoritmi di pianificazione, scheduling e coordinamento multi-agente. Tali tecnologie software consistono in algoritmi di intelligenza artificiale stato dell'arte, molti dei quali teorizzati e sviluppati dal gruppo di ricerca stesso. Inoltre, l'elaborazione dei segnali video provenienti dai sensori avveniva tramite algoritmi di visione artificiale sviluppati dai membri del gruppo partner SPQR (Roma \"La Sapienza\"). (literal)
Obiettivi
  • Gli obiettivi possono essere individuati a vario livello. In generale in questo momento stiamo attaccando il problema di sviluppare software dalle proprieta' garantite ma anche flessibile per scopi che si adattano nel tempo. (literal)
Stato dell'arte
  • Si veda la pagina di progetto http://robocare.istc.cnr.it per la vecchia attivita' ed alla pagina http://www.istc.cnr.it/personalpage/validation-and-verification-issues-timeline-based-planning-and-scheduling-systems-0 Per una breve introduzione ai lavori piu' recenti di integrazione AI-planning e V&V (literal)
Tecniche di indagine
  • Una parte della ricerca si e' focalizzata sull'analisi delle preferenze degli utenti del sistema domotico. A tal fine, si adoperano tecniche di indagine sperimentali basate sull'uso di questionari e/o interviste (con ausili multimediali). Le indagini mirano ad indirizzare lo sviluppo delle interfacce predisposte per l'interazione fra utente e sistema domotico. (literal)
Descrizione di

Incoming links:


Descrizione
data.CNR.it