ASSIOMATIZZAZIONE E RULE-BASED REASONING PER AMBIENTI DOMOTICI INTELLIGENTI

[Total: 0    Average: 0/5]

La tesi parte dallo studio delle proprietà dei sistemi domotici e dalla loro espressione mediante formalismi semantici, quali opportune estensioni del linguaggio DOMO-ML. Su tali modelli formali ed astratti, verranno studiati degli approcci per la definizione di regole logiche che possano esprimere proprietà statiche e dinamiche dei sistemi domotici. Particolare attenzione sarà data ai formalismi sorti nel campo del Semantic Web, quale SWRL. La validità dei formalismi proposti sarà valutata mediante la formalizzazoine di oppurtuni set di proprietà di complessità crescente. Il risultato della tesi prevederà lo sviluppo di un sistema di dimostrazione di proprietà.