A computable representation of the physical laboratory enables verifiable workflows

2026-09-03

AI Summary

本文通过建立物理实验室的可计算表示，利用研究对象、操作能力和工作流代数来解决科学知识和物理世界表示问题，实现自动化科学发现。

Abstract

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.

Problem

• computable representation
• physical laboratory
• verifiable workflows
• scientific knowledge
• physical world

Innovation

• computable representation
• physical laboratory
• workflow algebra
• autonomous scientific discovery
• capability-bound operations