开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >Drools如何用RETE制作定理证明器？

问Drools如何用RETE制作定理证明器？
EN

Stack Overflow用户

提问于 2013-08-28 18:49:34

回答 1查看 69关注 0票数 0

我们需要一个系统来证明定理，比如：

(A+B)。(C+D)+E+C。(E+D)= A.C + A.D + B.C + B.D +E+ C.E + C.D

这些可能更加复杂。

如何使用Drools为此编写程序...

尝试使用更新修改方法创建搜索树，但不知何故不起作用。

EN

回答 1

Stack Overflow用户

发布于 2013-08-28 22:14:57

与任何其他Drools项目一样：

Drools确定您的requirements

Define您的业务规则每条规则用一句简短的人类可读的简单句子确定您的事实将是什么

在Drools

中实现

票数 0

EN

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/18485828

复制

相似问题