跳到内容

ari9dam/ILPME

存储库文件导航

ILPME公司

ILPME公司是非单调性ILP(感应逻辑编程)从多个不同示例中学习的系统。有关详细信息,请参阅论文:https://arxiv.org/pdf/1802.07966.pdf

运行代码

要从git中运行签出代码并使用Eclpise或任何Java IDE运行,或从此处下载JAR文件:illpme.jar公司

可执行文件具有以下参数:

  • --扣(-c):扣可执行文件的路径。从此处下载所需版本粘附-3.0.5
  • --gringo(-g):指向gringo可执行文件的路径。从此处下载所需版本粘附-3.0.5
  • --source:包含训练数据的目录的路径。目录应包含.sample文件,通常每个训练数据样本对应一个文件;一个或多个包含任务公共知识的.bk文件和一个或更多.m(模式)文件。您可以从这里下载一个示例源文件夹:样品输入.bk文件包含普通的asp程序。.sample和.m文件使用#example、#modeb和#modeh指令,其含义和语法如下所述:xhail自述文件

其余参数是可选的,可以控制搜索算法。假设程序已经找到了解决方案H(H)对于前n个样本,并尝试将解决方案扩展到H’这也超过了n+1个样本。然后,这些参数提供了以下灵活性:

  • --maxLength:这对可以添加的最大文本数设置了限制H(H)基本上H’)-(中的文字数H(H))<=提供的最大长度。dafault值为无穷大。
  • --细化:这限制了H’等待找到。通常,搜索算法会尝试找到所有可能的小时。但是,如果随后指定了--exteriation X,则搜索算法在找到X个H’.
  • --子迭代:查找H’是一种迭代算法,即在每一步都会获取一个部分解并对其进行更新,直到找到足够数量的H’。此选项用于在执行了提供的步骤数时停止搜索。在这种情况下,如果同时指定了--refinement和--sub-iterations,搜索将在两个退出条件之一触发时立即停止。
  • --宽度:搜索算法是一种回溯算法。此选项限制候选部分解决方案池的大小。如果省略,则不会强制执行此类约束。

此参数可以显著提高运行时。因此,最好使用其中一些命令,而不是避免使用样品输入:

java-jar ilpme.jar-c c:\Users\Arindam\Downloads\clipeo-3.0.5-win64\clip.exe-g c:\Users\Arindam\ Downloads\clipeo-3.0.5-win64 \gringo.exe--source“c:\Users \Arindam \Desktop\sample-input”--width 1--exterision 1-Xss1000m-Xmx2048m

桌面上的代码生成以下输出:

...迭代10:#遗传:1#35.sample的子迭代1,队列0正在查找导入。。。35.样品正在分析输入模型数量-2找到1个导入。大小:33->33->35 | 211#子迭代次数:2,发现优化次数:1#子迭代次数:2,发现优化次数:1create(V1,V2):-eobservedAt(“condense”,“v把什么东西变成什么?”,V1,V1),实体(V1)和时间(V2)。create(V1,V2):-eobservedAt(“come”,“what v into something?”,V1,V2),实体(V1),时间(V2)。create(V1,V2):-eobservedAt(“turn”,“某物v变成什么?”,V1,V2),实体(V1),时间(V2)。create(V1,V2):-eobservedAt(“cause”,“what v something?”,V1,V1),doesNotesexists(V1、V2),entity(V1)和time(V2)。create(V1,V2):-eobservedAt(“熔化”,“v将什么转化为?”,V1,V1),实体(V1)和时间(V2)。创建(V1,V2):描述(V1、“水”)、实体观察(“吸收”、“v是什么?”、“沉淀”、V2)、实体(V1)、时间(V2)。create(V1,V2):-eobservedAt(“form”,“what is v?”,V1,V2),实体(V1),时间(V2)。create(V1,V2):-eobservedAt(“become”,“what does something v?”,V1,V2),实体(V1),时间(V2)。create(V1,V2):-eobservedAt(“go”,“what v into something?”,V1,V2),doesNotesexists(V1、V2),entity(V1),time(V2)。create(V1,V2):-eobservedAt(“release”,“某处有什么v?”,V1,V1),实体(V1)和时间(V2)。create(V1,V2):-eobservedAt(“go”,“what v?”,V1,V2),实体(V1),时间(V2)。create(V1,V2):-entityObservation(“侵蚀”,“什么对什么?”,“河流”,V2),description(V1,“山谷”),entity(V1),time(V2)。create(V1,V2):-eobservedAt(“form”,“what does something v?”,V1,V2),实体(V1),时间(V2)。create(V1,V2):-eobservedAt(“fall”,“something v where?”,V1,V1),实体(V1)和时间(V2)。create(V1,V2):实体观察(“push”,“what v?”,“the magma”,V2”),描述(V1、“lava”)、实体(V1)、时间(V2)。最佳覆盖率10当前假设覆盖范围9当前假设大小211队列大小2找到解决方案!时间(分钟):0.180683333333333create(V1,V2):-eobservedAt(“condense”,“v把什么东西变成什么?”,V1,V1),实体(V1)和时间(V2)。create(V1,V2):-eobservedAt(“come”,“what v into something?”,V1,V2),实体(V1),时间(V2)。create(V1,V2):-eobservedAt(“turn”,“把某个v变成什么?”,V1,V1),实体(V1)和时间(V2)。create(V1,V2):-eobservedAt(“cause”,“what v something?”,V1,V1),doesNotesexists(V1、V2),entity(V1)和time(V2)。create(V1,V2):-eobservedAt(“熔化”,“v将什么转化为?”,V1,V1),实体(V1)和时间(V2)。创建(V1,V2):描述(V1、“水”)、实体观察(“吸收”、“v是什么?”、“沉淀”、V2)、实体(V1)、时间(V2)。create(V1,V2):-eobservedAt(“form”,“what is v?”,V1,V2),实体(V1),时间(V2)。create(V1,V2):-eobservedAt(“become”,“what does something v?”,V1,V2),实体(V1),时间(V2)。create(V1,V2):-eobservedAt(“go”,“what v into something?”,V1,V2),doesNotesexists(V1、V2),entity(V1),time(V2)。create(V1,V2):-eobservedAt(“release”,“某处有什么v?”,V1,V1),实体(V1)和时间(V2)。create(V1,V2):-eobservedAt(“go”,“what v?”,V1,V2),实体(V1),时间(V2)。创建(V1,V2):实体观察(“侵蚀”,“什么v某物?”,“河流”,V2,描述(V1、“山谷”),实体(V1),时间(V2)。create(V1,V2):-eobservedAt(“form”,“what does something v?”,V1,V2),实体(V1),时间(V2)。create(V1,V2):-eobservedAt(“fall”,“something v where?”,V1,V1),实体(V1)和时间(V2)。create(V1,V2):实体观察(“push”,“what v?”,“the magma”,V2”),描述(V1、“lava”)、实体(V1)、时间(V2)。

联系人

如果您有任何问题,请在github页面上创建问题。你也可以发电子邮件给我amitra7@asu.edu.

关于

未提供描述、网站或主题。

资源

星星

观察者

叉子

发布

未发布版本

包装

未发布包