Search papers, labs, and topics across Lattice.
This paper introduces SHACR, a novel framework that integrates a formal knowledge graph to enhance conflict resolution in smart home IoT automation by addressing hidden interactions among user-defined rules. By transforming conflict detection from text-based inference to deterministic graph traversal, SHACR effectively unifies various types of conflicts and provides actionable repairs for non-expert users. Evaluation on a testbed of 203 rules demonstrated a significant improvement in classification accuracy, with F1 scores increasing from 0.59 to 0.95, highlighting the importance of structured knowledge representation over traditional prompt engineering.
Structured knowledge representation in SHACR leads to a 36.7% reduction in classification errors and a dramatic F1 score increase to 0.95, challenging the reliance on prompt engineering in IoT automation.
Smart home automation increasingly relies on user-defined rules across heterogeneous IoT devices. While these rules appear harmless in isolation, their concurrent execution creates hidden, cross-rule interactions via shared devices, environmental variables, and physical topology. These interactions result in unsafe, wasteful, or privacy-threatening behaviors that are completely invisible to text-only analysis. Existing conflict detectors remain siloed, catching either static syntactic conflicts or specific environment-mediated interactions without unifying the two or providing actionable repairs for non-expert users. This paper presents SHACR, a smart home conflict resolution framework that anchors Large Language Model (LLM) unpredictability by grounding its reasoning in a formal, directed knowledge graph. SHACR encodes devices, capabilities, physical states, and Trigger-Condition-Action rules as typed, traversable entities. By elevating physical cause-effect relationships to first-class graph edges, SHACR transforms conflict detection from fragile text inference into deterministic multi-hop graph traversal, unifying logical, semantic, and physical conflict classes. It drives a closed-loop Scan-Explain-Repair-Validate workflow that uses the graph to bound the LLM's action space. We evaluated SHACR on a testbed of 203 rules deployed across 70 apartments within a smart building. By holding the underlying LLM fixed and introducing SHACR's knowledge graph, classification errors drop by 36.7\%, F1 rises from 0.59 to 0.79, and few-shot calibration further lifts F1 to 0.95, whereas the same calibration barely helps a graph-free LLM. Ultimately, this work challenges the current AI paradigm, establishing that structured knowledge representation is a far more critical factor for dependable IoT automation management than prompt engineering or underlying model architecture.
