Fatal编程技术网
  • java/
  • 将一阶逻辑转换为子句格式-Java

将一阶逻辑转换为子句格式-Java

java artificial-intelligence

将一阶逻辑转换为子句格式-Java,java,artificial-intelligence,first-order-logic,Java,Artificial Intelligence,First Order Logic,我正在尝试实现一个函数，它接受FOL语句并以子句形式返回一个等价的语句。有没有关于链接和示例的想法，因为我目前找不到。尝试从中进一步开发。祝你好运

我正在尝试实现一个函数，它接受FOL语句并以子句形式返回一个等价的语句。有没有关于链接和示例的想法，因为我目前找不到。

尝试从中进一步开发。祝你好运