为了在计算框架中实现这些推理,我们可以利用Clingo的答题集编程,如在相关工作领域[32, 37, 40]中部分探索的那样。 Clingo处理非单调推理和纳入自定义理论(如描述图像模式的那些)的能力使其特别适合实现我们的形式化。 最后,我们的形式化可能在捕捉类比关系方面特别有用,其中概念结构可以映射到多个目标领域。
为了在计算框架中实现这些推理,我们可以利用Clingo的答题集编程,如在相关工作领域[32, 37, 40]中部分探索的那样。 Clingo处理非单调推理和纳入自定义理论(如描述图像模式的那些)的能力使其特别适合实现我们的形式化。 最后,我们的形式化可能在捕捉类比关系方面特别有用,其中概念结构可以映射到多个目标领域。
例如,DeepProbLog 使用句子决策图[53]进行推理,它需要为每个查询在 CPU 上构建不同的 SDD, 而 FFNSL 使用的是基于 CPU 的推理器(CLINGO [51])。
例如,DeepProbLog 使用句子决策图[53]进行推理,它需要为每个查询在 CPU 上构建不同的 SDD, 而 FFNSL 使用的是基于 CPU 的推理器(CLINGO [51])。