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