[发明专利]一种基于函词子式推理的触发式规则检测方法

权利要求书

1.一种基于函词子式推理的触发式规则检测方法，其特征为：所述的基于函词子式推理的触发式规则检测方法将规则按照函词进行拆分，将规则推理转化为特殊子式更新和规则整体推理两个步骤，规避复用子式的重复计算；所述的基于函词子式推理的触发式规则检测方法包含规则检测与解析、规则实时检测这两个主要阶段的全生命周期规则检测使用流程。

2.根据权利要求1，所述的基于函词子式推理的触发式规则检测方法，其特征为：针对于规则检查与解析阶段，规则检查需要验证各特殊函词与常用运算符的输入个数、类型匹配问题，并将所有书写错误汇总后再进行报告；规则解析必须在通过规则检查后，结果为可直接调用的规则逻辑代码、所有函词子式汇总形成的进程缓存区初始化结构、以及函词子式与参数、与规则间的触发映射。

3.根据权利要求1，所述的基于函词子式推理的触发式规则检测方法，其特征为：针对于规则实时检测阶段，规则整体检测结果由函词子式的推理结果转变触发更新；函词子式则只由遥测数据包带来的参数更新或无效参数缓存数据的清理直接或间接触发更新。

4.根据权利要求3，所述的基于函词子式推理的触发式规则检测方法，其特征为：针对于函词子式的触发更新，更新后的中间量结果将储存在子式解析时申请的进程缓存域内，规则推理将直接调用函词子式的中间量进行后续推理。

5.根据权利要求3，所述的基于函词子式推理的触发式规则检测方法，其特征为：针对于函词子式的缓存清理，实时检测必须通过拥有规则推理外的额外线程，用于定时清理进程缓存域中已经失效的过期缓存数据，被实际进行缓存清理操作的函词子式会进一步触发关联规则推理结果的更新。