Abstract not available.
网络正从人类浏览的媒介演变为软件代理代表用户执行操作的环境。大型语言模型（LLM）的进步使自然语言成为目标导向任务的实用接口，但当前大多数网络代理仍基于点击和按键等底层原语进行操作。这些操作脆弱、低效且难以验证。在补充如NLWeb检索语义层等内容导向工作的基础上，我们认为智能网络同样需要针对网络动作的语义层。我们提出**网络动词**，这是一个网络规模、类型化且语义化文档化的函数集合，通过统一接口暴露网站功能，无论其通过API还是稳健的客户端工作流实现。这些动词作为稳定且可组合的单元，可供代理发现、选择并合成为简洁的程序。该抽象统一了基于API和基于浏览器的范式，使LLM能够合成具有显式控制流和数据流的可靠、可审计工作流。动词可携带前置条件、后置条件、策略标签和日志支持，从而通过提供稳定接口提升**可靠性**，通过将数十个步骤简化为少量函数调用提高**效率**，并通过类型化契约和可检查的追踪实现**可验证性**。我们阐述了愿景、概念验证实现及代表性案例研究，展示了相较于现有代理的简洁且稳健的执行效果。最后，我们概述了标准化路线图，以使动词能在网络规模上可部署且可信赖。