Abstract:The core of the Internet of things（IoT） system architecture is the logic controller. The logic controller uses rules to control the business logic, which reduces the development and maintenance costs of the IoT system and improves the flexibility of the IoT devices. As the scale of the IoT system expands, the relationship between the rules becomes complicated. This may cause rule conflicts. In response to this problem, some researchers have proposed some detection methods for rule conflicts. However, the existing rule conflict detection methods still have some problems, such as incomplete analysis of rule conflict types and low accuracy of detection results. For these reasons, a formal rule conflict detection（FRCD） method for the control logic of the IoT intelligent system is proposed. This method formalizes the structure of rules, and defines rules as a combination of control subjects, actions, trigger conditions, and symbols. Then according to the influence of the rules on the system and the structural characteristics of the rules, 7 types of rule conflicts are summarized. Finally, an algorithm for rule conflict detection is designed, and the detailed process of rule conflict detection is introduced. We carry out experiments on two IoT systems and compare them with three typical IoT rule conflict detection methods. These three methods are the formal rule model conflict detection method based user, triggers, environment entities, and actuators（UTEA）, semantic web-based policy interaction detection with rules（SPIDER）, identifying requirements interactions using semiformal（IRIS）. The experimental results show that the formal rule conflict detection method in this paper is more effective.

A scalable rule engine system for trigger-action application in large-scale IoT environment

Reducing End-to-End Latency of Trigger-Action IoT Programs on Containerized Edge Platforms

An Adaptable IoT Rule Engine Framework for Dataflow Monitoring and Control Strategies

A rule-based decision subsystem design approach for intelligent robot

Ruledger: Ensuring Execution Integrity in Trigger-Action IoT Platforms

Improved Rule Engine Based on RETE Algorithm for Smart-Home Environment

A Rule Conflict Detection Approach for Intelligent System of Internet of Things

Design of Configurable Rule Engine for Information Filtering

AutoIoT: Automated IoT Platform Using Large Language Models

Proactive Detection of Physical Inter-rule Vulnerabilities in IoT Services Using a Deep Learning Approach

A distributed architecture for rule engine to deal with big data

Acquisitional Rule-based Engine for Discovering Internet-of-Thing Devices.

IoTRemedy: Non-Intrusive Rule Decomposition for User Privacy in Modern IoT Platforms

The Service Computational Resource Management Strategy Based On Edge-Cloud Collaboration

A Distributed Rule Engine for Streaming Big Data

SRE: Semantic Rules Engine for the Industrial Internet-Of-Things Gateways

JAVA Rules Engines Based on Rete Algorithm

Rule Optimization for Real-Time Query Service in Software-Defined Internet of Vehicles

Learning to Recommend Trigger-Action Rules for End-User Development

CCDF-TAP: A Context-Aware Conflict Detection Framework for IoT Trigger-Action Programming with Graph Neural Network

Design and Implementation of System Generator Based on Rule Engine