★ 3
研究提出 Research Progress Graph 建模真实研究轨迹
论文指出已发表论文中的想法很少是项目初始想法，而现有 LLM 研究智能体丢弃了连接各版本想法的证据与推理。作者提出 Research Progress Graph（RPG），以带类型的研究状态与认知转移记录想法演化，并对比 35 个研究智能体发现均为不完整 RPG，主张智能体应预测下一研究状态而非…
arXiv cs.AI12 天前
#知识表示
共 6 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 2
论文提出路径方法判定论辩语义一致性条件
论文研究抽象论辩框架中优先语义与稳定语义一致的结构条件，基于攻击图中的路径集合与诱导二元关系给出通用判据。该条件严格推广了 Dung 有限争议性与 SCC 对称性两大经典准则，并引入两族无限路径集生成一致性条件。结果适用于有限与无限论辩框架，同时给出稳定外延存在的充分条件。
arXiv cs.AI10 天前
★ 2
Berkan 博士发布本体语言模型 OLM
纽约 Berkan 博士宣布推出本体语言模型（OLM），将本体论与 LLM 结合，号称实现确定性 AI 进展。该方案试图提升大模型推理的可靠性与可解释性。
Hacker News – AI24 天前
★ 2
Wiki式LLM索引提升机器学习课程学习效果
论文对比了向量RAG与LLM编译wiki两种知识表示在机器学习课程语料上的效果。在59个问题上，两者对单事实问题表现相当，但在跨单元概念链接问题上，编译wiki保持高准确率与100%溯源，而检索方法得分较低且仅64%有据可依。研究表明语料在摄入时的结构化方式可能比查询时的检索量更重要。
arXiv cs.AI40 天前
★ 2
自演示提升LLM模式本体映射效果
论文针对企业知识表示中异构关系数据库向统一本体映射的难题，指出直接使用一次性提示或多阶段流水线的LLM表现不佳。作者提出自演示驱动方法，结合神经符号任务分解与自动生成模式引导的依赖感知演示。在RODI基准三个最难场景上F1提升25个百分点，达到当前最优。
arXiv cs.AI48 天前
★ 1
声明式知识表示改进 Skat 纸牌游戏信念状态建模
论文提出声明式信念状态建模方法，将顶尖 Skat 玩家的手写推理规则自动提取为领域特定语言，并通过往返代码生成验证行为一致，还修正了原引擎的三个缺陷。引入基数约束与置信参数后，自对弈评测显示声明式引擎胜率与得分均优于原手写引擎。
arXiv cs.AI3 天前