SymbolLKG: Towards Verifiable Logical Reasoning via Logical Knowledge Graph and Symbolic Solvers

• 类型：arxiv
• 标识：2608.26836
• 链接：http://arxiv.org/abs/2608.26836v1
• 主分类：rag
• 形态：method
• 被引：0
• 被引来源：Semantic Scholar + OpenAlex
• S2被引：0
• OpenAlex被引：0
• 影响力被引：0
• TLDR：A Neuro-Symbolic architecture that integrates a Logical Knowledge Graph (LKG) with dynamic solver routing, and introduces an ontology-based LKG that treats logical rules and constraints as first-class topological nodes, enabling explicit modeling of dependencies extracted from text.
• OpenAlex ID：W7204569399
• OpenAlex DOI：10.48550/arxiv.2608.26836
• DOI：10.48550/arxiv.2608.26836
• DOI来源：OpenAlex
• 开放获取：green
• 开放获取链接：https://arxiv.org/pdf/2608.26836
• OpenAlex更新：2026-09-02
• 待LLM分类：否
• 标题中文：SymbolLKG：通过逻辑知识图谱与符号求解器实现可验证的逻辑推理
• TLDR中文：一种神经符号架构，将逻辑知识图谱（LKG）与动态求解器路由相结合，并引入基于本体的 LKG，将逻辑规则和约束视为一等拓扑节点，从而支持对从文本中抽取的依赖关系进行显式建模。
• 来源文件：
• /inbox/tom/_candidates/2026-09-01-rag-retrieval-reranking-candidates.json
• [OpenAlex backfill]
• [S2 enrich]