AI 中文总结
本文提出无需实体的科学溯因推理，构建含弃权机制的溯因循环架构，以惯例空间解决跨领域检索难题，通过案例抽象架构并提出DAB-30基准作为评估方案。
AI 中文摘要
科学溯因推理能否在不具备连续感知运动实体的情况下发生？近期AI与科学哲学领域的观点认为，真正的假说生成需要智能体与物理世界持续耦合。本文提出更狭义的主张：在线实体性并非每一次溯因科学行为的必要条件。本文聚焦身份溯因：即通过明确对应关系推断两个独立发展的结构为同一对象，该过程通过表征奠基而非身体交互实现。智能体可能并非通过物理交互，而是通过转换为能揭示潜在不变量的表征，获得新的推理可供性。科学图表是实用载体，因为它们体现了跨学科部分规范化对称性、拓扑学与算子结构的独立演化惯例，本文将这一特性定义为惯例空间，它解决了一个难题：当两个领域无区分性词汇时，如何找到数学相关的研究。本文将该机制实现为架构——溯因循环，包含表征生成、基序提取、惯例空间规范化、跨领域检索、身份假说生成及对抗验证，默认设置为弃权（不执行）。一则已记录的案例：多模态模型在给定引力-记忆传输模型图后，生成并验证其中心微分复形等价于弱引力透镜宇宙学的球形Kaiser-Squires质量映射复形的假说，这是架构抽象的启发性可能性见证，而非通用能力的证据。本文提出可证伪的评估方案DAB-30基准，贡献为一个机制性提案、一种架构及一个测试方案。
英文摘要
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.
Comments20 pages, 4 figures. DAB-30 execution reported in companion paper
