Proposte per tesi di laurea magistrale

Area micro-intelligence for the Internet of Things

• LPaaS in Home Manager: micro-intelligenza situata in cucina [27/10/2017]
  Home Manager è una piattaforma sperimentale per il controllo di una casa intelligente, sviluppato sull'infrastruttura ad agenti TuCSoN e ispirato all'architettura Butlers. Lo scopo principale di Home Manager è quello di gestire una casa in maniera smart, sotto controllo degli utenti che ne configurano le azioni e i comportamenti. È sviluppato su piattaforma Java, poi portato su piattaforma Raspberry Pi e parzialmente integrato con Win10-IoT. Il sistema simula un ambiente di 4 stanze e i dispositivi in esse contenuti. 
  Obiettivo di questa tesi è introdurre in Home Manager i concetti di Logic Programming as a Service (LPaaS). Secondo questo approccio, ci sono device intelligenti - come il frigo - che fungono da server di intelligenza sitauta, nel senso che ragionano sul contesto ambientale intorno a loro. Per fungere da LPaaS server devono implementare l'interfaccia server di LPaaS, con primitive stateful/stateless e primitive timed/no timed. 
  In particolare, l'obiettivo è implementare un vero caso di studio, in cui esistano ricette che si possono cucinare e far vedere le possibili inferenze logiche, evidenziando le diverse fonti di micro-intelligenza sparse nel sistema.
  Correlatore: Ing. Roberta Calegari

• Smart Assisted Living in Home Manager come Smart Speaking Objects [27/10/2017]
  Home Manager è una piattaforma sperimentale per il controllo di una casa intelligente, sviluppato sull'infrastruttura ad agenti TuCSoN e ispirato all'architettura Butlers. Lo scopo principale di Home Manager è quello di gestire una casa in maniera smart, sotto controllo degli utenti che ne configurano le azioni e i comportamenti. È sviluppato su piattaforma Java, poi portato su piattaforma Raspberry Pi e parzialmente integrato con Win10-IoT. Il sistema simula un ambiente di 4 stanze e i dispositivi in esse contenuti. 
  Obiettivo di questa tesi è implementare uno scenario di smart assisted living, prendendo spunto dall'articolo http://ieeexplore.ieee.org/abstract/document/7980136 nella prospettiva smart speaking objects. Come nel caso precedente, l'approccio Logic Programming as a Service (LPaaS) potrà essere sfruttato per effettuare ragionamenti sui dati grezzi, generando conoscenza di più alto livello.
  Correlatore: Ing. Roberta Calegari

• Scenari e politiche intelligenti in Home Manager: un caso di studio [27/10/2017]
  Home Manager è una piattaforma sperimentale per il controllo di una casa intelligente, sviluppato sull'infrastruttura ad agenti TuCSoN e ispirato all'architettura Butlers. Lo scopo principale di Home Manager è quello di gestire una casa in maniera smart, sotto controllo degli utenti che ne configurano le azioni e i comportamenti. È sviluppato su piattaforma Java, poi portato su piattaforma Raspberry Pi e parzialmente integrato con Win10-IoT. Il sistema simula un ambiente di 4 stanze e i dispositivi in esse contenuti. 
  Obiettivo di questa tesi, che prendendo le mosse da lavori precedenti, è sviluppare  lo scenario di gestione automatica delle persiane/tapparelle tenendo conto di una molteplicità di fattori (meteo, temperatura, necessità, preferenze utenti..) con scenari personalizzati e sfruttando le capacità di context prediction presenti in Home Manager grazie al classificatore Weka.
  Correlatore: Ing. Roberta Calegari

Area Multi-Paradgim Programming

• tuProlog in JavaScript [27/10/2017]
  tuProlog è un interprete Prolog scritto in Java e interoperabile con tale linguaggio, leggero e multi-piattaforma. Come esperimento, in passato è stata sviluppata anche una libreria per l'interazione con Javascript, concettualmente simile alla OOLibrary disponibile per Java.
  La sedimentazione di Nashorn come motore Javascript su piattaforma Java8+ e più in generale la diffusione di Javascript come linguaggio cross-platform aprono però nuove interessanti prospettive. 
  Obiettivo di questa tesi è esplorare la possibilità di adottare Javascript, in prospettiva, come piattaforma alternativa di supporto per tuProlog. La tesi dovrà quindi valutare a 360 gradi l'impatto che questa scelta avrebbe, i vantaggi e i problemi che ne potrebbero derivare in particolare rispetto alla compatibilità col pregresso e all'interoperabilità che è alla base del successo di tuProlog, sia dal punto di vista teorico - coesistenza fdra modelli e linguaggi diversi, statici/dinamici, etc. - sia da quello pratico-sperimentale - impatto su processo di sviluppo e deployment, prestazioni, etc.