Question

问题

考虑这些课程：

class BookCase { ArrayList<Book> books }

class Book { ArrayList<Page> pages }

class Page { String color }

考虑到这种自然语言规则：

当书架中的所有页面都是黑色时，请执行A

琐碎的方法是嵌套forall子句，但在Drools中不能这样做，因为forall子句只允许模式（不是条件元素，这是一个forall子句）！

我如何在Drools中表达这一点？

Answer 1

这很接近，但不是很正确：

rule "all black pages"
when
  BookCase( $books: books )
  $book: Book( $pages: pages ) from $books
  not Page( color != "black" ) from $pages
then
  System.out.println( "doing A" );
end

问题是这会为所有页面都是黑色的每本书启动一次。为了评估所有书籍中的所有页面，可以组装所有页面的列表并确保它们都是黑色的：

rule "all black pages, take 2" when BookCase( $books: books ) $pages: ArrayList() from accumulate( Book( $ps: pages ) from $books, init( ArrayList list = new ArrayList(); ), action( list.addAll( $ps ); ), result( list ) ) not Page( color != "black" ) from $pages then System.out.println( "doing A" ); end

Answer 2

如果您不使用forall(p1 p2 p3...)，但equivalent not(p1 and not(and p2 p3...))，您实际上可以嵌套多个forall。然后，为了防止单个书籍和页面触发规则，在那之间放一个exists。

rule 'all pages in bookcase are black'
    when
        (and
        $bookCase: BookCase()
            (not (exists (and
                $book: Book() from $bookCase.books
                not( (and
                    not( (exists (and
                        $page: Page() from $book.pages
                        not( (and
                            // slightly different constraint than I used in question
                            eval($page.color == $book.color)
                        ) )
                    ) ) )
                ) )
            ) ) )
        )
    then
        ...
end

与使用accumulate创建所有页面的平面列表不同，这将保持$page的上下文，也就是说，当页面与其父书一起放入约束时，如示例中所示上面，在这个解决方案中，Drools仍然“知道”父书是什么。

Answer 3

在我写这个问题时，我想我自己找到了答案：

BookCase($caseContents : books)
$bookWithOnlyBlackPages : ArrayList<Page>() from $caseContents
forall ( $page : Page(this memberOf $bookWithOnlyBlackPages)
                 Page(this == $page,
                      color == "black") )
forall ( $bookInCase : ArrayList<Page>(this memberOf $caseContents)
                       ArrayList<Page>(this == $bookInCase,
                                       this == $bookWithOnlyBlackPages) )

如何在Drools中嵌套foralls？

问题

3 个答案: