Consistency Verification of a Rule-Based Smart Home Reasoning System with Satisfiability Modulo Theories

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Mekuria, Dagmawi Neway, Sernani, Paolo, Falcionelli, Nicola, Dragoni, Aldo Franco
Format: Conference Proceeding
Language:English
Subjects:
Actuators
Ambient Assisted Living
Cognition
Conflict Detection
Consistency analysis
Heating systems
Knowledge based systems
Monitoring
Reasoning System
Satisfiability Modulo Theories
Smart homes
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2472-7571
DOI:10.1109/IE49459.2020.9155074