標簽[inductive-logic-programming]

[英]Found a constructor of inductive type bool while a constructor of list is expected

我有以下問題：定義函數值：list bool -> nat 返回由布爾值列表（二進制數到十進制數）表示的值。例如，值 [false;true;false;true] = 10。我這樣寫：但我得到這個錯誤：“找到了一個歸納類型 bool 的構造函數，而預期是一個列表的構造函數。” 我已經嘗試 ...

Is it possible to write a "zipAll" function for scala inductive list (shapeless.HList in scala 2 or Tuple in scala 3)?

[英]Is it possible to write a "zipAll" function for scala inductive list (shapeless.HList in scala 2 or Tuple in scala 3)?

迄今為止，HList 中的“zip” function 的工作方式類似於 zip function 或 ZC26213Z777 中的無類型列表。它將丟棄較長操作數中的元素以符合較短的元素：沒有與“zipAll”function 等效或類似的 HList 操作，如果它太短而無法與另一個操作數一起 ...

Coq 中子列表的歸納命題

[英]Inductive proposition for sublists in Coq

我正在努力想出一個列表子列表的概念，它是通過刪除列表中的元素來創建的（以便保留順序）。我需要提出一個歸納命題來決定 l1 是否是 l2 的子列表。迄今為止：我知道空列表是所有列表的子列表。所有列表都是它們自己的子列表。如果已知 l1 是 l2 的子列表，則將相同列表附加到 ...

我如何證明以下算法？

[英]how can i prove the following algorithm?

Exp(n) If n = 0 Return 1 End If If n%2==0 temp = Exp(n/2) Return temp × temp Else //n is odd temp = Exp((n−1)/2) Return temp × temp × 2 End if ...

如何通過 SWI-Prolog 使用 Aleph 獲得理論

[英]How to get a theory by using Aleph with SWI-Prolog

我試圖通過使用帶有 SWI-Prolog ( SWI-Prolog Pack ) 的Aleph歸納邏輯編程系統來獲得理論我的代碼是我想要的是：然而，我得到的結果是：太奇怪了，我想要一個一般的理論，但 SWI-Prolog 只是給了我所有的規則。 ...

沒有在 Aleph 中為 SWI Prolog 提供理論

[英]Not getting a theory in Aleph for SWI Prolog

我試圖讓 Aleph 工作並得出一個簡單的理論：祖父母（X，Z）：-父親（X，Y），父親（Y，Z）。但是我得到了一個原子（例如祖父母（john，johnJuniorJunior））。希望有人能幫忙。請注意，Aleph for SWI 使用單個文件作為輸入。干杯/JC 我的程序：我的輸 ...

如何從ACE生成ARFF文件

[英]How to generate arff file from ACE

我正在使用使用歸納邏輯編程的ACE數據挖掘程序包https://dtai.cs.kuleuven.be/ACE/doc/ACEuser-1.2.16.pdf 。我正在使用WARMR查找常見查詢。在手冊中，它有一個命令'generate_arff'，但該命令似乎不是我的版本。（Wi ...

如何在歸納邏輯編程中生成否定示例？

[英]How to generate negative examples in inductive logic programming?

我正在嘗試通過歸納邏輯編程來觀察人類，從而學習謎題和棋盤游戲的規則。我使用PROGOL，這是用Prolog編寫的ILP程序。雖然對於某些游戲，它可以正確地給我規則，但對於另一些游戲，則不是由於缺少負面示例。例如，在河內塔拼圖中，規則之一是，較大的塊將不會放置在較小的塊的頂部。 ...