웹 동사: 에이전틱 웹에서 신뢰할 수 있는 작업 구성을 위한 타입화된 추상화

Web Verbs: Typed Abstractions for Reliable Task Composition on the Agentic Web

웹은 인간이 탐색하는 매체에서 소프트웨어 에이전트가 사용자를 대신하여 행동하는 환경으로 진화하고 있다. 대형 언어 모델(LLM)의 발전으로 자연어는 목표 지향적 작업을 위한 실용적인 인터페이스가 되었지만, 현재 대부분의 웹 에이전트는 클릭이나 키보드 입력과 같은 저수준 기본 요소에 의존하여 작동한다. 이러한 방식은 불안정하고 비효율적이며 검증하기 어렵다. 정보 검색을 위한 NLWeb의 의미론적 계층과 같은 콘텐츠 지향적 노력을 보완하여, 우리는 에이전틱 웹(agentic web)에도 웹 동작을 위한 의미론적 계층이 필요하다고 주장한다. 우리는 API나 견고한 클라이언트 측 워크플로우를 통해 구현되는지와 관계없이, 통합된 인터페이스를 통해 사이트의 기능을 노출하는 타입화되고 의미론적으로 문서화된 웹 규모의 함수 집합인 '웹 동사(Web Verbs)'를 제안한다. 이 동사들은 에이전트가 발견하고 선택하여 간결한 프로그램으로 합성할 수 있는 안정적이고 구성 가능한 단위로 기능한다. 이러한 추상화는 API 기반 및 브라우저 기반 패러다임을 통합하여, LLM이 명시적인 제어 및 데이터 흐름을 바탕으로 신뢰할 수 있고 감사 가능한 워크플로우를 합성할 수 있도록 한다. 동사는 사전 조건, 사후 조건, 정책 태그 및 로깅 지원을 포함할 수 있으며, 이를 통해 안정적인 인터페이스를 제공하여 신뢰성을 높이고, 수십 개의 단계를 몇 번의 함수 호출로 줄여 효율성을 높이며, 타입화된 계약과 확인 가능한 추적을 통해 검증 가능성을 향상시킨다. 우리는 우리의 비전, 개념 증명 구현체, 그리고 기존 에이전트와 비교하여 간결하고 강력한 실행을 보여주는 대표적인 사례 연구를 제시한다. 마지막으로, 웹 동사를 웹 규모에서 배포할 수 있고 신뢰할 수 있도록 만들기 위한 표준화 로드맵을 간략히 설명한다.

The Web is evolving from a medium that humans browse to an environment where software agents act on behalf of users. Advances in large language models (LLMs) make natural language a practical interface for goal-directed tasks, yet most current web agents operate on low-level primitives such as clicks and keystrokes. These operations are brittle, inefficient, and difficult to verify. Complementing content-oriented efforts such as NLWeb's semantic layer for retrieval, we argue that the agentic web also requires a semantic layer for web actions. We propose \textbf{Web Verbs}, a web-scale set of typed, semantically documented functions that expose site capabilities through a uniform interface, whether implemented through APIs or robust client-side workflows. These verbs serve as stable and composable units that agents can discover, select, and synthesize into concise programs. This abstraction unifies API-based and browser-based paradigms, enabling LLMs to synthesize reliable and auditable workflows with explicit control and data flow. Verbs can carry preconditions, postconditions, policy tags, and logging support, which improves \textbf{reliability} by providing stable interfaces, \textbf{efficiency} by reducing dozens of steps into a few function calls, and \textbf{verifiability} through typed contracts and checkable traces. We present our vision, a proof-of-concept implementation, and representative case studies that demonstrate concise and robust execution compared to existing agents. Finally, we outline a roadmap for standardization to make verbs deployable and trustworthy at web scale.