没有身体的溯因？科学假设生成中的表征支撑与溯因循环

科学 abduction 是否可以在没有持续的传感器-运动体合同时发生？最近在人工智能和哲学科学中提出的论点认为，真正的假设生成需要一个持续与物理世界耦合的代理。我们捍卫一个更狭窄的主张：在线合并不需要在所有科学 abduction 中都存在。我们的关注点是身份 abduction：通过显式对应关系而独立发展结构的两个独立结构之间的推理，而不是通过身体互动。一个代理可能通过转换进入表示来获得新的推断能力，而不通过物理互动。科学图像是一个实用的底座，因为它们部分地规范了不同学科中的对称性、拓扑和操作结构——我们发展为规范空间，回答了一个硬检索问题：当两个领域共享没有区分词汇时，找到数学相关的工作。我们操作化机制为一个架构，Abduction Loop：表示生成、模式提取、规范空间中的规范化、跨学科检索、身份-假设生成和对抗性验证，以放弃为设计默认。一个记录的案例，一个多模态模型被给一个引力记忆传输模型的图生成并验证其核心偏微分复杂与弱-光谱宇宙学中的球形凯尔文-斯奎尔斯映射复杂等价，作为抽象化的一个动机实例，而不是证据表明一般能力。我们以一个可验证的评估程序，DAB-30基准，结束。贡献是一个机械性提议，一个架构，和一个测试程序。