问题标签 [inductive-logic-programming]

我试图通过观察使用归纳逻辑编程的人来学习拼图和棋盘游戏的规则。我使用 PROGOL，它是一个用 Prolog 编写的 ILP 程序。虽然对于某些游戏，它能够正确地给我规则，但对于其他一些游戏，由于缺乏反面例子，它不能。

例如，在河内塔谜题中，规则之一是较大的块不会放在较小的块之上。这是一个消极的规则。但是由于在训练期间没有发生此事件，因此没有可以从中学习此规则的明确负面示例。

简而言之，如何在 ILP 中生成负面示例？

我正在使用使用归纳逻辑编程的 ACE 数据挖掘包https://dtai.cs.kuleuven.be/ACE/doc/ACEuser-1.2.16.pdf 。

我正在使用 WARMR 来查找频繁的查询。

在手册中它有一个命令'generate_arff'，但这个命令似乎不在我的版本中。（Windows）。通过在 ACE 中输入帮助，它会列出命令“generate_arff/2”，但帮助没有给出任何指示参数应该是什么（可能是输入文件和输出文件）我无法猜测它是如何工作的。有人知道怎么做吗？

我试图让 Aleph 工作并得出一个简单的理论：祖父母（X，Z）：-父亲（X，Y），父亲（Y，Z）。但是我得到了一个原子（例如祖父母（john，johnJuniorJunior））。希望有人可以提供帮助。请注意，SWI 的 Aleph 使用单个文件作为输入。干杯/JC

我的程序：

我的输出：

你能推荐一个归纳逻辑编程系统吗？最好使用 Prolog 语法。是否有系统可以进行谓词发明和学习递归规则？我对 Aleph 和 Prolog 有点熟悉。什么是最先进的？

坦克！JCR

有一个视频，其中 minikanren 用于从数据到程序。也就是说，给定数据，它会生成生成数据的程序。

那么是否可以生成eval这样的通用函数呢？必须将哪些数据传递给它？

我试图通过使用带有 SWI-Prolog ( SWI-Prolog Pack )的Aleph归纳逻辑编程系统来获得理论

我的代码是

我想要的是：

但是，我得到的结果是：

太奇怪了，我想要一个通用的理论，但是 SWI-Prolog 只是给了我所有的规则。

我如何通过 n 中的强归纳证明对于所有 n ≥ 1，Exp (n) 的乘法次数≤ 2 log2 n。

ps: Exp(n) = 2^n

我正在努力提出一个列表子列表的概念，它是通过删除列表中的元素创建的（以便保留顺序）。我需要提出一个归纳命题来确定 l1 是否是 l2 的子列表。

至今：

1. 我知道空列表是所有列表的子列表。
2. 所有列表都是它们自己的子列表。
3. 如果已知 l1 是 l2 的子列表，则将相同列表附加到 l1 和 l2 的头部或尾部的列表将导致前者成为后者的子列表
4. 现在是困难的部分。如何提供证据证明 ["x";"y"] 之类的列表是 ["a";"x";"z";"y"] 的子列表？

语法类似于 Inductive Sublist {X : Type} : list X -> list X -> Prop := ..

有人可以帮我吗？

迄今为止，HList 中的“zip”函数的工作方式与 scala 中的 zip 函数或无类型列表类似。它将丢弃较长操作数中的元素以符合较短的元素：

HList 没有等效或类似于“zipAll”函数的操作，如果它太短而无法与另一个操作数一起压缩，则它需要 2 个额外的参数来表示每个操作数的占位符。

是否可以为 shapeless.HList 或 scala 3 Tuple 执行此操作？实现这一点的简短方法是什么？

非常感谢您的意见。