7

我有一组具有属性的对象和一堆规则，当应用于这组对象时，这些规则提供了这些对象的子集。为了让这更容易理解，我将提供一个具体的例子。

我的对象是人，每个人都有三个属性：原籍国、性别和年龄组（所有属性都是离散的）。我有一堆规则，比如“所有来自美国的男性”，它们与这个更大对象集的子集相对应。

我正在寻找一个现有的 Java“推理引擎”或类似的东西，它能够从规则映射到一个人的子集，或者关于如何创建我自己的建议。我已经阅读了规则引擎，但该术语似乎专门用于将业务规则外部化的专家系统，并且通常不包括任何高级形式的推理。以下是我必须处理的更复杂场景的一些示例：

  1. 我需要规则的结合。因此，当同时出现“包括所有男性”和“排除 10 至 20 岁年龄段的所有美国人”时，我只对美国以外的男性以及美国境内 10 至 20 岁以下的男性感兴趣。 20岁年龄段。

  2. 规则可能有不同的优先级（明确定义）。因此，“排除所有男性”的规则将覆盖“包括所有美国男性”的规则。

  3. 规则可能有冲突。因此，我可以同时设置“包括所有男性”和“排除所有男性”，在这种情况下，必须优先解决问题。

  4. 规则是对称的。所以“包括所有男性”相当于“排除所有女性”。

  5. 规则（或更确切地说是子集）可能具有与之关联的元规则（明确定义）。在应用原始规则或通过推理达到子集的任何情况下，都必须应用这些元规则。因此，如果“排除美国”的元规则附加到“包括所有男性”规则，并且我为引擎提供“排除所有女性”规则，它应该能够推断出“排除所有女性”子集相当于“包括所有男性”子集，因此另外应用“排除美国”规则。

如果没有第 5 项，我很可能可以生活，但我确实需要提到的所有其他属性。我的规则和对象都存储在数据库中，并且可以在任何阶段更新，因此我需要在需要时实例化“推理引擎”并在之后销毁它。

4

6 回答 6

3

Java 有很多嵌入式的类似 Prolog 的 SLD 求解器；我最喜欢的方法是对 Scala 使用 mini-Kanren，因为它很干净，并且允许您使用 Scala 懒惰地处理查询结果，但我没有深入使用它。有关其他选项以及 Ross 的回答，请参阅Embedded Prolog Interpreter/Compiler for Java 。

SLD 求解器可以处理您的所有标准，前提是它们具有 Prolog 具有的一些额外功能：

  1. 规则的结合：基本的 SLD 目标处理；
  2. 规则可能有不同的优先级：Prolog 的切割规则允许表示否定，前提是查询是可判定的；
  3. 规则可能会发生冲突：同样，使用 cut 您可以确保如果满足较高优先级的目标，则不会应用较低优先级的子句。有几种方法可以做到这一点。
  4. 规则是对称的：使用 cut，可轻松确保可判定谓词。
  5. 规则（或更确切地说是子集）可能具有与之关联的元规则（明确定义）：您的示例似乎表明这相当于 4，所以我不确定我是否得到了您所追求的。

SLD 求解器相对于基于描述逻辑的工具的优缺点是：

  1. 编程能力、灵活性：您通常可以找到建模困难的编程解决方案，其中描述逻辑可能需要您重新考虑您的模型。但是，当然没有胶带意味着描述逻辑解决方案迫使你保持清洁，这可能是一个很好的纪律。
  2. 鲁棒性：SLD 求解器是一种非常容易理解的技术，而描述逻辑工具通常距离它们在博士论文中的诞生没有多少步骤。
  3. 缺乏语义工具：描述逻辑与一阶逻辑和模型逻辑有很好的联系，并为您提供了一套非常丰富的技术来推理它们。Prolog 的灵活性通常使这非常困难。

如果您没有描述逻辑方面的特殊专业知识，我建议您使用 SLD 求解器。

于 2010-10-22T09:18:58.603 回答
2

对于您所描述的情况，我认为您将希望使用后向链接，而不是前向链接（像 Drools 这样的 RETE 系统在其默认行为中是前向链接）。

查看tuProlog。易于与 Java 绑定，100% 纯 Java，绝对可以做你想要的推理。您需要对 Prolog 有足够的了解才能描述您的规则集。

Prova还可以进行推理和处理复杂的规则系统。

于 2010-10-19T14:39:00.957 回答
0

对我来说，这听起来很像描述逻辑和知识库。你有概念、角色和个体。

如果你想将你的问题作为基于描述逻辑的推理来展开，你应该很好地建模你的问题并对其执行推理器。

有一些免费的推理器可用，可以在此处找到列表。

但是请注意，这是一种相当复杂但功能强大的方法。

在使用 Java 时，您可能希望特别了解KAON2和DIG 。

于 2010-05-24T14:08:31.770 回答
0

我相信您可以使用某种ID3 算法从对象的初始状态中提取一组规则。我不知道任何具体的 Java 实现，尽管 Wikipedia 指出了从 Ruby 到 C 的不同实现（我不能发布多个超链接 :-)），但这并不是一个难学的算法。

一旦它构建了可以以规则格式表示的决策树，您就可以使用它来查看您的对象属于哪个类别：来自美国的所有男性，所有 10 到 20 岁之间的女性，......以及何时有人更新你在数据库中的对象，你可以重建决策树。

于 2010-06-23T10:26:52.833 回答
0

好吧，这可能是一个愚蠢的答案。但无论如何我都会尝试......你可以使用 BeanShell 来做这样的事情：

  • 创建一个简单的选择器命令（类似于 select(initialSet, paramName, paramValue) ），该命令返回 inicialSet 中的集合元素并匹配您的参数。

  • 创建一些可以帮助您编写漂亮的 BeanShell 脚本的常量。

通过这种方式，您可以将规则编写为简单的脚本和嵌套规则。

所以这

我需要规则的结合。因此，当同时出现“包括所有男性”和“排除 10 至 20 岁年龄段的所有美国人”时，我只对美国以外的男性以及美国境内 10 至 20 岁以下的男性感兴趣。 20岁年龄段。

将变成这样的脚本：

originalSet = getOriginalSet(); //Get all from DB

//elements in originalSet that have gender=male
males = select(originalSet, PARAM.GENDER, GENDER.MALE);

//elements in males that have age in [10,20]
youngMaleGuys = select(males, PARAM.AGE, AGE.10_20);

//Exclude from
males.removeAll(youngMaleGuys);

notYoungUSMaleGuys = select(males, PARAM.COUNTRY, COUNTRY.US);

males.removeAll(notYoungUSMaleGuys);

return resp;

当然，这很糟糕。我现在成功了。但是您可以编写非常好的命令并找到一种方法来使其更具可读性。

不是那么快，但易于维护和阅读（我认为）。而且您不必担心订购

就是这样。我试过。:)

于 2010-09-16T19:48:17.267 回答
0

JBoss DROOLS 是最强大的基于 Java 的生产规则引擎（推理引擎）之一。

http://jboss.org/drools

不过老实说，除非您的应用程序变得更加复杂，否则使用规则引擎是有点矫枉过正。另一方面，如果您的应用程序变得太大并且有太多冲突的规则，那么它将无法提供结果。

如果您可以更好地控制您的客户或问题领域，那么最好完全避免使用推理引擎。

于 2010-09-23T12:27:09.707 回答