arXiv:2502.12919cs.LG2025-02被引 3

提出概率符号感知机制,实现归纳与演绎的高效平滑转换。

A Smooth Transition Between Induction and Deduction: Fast Abductive Learning Based on Probabilistic Symbol Perception

  • 用概率作为桥梁,构建连续到离散的高效数据结构
  • 实验显示计算成本显著降低,保持推理正确性不变
  • 适合需要高效逻辑推理的AI系统开发者

归纳推理与符号演绎之间的转换是提高归纳式学习(ABL)效率的关键瓶颈,导致最坏情况下计算开销过高。本文指出以往优化方法无效的三个原因:未充分利用预测结果、符号间关系及成功推理过程的经验,造成知识库冗余计算。为此,提出概率符号感知(PSP)算法,通过概率作为桥梁,实现从连续概率序列到离散布尔序列的低复杂度转换,使归纳与演绎之间过渡更平滑,同时保持原有推理正确性。实验验证了该方法在多个场景下的有效性。

原文摘要 · Abstract (English)

Abductive learning (ABL) that integrates strengths of machine learning and logical reasoning to improve the learning generalization, has been recently shown effective. However, its efficiency is affected by the transition between numerical induction and symbolical deduction, leading to high computational costs in the worst-case scenario. Efforts on this issue remain to be limited. In this paper, we identified three reasons why previous optimization algorithms for ABL were not effective: insufficient utilization of prediction, symbol relationships, and accumulated experience in successful abductive processes, resulting in redundant calculations to the knowledge base. To address these challenges, we introduce an optimization algorithm named as Probabilistic Symbol Perception (PSP), which makes a smooth transition between induction and deduction and keeps the correctness of ABL unchanged. We leverage probability as a bridge and present an efficient data structure, achieving the transfer from a continuous probability sequence to discrete Boolean sequences with low computational complexity. Experiments demonstrate the promising results.

归纳学习逻辑推理概率建模

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。