arXiv:2608.02505cs.AIcs.CV2026-08被引 2

无需身体互动,也能通过抽象表示生成科学假说。

Abduction Without a Body? Representational Grounding and the Abduction Loop for Scientific Hypothesis Generation

论文配图:Abduction Without a Body? Representational Grounding and the Abduction Loop for Scientific Hypothesis Generation
图 1 · 摘自论文原文
  • 用表示接地和规范空间发现跨领域结构等价性
  • 模型从图中推导出引力记忆传输与弱引力透镜的数学等价性
  • 适合做跨学科科学发现的自动化工具研究者

科学中的溯因推理是否必须依赖持续的感官运动耦合?我们主张:在线实体化并非每项溯因科学行为的必要条件。本文聚焦身份溯因——通过显式对应关系推断两个独立发展结构实为同一对象,其依据是表征接地而非身体交互。代理可通过将表征转化为揭示潜在不变量的变换,获得新的推理能力。科学图表作为实践基础,因其蕴含跨学科共享的对称性、拓扑与算子结构的惯例化特征,形成‘规范空间’,解决两领域无共用词汇时的数学关联检索难题。我们提出‘溯因环’架构:表征生成、模式提取、规范空间归一化、跨域检索、身份假说生成及对抗验证,以放弃作为默认策略。一个案例显示,多模态模型仅凭引力记忆传输图,成功生成并验证其核心微分复结构与弱引力透镜宇宙学中球面凯泽-奎斯质量映射复结构等价。该案例作为机制启示,非泛化能力证据。最后提出可证伪的评估方案DAB-30基准。贡献包括机制提案、架构设计与测试程序。

原文摘要 · Abstract (English)

Can scientific abduction occur without continuous sensorimotor embodiment? Recent arguments in AI and philosophy of science hold that genuine hypothesis generation requires an agent continuously coupled to the physical world. We defend a narrower claim: online embodiment is not necessary for every abductive scientific act. Our focus is identity abduction: the inference that two independently developed structures are one object under an explicit correspondence, reached through representational grounding rather than bodily interaction. An agent may acquire new inferential affordances not through physical interaction but through transformations into representations that expose latent invariants. Scientific diagrams are a practical substrate because they embody independently evolved conventions that partially canonicalize symmetry, topology, and operator structure across disciplines - a property we develop as convention space, which answers a hard retrieval problem: finding mathematically related work when two fields share no discriminating vocabulary. We operationalize the mechanism as an architecture, the Abduction Loop: representation generation, motif extraction, convention-space canonicalization, cross-domain retrieval, identity-hypothesis generation, and adversarial verification, with abstention as the designed default. A documented episode, in which a multimodal model given a figure of a gravitational-memory transport model generated and then verified the hypothesis that its central differential complex is equivalent to the spherical Kaiser-Squires mass-mapping complex of weak-lensing cosmology, serves as a motivating possibility witness from which the architecture is abstracted, not as evidence of general capability. We close with a falsifiable evaluation program, the DAB-30 benchmark. The contribution is a mechanistic proposal, an architecture, and a test program.

科学发现溯因推理跨领域建模

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