如何link离散数学谓词逻辑与java谓词逻辑，形成简单的AI响应java应用程序？
how to link Discrete Maths Predicate LOGIC with java predicate LOGIC, to form simple AI response java Appln?
我已经在 java 中了解了 PREDICATE 和 LAMBDA 表达式，但我不明白如何 link DM 谓词逻辑与这个形成简单的 AI java 应用程序？
In Discrete Mathematics predicate logic we can create functions which can process natural language by making it as a simple regular expression. I'm asking how to write same functions using java lambda and predicate.
Example - ''All of Jane's friends are generous'' = > Regular Expression is "For any X: IF friend(X,jane) THEN generous(X)".
''Jane has at least one friend who is generous'' => "For some X: friend(X,jane) AND generous(X)"
I'm asking how to implement these concept in JAVA?
首先这些不是“正则表达式”。正则表达式非常不同：
现在可以用计算结果为 true 或 false 的 Java 函数的形式来表达谓词。这些函数可以使用 Java lambdas 进行编码。
但是，您的示例中的内容实际上是规则，而不是简单的谓词。要实施规则和基于规则的推导（我猜这是您的最终目标），您实际上需要某种逻辑引擎。这样的事情在Java中是可以实现的，但是如果你使用像Prolog这样的语言，这一切都是免费的。
如果您正在为 Java 寻找在 / 中实现的规则引擎，您可以从此处列出的开源引擎开始：
我已经在 java 中了解了 PREDICATE 和 LAMBDA 表达式，但我不明白如何 link DM 谓词逻辑与这个形成简单的 AI java 应用程序？
In Discrete Mathematics predicate logic we can create functions which can process natural language by making it as a simple regular expression. I'm asking how to write same functions using java lambda and predicate.
Example - ''All of Jane's friends are generous'' = > Regular Expression is "For any X: IF friend(X,jane) THEN generous(X)".
''Jane has at least one friend who is generous'' => "For some X: friend(X,jane) AND generous(X)"
I'm asking how to implement these concept in JAVA?
首先这些不是“正则表达式”。正则表达式非常不同：
现在可以用计算结果为 true 或 false 的 Java 函数的形式来表达谓词。这些函数可以使用 Java lambdas 进行编码。
但是，您的示例中的内容实际上是规则，而不是简单的谓词。要实施规则和基于规则的推导（我猜这是您的最终目标），您实际上需要某种逻辑引擎。这样的事情在Java中是可以实现的，但是如果你使用像Prolog这样的语言，这一切都是免费的。
如果您正在为 Java 寻找在 / 中实现的规则引擎，您可以从此处列出的开源引擎开始：