这是我参与「第五届青训营」笔记创作活动的第12天！
课程目标
- 理解规则引擎的组成部分及应用场景
- 理解规则引擎的核心原理–编译原理的相关概念
- 设计并实现一个规则引擎- YoungEngine
- 结合之前所学课程，实现一个Web版规则引擎(自行实现)
认识规则引擎
规则引擎的定义
规则引擎是一种嵌入在应用程序中的组件，实现了将业务决策从应用程序代码中分离出来，并使用预定义的语义模块编写业务决策。接受数据输入，解释业务规则，并根据业务规则做出业务决策。
解决开发人员重复编码的问题。业务决策与服务本身解耦，提高服务的可维护性缩短开发路径，提高效率
规则引擎的组成
- 数据输入：支持接受使用预定义的语义编写的规则作为策略集，比如“price>500”。接受业务的数据作为执行过程中的参数.比如价格、标签等
- 规则理解：能够按照预先定义的词法、语法、优先级、运算符等正确理解业务规则所表达的语义
- 规则执行：根据执行时输入的参数对策略集中的规则进行正确的解释和执行。同时对规则执行过程中的数据类型进行检查,确保执行结果正确
规则引擎的应用场景
-
风险对抗：与黑灰产的对抗过程中,策略研发和产品需要能够根据黑灰产特征进行快速识别和对抗。规则引擎作为风控系统的核心，使产研人员能够不断的调整和优化对抗策略，以实现最好的风控识别效果
-
活动策略运营：业务活动的运营需要及时根据用户效果反馈进行运营策略的优化和调整。引入规则引擎后，可以将服务代码与业务运营逻辑解耦，提高运营策略的迭代效率。方便新玩法的探索和效果验证
-
数据分析和清洗：在数据分析系统中使用规则引擎可以便捷的实现对数据进行整理、清洗和转换。数据分析师可以根据不同的需求来自定义数据处理的规则，方便快捷的产出所需要的数据
编译原理基本概念
词法分析
词法分析就是把源代码字符串转换为词法单元(Token)的这个过程
如何识别Token? ——有限自动机
有限自动机就是一个状态机，它的状态数量是有限的。该状态机在任何一个状态，基于输入的牢符．都能做一-个确定的状态转换。
语法分析
语法分析就是在词法分析的基础上，识别表达式的语法结构的过程
抽象语法树
表达式的语法结构可以用树来表示，其每个节点(子树)是一个语法单元，这个单元的构成规则就叫”语法”。每个节点还可以有下级节点。
上下文无关语法
语言句子无需考虑上下文，就可以判断正确性。可以使用巴科斯范式(BNF)来表达
产生式:一个表达式可以由另外已知类型的表达式或者符号推导产生
具体语法定义和规则可参考学习 编译原理学习笔记之上下文无关文法_余生相_的博客-CSDN博客_上下文无关文法
递归下降算法
递归下降算法就是自顶向下构造语法树
不断的对Token进行语法展开(下降)，展开过程中可能会遇到递归的情况
具体原理可参考 递归下降法_很注重数学和821的博客-CSDN博客_递归下降
类型检查
-
类型综合：根据了表达式的类型构造出父表达式的类型。例如，表达式A+B的类型是根据A和B的类型定义的
-
编译时检查&运行时检查：类型检查可以发生在表达式的编译阶段，即在构造语法树的阶段;也可以发生在执行时的阶段
- 编译时:需要提前声明参数的类型，在构建语法树过程中进行类型检查
- 执行时:可以根据执行时的参数输入的值类型，在执行过程中进行类型检查
设计规则引擎
设计目标
设计一个规则引擎，支持特定的词法、运算符、数据类型和优先级。并且支持基于以上预定义语法的规则表达式的编译和执行
词法分析
状态机
语法分析
优先级表达
语法树结构
- 一元运算符:左子树为空，右子树为右操作数
- 二元运算符:左子树为左操作数，右子树为右操作数括号:左子树为空，右子树为内部表达式的AST
语法树执行&类型检查
语法树执行
预先定义好每种操作符的执行逻辑。对抽象语法树进行后续遍历执行，即:
- 先执行左子树,得到左节点的值;
- 再执行右子树，得到有节点的值;
- 最后根据根节点的操作符执行得到根节点的值。
类型检查
检查时机：执行时检查
检查方法：在一个节点的左右子节点执行完成后，分别校验左右子节点的类型是否符合对应操作符的类型检查预设规则
- '>'符号要求左右子节点的值都存在且为int或float
- '!'符号要求左节点为空且右节点的值为bool
总结
这节课主要学习了规则引擎和编译原理的概念，设计一个规则引擎需要用到编译原理中的很多知识，比如词法分析、语法分析和类型检查等。这一方面的知识还是有很大欠缺，希望通过后续不断地学习来实现Web规则引擎的设计。
