4

AI: A Modern Approach在讨论一阶逻辑推理时提出了Rete 算法。

然而，我发现的所有对 Rete 算法的描述似乎都使用了没有函数符号的规则。换句话说，规则看起来像

a(X) ∧ b(X, Y) → c(Y)

但不是

a(f(X)) ∧ b(X, Y) → c(f(Y))

（差异可能是根本性的，因为它是 Prolog 和 Datalog 之间的差异，其中只有一个是图灵完备的）

Rete 算法是否仅限于没有函数符号的规则？像 Drools 和 CLIPS 这样的现代规则引擎能处理函数符号吗？

4

2 回答 2

2

在 CLIPS 中，这就是你如何实施规则“对于每个人来说，只有一个父亲，如果一个人的父亲很富有，那么他/她也是”：

(defrule inherited-wealth
   (forall (person ?p)
           (father ?p ?f)
           (not (father ?p ~?f)))
   (person ?p)
   (father ?p ?f)
   (rich ?f)
   =>
   (assert (rich ?p)))
于 2021-01-08T18:49:47.113 回答
0

您的示例的问题是 Drools 对 Java 对象起作用。Father通过将变量定义为实例而不是列表来处理条件“每个人都有一个父亲” 。这将检查简化为只是一个空检查。

在 Drools 中，这是您实现这个简单的英语用例的方式：

对于每个人来说，只有一个父亲，如果一个人的父亲富有，那么他/她也是。

rule "A person has a rich father and is rich"
when
  not( Person(father == null ))

  $person: Person( $father: father,
                            isRich == true )
  Person( isRich == true ) from $father
then
  // Insert consequences here
end

这条规则的右边（结果）将触发每个有钱的人，以及他的父亲有钱的人。not开头的子句验证您工作记忆中的所有 Person 实例都有父亲的实例。每个进入工作记忆的人都会根据他们的个人优点进行评估，即使是多人进入工作记忆。

基本上你会怎么读它：“所有人都有父亲。每个有钱人都有一个有钱的父亲。” 如果您惰性化对象的设计并检查孩子，您可以断言“如果人很富有，那么所有孩子都很富有”。

为了完整起见，此处建模的 Java 类如下所示：

public class Person {
  private Person father;
  private boolean isRich;
  public Person getFather() { return this.father; }
  public Person getIsRich() { return this.isRich; }
  // Setter methods omitted for brevity
}

当然，如果您尝试测试不满足此条件的情况，您当然可以反转它：

rule "A person exists without a father"
when
  exists( Person( father == null) )
then
  // Do something for situation if there's a father-less person
end

rule "A person is rich and their father is not rich"
when
  Person( $father: father != null, 
                   isRich == true )
  Person( isRich == false ) from $father
then
  // Do something for the poor father
end

...当然，您可以将它们组合成一个规则，但这被认为是错误的规则设计。

Drools 是一种业务规则语言。它旨在用于条件和后果的组合——“如果这些条件为真，那么就这样做”。您的场景是一个简单的语句，而不是条件+结果，因此在这里建模有点困难，因为它没有结果。

但是，它确实具有隐式应用于每个输入的好处，而无需指定循环或递归函数。调用上述（正面和负面情况）的方式是创建 Person 实例的集合并将它们一次全部传递到会话中。Drools 将根据输入对每个 Person 实例进行评估。在不调用特殊 Drools 的“刷新”函数之一的情况下对这些实例进行任何更改（update, insert, modify,retract) 在评估规则是否有效时将被忽略。例如，如果我传入一个没有父亲的 Person 实例，然后在我的一个规则中添加一个 Person，从“when”子句的角度来看，我的 Person 仍然是没有父亲的；除非我特别通知 Drools 使用上述功能，否则这些规则会根据完美的输入进行评估。

于 2021-01-08T23:55:20.993 回答