CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishThis paper proposes a method for consistency verification of a rule-based smart home reasoning system (SHRS). To this end, it defines, formalizes and presents a static (off-line) analysis method for five primary causes of inconsistencies in rule-based SHRSs, using satisfiability modulo theories as a tool. Afterwards, it presents an empirical validation of the proposed method using a real-world smart home reasoning system as a model. The primary causes of inconsistencies considered are conflicting, duplicate, overlapping, self-looping, and circular rules. In general, this study presents a reliable and effective solution to analyze and verify the consistency of SHRSs.
| Titolo: | Consistency Verification of a Rule-Based Smart Home Reasoning System with Satisfiability Modulo Theories | |
| Autori: | ||
| Data di pubblicazione: | 2020 | |
| Abstract: | This paper proposes a method for consistency verification of a rule-based smart home reasoning system (SHRS). To this end, it defines, formalizes and presents a static (off-line) analysis method for five primary causes of inconsistencies in rule-based SHRSs, using satisfiability modulo theories as a tool. Afterwards, it presents an empirical validation of the proposed method using a real-world smart home reasoning system as a model. The primary causes of inconsistencies considered are conflicting, duplicate, overlapping, self-looping, and circular rules. In general, this study presents a reliable and effective solution to analyze and verify the consistency of SHRSs. | |
| Handle: | http://hdl.handle.net/11566/285065 | |
| ISBN: | 978-1-7281-6158-7 | |
| Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
http://hdl.handle.net/11566/285065
Copyright © 2021