最小化规则管理系统中的规则集

摘要

本发明涉及一种用于最小化规则集的方法、系统和计算机程序产品，包括：构建规则集应用图，该规则集应用图描述包括动作和情形的规则集，其中每个规则定义针对一个或多个情形的动作；针对每个规则构建规则违反图，该规则违反图描述没有为规则定义的动作和情形；以及通过探测规则集中足够用于再生成原始规则集的行为的候选子集，来确定规则子集，该规则子集包括缩减数量的规则，具有与规则集应用图相同的动作和情形的集合。