一种针对物联网智能系统的规则冲突检测方法杨波1,2,3郭浩然2冯俊辉2李戈4,5金芝4,51（北京林业大学信息学院北京100083）2（北方工业大学信息学院北京100144）3（国家林业和草原局林业智能信息处理工程技术研究中心（北京林业大学）北京100083）4（北京大学计算机学院北京100871）5（高可信软件技术教育部重点实验室（北京大学）北京100871）（yangbo@bjfu.edu.cn）ARuleConflictDetectionApproachforIntelligentSystemofInternetofThingsYangBo1,2,3,GuoHaoran2,FengJunhui2,LiGe4,5,andJinZhi4,51（SchoolofInformationScience&Technology,BeijingForestryUniversity,Beijing100083）2（SchoolofInformationScience&Technology,NorthChinaUniversityofTechnology,Beijing100144）3（EngineeringResearchCenterforForestryOrientedIntelligentInformationProcessing,NationalForestryandGrasslandAdministration(BeijingForestryUniversity),Beijing100083）4（SchoolofComputerScience,PekingUniversity,Beijing100871）5（KeyLaboratoryofHighConfidenceSoftwareTechnologies(PekingUniversity),MinistryofEducation,Beijing100871）AbstractThecoreoftheInternetofthings(IoT)systemarchitectureisthelogiccontroller.Thelogiccontrollerusesrulestocontrolthebusinesslogic,whichreducesthedevelopmentandmaintenancecostsoftheIoTsystemandimprovestheflexibilityoftheIoTdevices.AsthescaleoftheIoTsystemexpands,therelationshipbetweentherulesbecomescomplicated.Thismaycauseruleconflicts.Inresponsetothisproblem,someresearchershaveproposedsomedetectionmethodsforruleconflicts.However,theexistingruleconflictdetectionmethodsstillhavesomeproblems,suchasincompleteanalysisofruleconflicttypesandlowaccuracyofdetectionresults.Forthesereasons,aformalruleconflictdetection(FRCD)methodforthecontrollogicoftheIoTintelligentsystemisproposed.Thismethodformalizesthestructureofrules,anddefinesrulesasacombinationofcontrolsubjects,actions,triggerconditions,andsymbols.Thenaccordingtotheinfluenceoftherulesonthesystemandthestructuralcharacteristicsoftherules,7typesofruleconflictsaresummarized.Finally,analgorithmforruleconflictdetectionisdesigned,andthedetailedprocessofruleconflictdetectionisint...
