TY-形态AU-亚历山大·萨哈罗夫ED-西尔哈维，Radek2021年上半年日期-2021//基于谓词张量化的TI启发式反向链接BT-智能系统中的人工智能SP-573型EP-586PB-施普林格国际出版公司塞浦路斯-查姆一阶逻辑或其片段的AB推理方法天生速度慢。神经网络使快速逼近基态原子的真值成为可能，但结果无法解释，也不一定准确。本文提出了一种神经-符号混合推理方法。它是一个框架，用于将谓词张量技术纳入反向链接及其扩展。通过谓词的张量表示定义了反向链接的最佳优先搜索策略的启发式函数。这些策略通过减少回溯来加速推理。序号：978-3-030-77445-5ID-10.1007/978-3-030-77445-5_52呃-