A Rule Verification and Resolution Framework in Smart Building System

In smart building, services are stored as rules and achieved by rule analyzing and executing. However, the irrational contents of rules and conflicts between rules may bring confusion and maloperation in the rule system. In this paper, we propose a lightweight rule verification and resolution framework to solve the problem which provides content anomaly detection and rule conflict detection. We also provide a quick resolution strategy for rule conflicts based on conflict-scenario-analysis so as to guarantee the rule system performing appropriately.