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

使科学可计算需要科学知识和检验科学主张的物理世界的表示。物理实验室的可计算表示是通过类型化研究对象、能力限制操作和组合工作流代数建立的。它提供了与机器可读知识相对应的物理世界，将工作流程表示为不断变化的实验室状态上的程序，具有明确的依赖性、决策、迭代和并发性。该表示是通过将正式操作与可执行功能技能绑定在模块化代理机器人实验室中实现的。为了实现不同的科学目的，生成了与能力相关的工作流程，同时状态模拟传播了对象转换并在调度前验证了操作先决条件和实验室限制。所提出的表示及其工程框架共同建立了代理推理和能力限制的物理转换之间的通用计算接口，为端到端自主科学发现提供了基础。