法条与案例链融合的劳动仲裁推理树生成方法及系统与流程

本发明涉及数据处理，具体涉及法条与案例链融合的劳动仲裁推理树生成方法及系统。

背景技术：

1、劳动仲裁规则引擎通常需要将法条文本、案例链文本和规则引擎结构转化为可执行的判断路径，使系统能够按照预设节点和分支调用相应规则。现有技术多采用关键词抽取、类案相似度检索、人工规则树配置或单一路径模板生成等方式，将法条条件和案例事实分别整理后写入规则库。上述处理方式能够形成基本的规则调用入口，但在法条表达、案例事实和规则引擎结构之间缺少统一的中间表示，导致同一证明要素在不同文本中以不同表述出现时，容易被重复建模或错误合并。

2、在实际处理中，法条文本通常强调必需条件、证据条件和例外条件，案例链文本则包含事实描述、证据材料、期间表达、金额表达和既有方向标签。若仅以文本相似度或关键词命中作为连接依据，难以区分法条条件与案例观测之间的约束属性差异，也难以判断某一案例链是能够被吸收进入规则路径，还是应当作为冲突链路隔离。进一步地，当具有相同事实组合的案例链出现不同方向标签时，现有规则树生成方式往往将冲突样本直接并入规则路径，或者整体丢弃相关案例链，导致冲突来源无法被最小化定位，生成的规则路径边界不清。由此形成的推理树数据文件在进入规则引擎时，可能存在节点重复、分支漂移、冲突条件未隔离以及输出路径难以追溯的问题。

技术实现思路

1、本发明提供法条与案例链融合的劳动仲裁推理树生成方法及系统，用于至少解决如何在法条文本和案例链文本存在表达差异及方向冲突的条件下生成满足规则引擎结构约束且可追溯的推理树数据文件的问题。

2、第一方面，本发明提供一种法条与案例链融合的劳动仲裁推理树生成方法，该方法包括：

3、获取请求类型、法条文本、案例链文本及规则引擎结构约束，获得谓词表达和来源锚定记录；加载与请求类型匹配的重写规则，依据来源锚定记录和重写规则，将谓词表达写入等价图并执行等式饱和，得到证明要素槽位；基于证明要素槽位生成法条约束超边和案例观测超边，构建证明要素约束图并确定可吸收链路和冲突候选链路；基于可吸收链路构建形式概念格并确定边界槽位集合；基于法条约束超边、边界槽位集合和案例观测超边，采用反例驱动方式生成候选推理树；根据冲突候选链路提取最小冲突核并生成隔离条件，结合规则引擎结构约束对候选推理树进行最大可满足约束求解，输出推理树数据文件。

4、在一种可能的实现方式中，获得谓词表达和来源锚定记录，包括：对法条文本和案例链文本进行文本片段划分，从文本片段中识别事实表达、证据表达、期间表达、金额表达、例外条件表达和方向标签表达，并将文本片段的位置标识、来源标识和原文哈希分别与识别出的事实表达、证据表达、期间表达、金额表达、例外条件表达和方向标签表达关联，生成谓词表达和来源锚定记录。

5、在一种可能的实现方式中，加载与请求类型匹配的重写规则，依据来源锚定记录和重写规则，将谓词表达写入等价图并执行等式饱和，得到证明要素槽位，包括：按照重写规则确定谓词表达的归一化表达，将归一化表达相同且满足来源锚定记录限定的合并条件的谓词表达写入同一等价类，从同一等价类中确定代表表达，并基于代表表达生成证明要素槽位。

6、在一种可能的实现方式中，基于证明要素槽位生成法条约束超边和案例观测超边，包括：从由法条文本对应的谓词表达生成的证明要素槽位中确定必需槽位、证据槽位、例外槽位和输出端口，生成法条约束超边；从由案例链文本对应的谓词表达生成的证明要素槽位中确定事实槽位、证据槽位、方向标签和来源锚定记录，生成案例观测超边。

7、在一种可能的实现方式中，构建证明要素约束图并确定可吸收链路和冲突候选链路，包括：以证明要素槽位为图节点，以法条约束超边和案例观测超边为超边构建证明要素约束图；在案例观测超边中的事实槽位和证据槽位覆盖法条约束超边中的必需槽位，且未触发例外槽位的情况下，将案例观测超边确定为可吸收链路；在案例观测超边缺失必需槽位、触发例外槽位，或者与具有相同事实槽位集合的其他案例观测超边的方向标签不一致的情况下，将案例观测超边确定为冲突候选链路。

