首页
学习
活动
专区
圈层
工具
发布
    • 综合排序
    • 最热优先
    • 最新优先
    时间不限
  • 来自专栏CreateAMind

    具身认知的神经符号方法

    为了在计算框架中实现这些推理,我们可以利用Clingo的答题集编程,如在相关工作领域[32, 37, 40]中部分探索的那样。 Clingo处理非单调推理和纳入自定义理论(如描述图像模式的那些)的能力使其特别适合实现我们的形式化。 最后,我们的形式化可能在捕捉类比关系方面特别有用,其中概念结构可以映射到多个目标领域。

    8810编辑于 2026-03-11
  • 来自专栏CreateAMind

    意象图式驱动的智能体推理:具身认知的神经符号方法

    为了在计算框架中实现这些推理,我们可以利用Clingo的答题集编程,如在相关工作领域[32, 37, 40]中部分探索的那样。 Clingo处理非单调推理和纳入自定义理论(如描述图像模式的那些)的能力使其特别适合实现我们的形式化。 最后,我们的形式化可能在捕捉类比关系方面特别有用,其中概念结构可以映射到多个目标领域。

    10910编辑于 2026-03-11
  • 来自专栏CreateAMind

    实现抽象视觉推理

    例如,DeepProbLog 使用句子决策图[53]进行推理,它需要为每个查询在 CPU 上构建不同的 SDD, 而 FFNSL 使用的是基于 CPU 的推理器(CLINGO [51])。

    47420编辑于 2023-09-01
  • 来自专栏CreateAMind

    实现抽象视觉推理+代码阅读

    例如,DeepProbLog 使用句子决策图[53]进行推理,它需要为每个查询在 CPU 上构建不同的 SDD, 而 FFNSL 使用的是基于 CPU 的推理器(CLINGO [51])。

    29640编辑于 2023-09-01
领券