物理实验室的可计算表示支持可验证的工作流

中文摘要 AI 辅助

将科学计算化需要同时表示科学知识与用于检验科学主张的物理世界。本文通过类型化研究对象、受能力约束的操作以及可组合的工作流代数，建立了物理实验室的可计算表示，它为机器可读知识提供了物理世界对应物，将工作流表达为随实验室状态演化的程序，包含显式依赖、决策、迭代与并发。该表示通过将形式操作绑定到可执行的Function Skills（功能技能），在模块化智能体机器人实验室中实现。针对不同科学目标，生成了与能力相关的工作流；带状态的仿真传播对象变换，在操作执行前验证操作前置条件与实验室约束。所提出的表示及其工程框架共同建立了智能体推理与受能力约束的物理变换之间的通用计算接口，为端到端自主科学发现提供了基础。

英文摘要

Making science computable requires representations of both scientific knowledge and the physical world in which scientific claims are tested. A computable representation of the physical laboratory is established through typed research objects, capability-bound operations and a compositional workflow algebra. It provides the physical-world counterpart to machine-readable knowledge, expressing workflows as programs over evolving laboratory states with explicit dependencies, decisions, iteration and concurrency. The representation was implemented in a modular agentic robotic laboratory by binding formal operations to executable Function Skills. For diverse scientific intents, capability-relative workflows were generated, while stateful simulation propagated object transformations and verified operation preconditions and laboratory constraints before dispatch. The proposed representation and its engineering framework jointly establish a general computational interface between agent reasoning and capability-bound physical transformations, providing a foundation for end-to-end autonomous scientific discovery.

发表机构

• University of Science and Technology of China（中国科学技术大学）
• Hefei National Research Center for Physical Sciences at the Microscale（合肥微尺度物质科学国家研究中心）
• School of Chemistry and Materials Science（化学与材料科学学院）
• State Key Laboratory of Precision and Intelligent Chemistry（精准智能化学国家重点实验室）
• Center for Scientific Intelligence Innovation（科学智能创新中心）
• Huawei Technologies Co., Ltd.（华为技术有限公司）

机构由 AI 辅助整理，请以论文原文为准。