여러 AI 에이전트가 실패 가능한 하위 작업자에게 작업을 위임할 때 예산 초과 지출을 막는 형식적 프레임워크를 제시했다. 응답 손실, 타임아웃, 메시지 중복, 네트워크 분할 등으로 과다 지출이 발생하는 문제에서 출발해, 예산을 위임 DAG를 따라 이동하는 배타적 에스크로 크레딧으로 모델링했다. 디스패치 전에 계보·효과·최대 청구액에 묶인 예약으로 크레딧을 전환하고, 서명된 허가증을 게이트웨이가 최초 수락 전에 검증하는 구조다. 저자들은 소유권 분할, 원장 보존, 최대 1회 정산 등을 수학적으로 증명하고, TLA+ 모델 체킹과 장애 주입 실험으로 크래시·재시도·분할 시나리오 전반에서 예산 보존이 유지됨을 확인했다.
- •응답 손실, 타임아웃, 메시지 중복, 네트워크 분할 등 장애 상황에서도 예산 초과 지출을 막는 프레임워크 제시
- •예산을 위임 DAG를 따라 흐르는 배타적 에스크로 크레딧으로 모델링하고 서명된 허가증으로 검증
- •소유권 분할, 원장 보존, 최대 1회 정산 등 핵심 안전 속성을 수학적으로 증명
- •TLA+ 모델 체킹과 장애 주입 SQLite 실험으로 크래시·재시도·분할 시나리오 전반에서 예산 보존 확인
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Fault-Tolerant Budget Conservation in Distributed Multi-Agent Delegation
- 1.다중 에이전트 위임 시스템의 '예산 과다지출' 방지를 위한 공식 모델 제안
- 2.에스크로 크레딧과 서명된 디스패치 허가증으로 중복·지연 응답 상황에서도 예산 보존
- 3.TLA+ 정형검증과 장애주입 SQLite 실험으로 중복결제·지연완료 안전성 증명
- 4.타임아웃 환급, 과거 인증서 검증 관련 변이까지 탐지하는 정확성 확보
왜 중요한가?
다수의 하위 에이전트에 작업을 위임하는 시스템에서 장애·재시도·메시지 중복이 흔한데, 이 연구는 그런 상황에서도 예산 한도를 수학적으로 보장하는 메커니즘을 제시해 에이전트 오케스트레이션의 신뢰성 문제에 해법을 제공한다.
본문 미리보기
arXiv:2610.00349v1 Announce Type: new Abstract: Resource limits are becoming an authorization boundary for AI agents that delegate work across concurrent and failure-prone workers. Parent-child allocation constraints, affine objects, and distributed escrow do not by themselves prevent overspend when replies are lost, effects complete after timeout, messages repeat, branches partition, or DAG joins alias one lineage. We formalize fault-tolerant budget conservation for distributed multi-agent del
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 10:40AI 초안
