La programmazione logica per l'Internet of Things: il caso di studio del frigorifero intelligente

Ultimamente le applicazioni relative al paradigma dell'Internet of Things richiedono sempre di più una forma di conoscenza e comprensione dell'ambiente in cui sono immerse, in poche parole è necessario che gli oggetti dell'IoT diventino intelligenti. L'oggetto di questa tesi è mostrare come il paradigma della programmazione logica si possa coniugare con quello dell'Internet of Things tramite un caso di studio per un frigorifero intelligente, in grado di conoscere i suoi contenuti e di ragionare su di essi, sottolineando i vantaggi dell'approccio logico e le eventuali modifiche agli standard dell'IoT visti fino ad ora.