jjzjj

java - 推理引擎根据内部规则计算匹配集

coder 2024-03-20 原文

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

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

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

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

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

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

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

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

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

最佳答案

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

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

  1. 规则的结合:基本 SLD 目标处理；
  2. 规则可能有不同的优先级:Prolog 的 cut 规则允许表示否定，前提是查询是可判定的；
  3. 规则可能会相互冲突:同样，使用 cut 可以确保在满足较高优先级目标的情况下不应用较低优先级的子句。有几种方法可以做到这一点。
  4. 规则是对称的:使用 cut，对于可判定谓词，这很容易得到保证。
  5. 规则(或更确切地说是子集)可能具有与其关联的元规则(明确定义):您的示例似乎表明这等同于 4，因此我不确定我是否明白您的意思。

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

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

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

关于java - 推理引擎根据内部规则计算匹配集，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/2897484/

java推理男性的lilogicrulesrule-engineinference-engine

有关java - 推理引擎根据内部规则计算匹配集的更多相关文章

  1. ruby 正则表达式 - 如何替换字符串中匹配项的第 n 个实例 - 2

    在我的应用程序中，我需要能够找到所有数字子字符串，然后扫描每个子字符串，找到第一个匹配范围(例如5到15之间)的子字符串，并将该实例替换为另一个字符串“X”。我的测试字符串s="1foo100bar10gee1"我的初始模式是1个或多个数字的任何字符串，例如，re=Regexp.new(/\d+/)matches=s.scan(re)给出["1","100","10","1"]如果我想用“X”替换第N个匹配项，并且只替换第N个匹配项，我该怎么做？例如，如果我想替换第三个匹配项“10”(匹配项[2])，我不能只说s[matches[2]]="X"因为它做了两次替换“1fooX0barXg

  2. ruby - 匹配未转义的平衡定界符对 - 2

    如何匹配未被反斜杠转义的平衡定界符对(其本身未被反斜杠转义)(无需考虑嵌套)？例如对于反引号，我试过了，但是转义的反引号没有像转义那样工作。regex=/(?!$1:"how\\"#expected"how\\`are"上面的正则表达式不考虑由反斜杠转义并位于反引号前面的反斜杠，但我愿意考虑。StackOverflow如何做到这一点？这样做的目的并不复杂。我有文档文本，其中包括内联代码的反引号，就像StackOverflow一样，我想在HTML文件中显示它，内联代码用一些spanMaterial装饰。不会有嵌套，但转义反引号或转义反斜杠可能出现在任何地方。

  3. ruby-on-rails - 使用一系列等级计算字母等级 - 2

    这里是Ruby新手。完成一些练习后碰壁了。练习:计算一系列成绩的字母等级创建一个方法get_grade来接受测试分数数组。数组中的每个分数应介于0和100之间，其中100是最大分数。计算平均分并将字母等级作为字符串返回，即“A”、“B”、“C”、“D”、“E”或“F”。我一直返回错误:avg.rb:1:syntaxerror,unexpectedtLBRACK,expecting')'defget_grade([100,90,80])^avg.rb:1:syntaxerror,unexpected')',expecting$end这是我目前所拥有的。我想坚持使用下面的方法或.join，

  4. ruby - 在没有 sass 引擎的情况下使用 sass 颜色函数 - 2

    我想在一个没有Sass引擎的类中使用Sass颜色函数。我已经在项目中使用了sassgem，所以我认为搭载会像以下一样简单:classRectangleincludeSass::Script::FunctionsdefcolorSass::Script::Color.new([0x82,0x39,0x06])enddefrender#hamlengineexecutedwithcontextofself#sothatwithintemlateicouldcall#%stop{offset:'0%',stop:{color:lighten(color)}}endend更新:参见上面的#re

  5. java - 等价于 Java 中的 Ruby Hash - 2

    我真的很习惯使用Ruby编写以下代码:my_hash={}my_hash['test']=1Java中对应的数据结构是什么？ 最佳答案 HashMapmap=newHashMap();map.put("test",1);我假设？ 关于java-等价于Java中的RubyHash，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/22737685/

  6. ruby - 如何根据特征实现 FactoryGirl 的条件行为 - 2

    我有一个用户工厂。我希望默认情况下确认用户。但是鉴于unconfirmed特征，我不希望它们被确认。虽然我有一个基于实现细节而不是抽象的工作实现，但我想知道如何正确地做到这一点。factory:userdoafter(:create)do|user,evaluator|#unwantedimplementationdetailshereunlessFactoryGirl.factories[:user].defined_traits.map(&:name).include?(:unconfirmed)user.confirm!endendtrait:unconfirmeddoenden

  7. ruby - 匹配大写字母并用后续字母填充，直到一定的字符串长度 - 2

    我有一个驼峰式字符串，例如:JustAString。我想按照以下规则形成长度为4的字符串:抓取所有大写字母；如果超过4个大写字母，只保留前4个；如果少于4个大写字母，则将最后大写字母后的字母大写并添加字母，直到长度变为4。以下是可能发生的3种情况:ThisIsMyString将产生TIMS(大写字母)；ThisIsOneVeryLongString将产生TIOV(前4个大写字母)；MyString将生成MSTR(大写字母+tr大写)。我设法用这个片段解决了前两种情况:str.scan(/[A-Z]/).first(4).join但是，我不太确定如何最好地修改上面的代码片段以处理最后一种

  8. java - 从 JRuby 调用 Java 类的问题 - 2

    我正在尝试使用boilerpipe来自JRuby。我看过guide从JRuby调用Java，并成功地将它与另一个Java包一起使用，但无法弄清楚为什么同样的东西不能用于boilerpipe。我正在尝试基本上从JRuby中执行与此Java等效的操作:URLurl=newURL("http://www.example.com/some-location/index.html");Stringtext=ArticleExtractor.INSTANCE.getText(url);在JRuby中试过这个:require'java'url=java.net.URL.new("http://www

  9. ruby-on-rails - Rails 3，嵌套资源，没有路由匹配 [PUT] - 2

    我真的为这个而疯狂。我一直在搜索答案并尝试我找到的所有内容，包括相关问题和stackoverflow上的答案，但仍然无法正常工作。我正在使用嵌套资源，但无法使表单正常工作。我总是遇到错误，例如没有路线匹配[PUT]"/galleries/1/photos"表格在这里:/galleries/1/photos/1/edit路线.rbresources:galleriesdoresources:photosendresources:galleriesresources:photos照片Controller.rbdefnew@gallery=Gallery.find(params[:galle

  10. ruby-on-rails - Rails 中的推荐引擎 - 2

    我想为我的Rails网络应用程序提供推荐功能。特别是，我想向新注册的用户推荐他可能想要关注的其他用户。Rails中是否有用于此目的的引擎/gem？如果没有，我应该从哪里开始构建它？谢谢。 最佳答案 有Coletivogemhttps://github.com/diogenes/coletivo我试了一下。在MySQL上运行。Neo4jhttp://neo4j.org真的很容易实现一个“跟随谁”。事实上，大多数展示其能力的样本都涉及“跟随谁”。快速提示-只有在JRuby上运行时，Neo4j.rb才会很酷。如果不是-使用Neograph

随机推荐