8、在一种可能的实现方式中，以可吸收链路为对象、证明要素槽位为属性构建形式概念格，根据形式概念格中不同方向标签对应的槽位差异确定边界槽位集合，包括：根据可吸收链路与证明要素槽位之间的包含关系生成对象属性关系，基于对象属性关系构建形式概念格；在形式概念格中确定具有不同方向标签的概念之间的槽位差异，并将用于区分不同方向标签的槽位确定为边界槽位集合。

9、在一种可能的实现方式中，基于法条约束超边、边界槽位集合和案例观测超边，采用反例驱动方式生成候选推理树，包括：基于法条约束超边生成推理树约束条件，基于边界槽位集合生成候选槽位节点，将推理树约束条件和候选槽位节点组合为初始推理树；以案例观测超边对初始推理树进行回放，在回放路径与案例观测超边的方向标签不一致的情况下，将案例观测超边确定为反例样本，并依据反例样本对初始推理树的节点或分支进行增加、删除或替换，得到候选推理树。

10、在一种可能的实现方式中，根据冲突候选链路提取最小冲突核并生成隔离条件，包括：将冲突候选链路涉及的证明要素槽位和法条约束超边确定为待检测约束集合，对待检测约束集合进行可满足性检测；在待检测约束集合不可满足的情况下，从待检测约束集合中提取最小约束子集，最小约束子集使候选推理树的约束求解不可满足，且从最小约束子集中删除任一约束后得到的约束子集可满足，将最小约束子集确定为最小冲突核，并根据最小冲突核生成隔离条件。

11、在一种可能的实现方式中，结合规则引擎结构约束对候选推理树进行最大可满足约束求解，输出推理树数据文件，包括：将候选推理树中的候选节点和候选分支编码为布尔变量，将规则引擎结构约束和隔离条件作为硬约束，将案例观测超边的回放一致性作为软约束，基于硬约束和软约束求解得到节点集合和分支集合，并基于节点集合和分支集合生成推理树数据文件。

12、第二方面，本发明提供一种法条与案例链融合的劳动仲裁推理树生成系统，用于实施法条与案例链融合的劳动仲裁推理树生成方法，该系统包括：获取模块，用于获取请求类型、法条文本、案例链文本及规则引擎结构约束，获得谓词表达和来源锚定记录；饱和模块，用于加载与请求类型匹配的重写规则，依据来源锚定记录和重写规则，将谓词表达写入等价图并执行等式饱和，得到证明要素槽位；构图模块，用于基于证明要素槽位生成法条约束超边和案例观测超边，构建证明要素约束图并确定可吸收链路和冲突候选链路；概念模块，用于基于可吸收链路构建形式概念格并确定边界槽位集合；生成模块，用于基于法条约束超边、边界槽位集合和案例观测超边，采用反例驱动方式生成候选推理树；

13、求解模块，用于根据冲突候选链路提取最小冲突核并生成隔离条件，结合规则引擎结构约束对候选推理树进行最大可满足约束求解，输出推理树数据文件。

14、相比于现有技术，本发明的优点及有益效果在于：

15、通过获取请求类型、法条文本、案例链文本及规则引擎结构约束，并生成谓词表达和来源锚定记录，实现了输入文本内容与来源位置之间的绑定，使后续处理能够在可追溯条件下进行表达归并。通过加载与请求类型匹配的重写规则，并依据来源锚定记录和重写规则将谓词表达写入等价图并执行等式饱和，能够将不同文本中的同义或近义表达归一为证明要素槽位，减少同一证明要素被重复建模或错误拆分的问题。通过生成法条约束超边和案例观测超边并构建证明要素约束图，使法条条件和案例链事实能够在同一槽位空间中连接，同时区分可吸收链路和冲突候选链路。通过基于可吸收链路构建形式概念格并确定边界槽位集合，能够从不同方向标签对应的槽位差异中提取候选推理树的分支依据。通过采用反例驱动方式生成候选推理树，并根据冲突候选链路提取最小冲突核和生成隔离条件，使方向标签冲突能够被定位并隔离。通过最大可满足约束求解输出推理树数据文件，使最终结果符合规则引擎结构约束，并保留节点、分支和来源锚定之间的对应关系。