基于无线感知反应网络的智能楼宇系统,是物联网技术、计算机技术、控制技术、定位技术和通信技术融入建筑行业的产物,这些先进技术使楼宇内电力、照明、空调、安全防护、监控系统等,实现了管理自动化、通信自动化和办公自动化。智能楼宇系统中,为了灵活面对商业变化,我们引入了规则引擎技术,将控制逻辑以服务规则的方式存贮在规则库中,从而将商业逻辑从程序代码中分离。用户通过添加,更改服务规则实现各种按需的控制功能。系统通过解析控制规则来实现对楼宇的智能控制。随着系统的扩大,控制规则数量急剧升高,规则之间的冲突与规则本身的内容不合理成为不可避免的问题,本文中,我们提出了一套规则验证机制,通过概率分析与表达的方式实现规则的内容异常检测与规则冲突检测。添加时与执行前的分阶段规则验证可以很好的平衡验证质量与速度。并且我们为规则冲突提出了快速冲突解决机制,保证了系统的快速有效执行。与此同时,我们设计了高效的规则执行引擎系统,将最优执行策略嵌入规则编译,事件过滤以及规则匹配过程中。这种方法与现有的验证机制相比,具有了明显的进步性,同时不会带来巨大的系统开销,并且简单易移植,这套验证机制不仅适用于智能楼宇系统,而且未来可应用于所有基于知识库的智能系统。