AWS Dogwood: 'Bộ nhớ' cho AI Agent – Ngôn ngữ chính sách nguồn mở mới giúp kiểm soát chuỗi hành động

Logic Thời Gian và Nền Tảng MFOTL

Dogwood được xây dựng dựa trên logic thời gian và Metric First-Order Temporal Logic (MFOTL), một nhánh của toán học hình thức cho phép suy luận về các sự kiện và mối quan hệ của chúng theo thời gian . MFOTL mở rộng logic thời gian mệnh đề với các phép đo định lượng bậc nhất và các ràng buộc về số liệu (ví dụ: 'trong vòng 5 phút qua'), cho phép giám sát thời gian chạy chính xác các chuỗi sự kiện .

Trong Dogwood, quyết định của một chính sách phụ thuộc vào lịch sử hành động của agent trong một phiên, chứ không chỉ riêng yêu cầu hiện tại . Công cụ chính sách duy trì một bản ghi các lệnh gọi công cụ trước đó và phản hồi của chúng, sau đó đánh giá yêu cầu hiện tại dựa trên lịch sử đó trước khi cho phép hoặc từ chối lệnh gọi .

Mở Rộng Cedar Với Các Toán Tử Thời Gian

Dogwood mở rộng ngôn ngữ chính sách Cedar (ngôn ngữ ủy quyền hiện có của AWS từ năm 2023) bằng cách thêm một khối temporal với các điều kiện nhận biết phiên . Các toán tử thời gian chính bao gồm:

Các toán tử này cho phép một chính sách định nghĩa các quy tắc như 'cấm hành động thanh toán trừ khi hành động lập hóa đơn đã xảy ra trước đó', hoặc 'cấm nếu sum_within(amount, 1h) vượt quá ngưỡng' . Một chính sách thời gian được viết dưới dạng quy tắc Cedar permit hoặc forbid tiêu chuẩn, nhưng với các điều kiện được đặt bên trong một khối temporal { ... } .

Thực Thi Ở Lớp Gateway (Chống Vượt Mặt)

Các chính sách thời gian được thực thi tại lớp AgentCore Gateway, nằm ngoài mã của agent . Gateway can thiệp vào mọi lệnh gọi công cụ theo thời gian thực trước khi nó đến được công cụ đích, đánh giá chính sách dựa trên toàn bộ lịch sử sự kiện của phiên, sau đó cho phép hoặc từ chối lệnh gọi .

Bởi vì quyết định ủy quyền diễn ra ở lớp ranh giới — trong cơ sở hạ tầng mà agent không thể sửa đổi — nó không thể bị vượt qua bằng thao tác prompt, jailbreaking, hay bất kỳ mã nào mà agent kiểm soát . AWS tuyên bố rõ ràng rằng các chính sách chạy ở 'ranh giới AgentCore Gateway, bên ngoài mã của agent,' khiến chúng có khả năng chống lại việc agent viết lại hướng dẫn của chính nó . Công cụ chính sách hỗ trợ hai chế độ: LOG_ONLY (kiểm toán mà không chặn) và ENFORCE (chủ động từ chối) .

Tích Hợp Dịch Vụ AWS: Amazon Bedrock AgentCore

Dogwood đã được tích hợp vào Amazon Bedrock AgentCore dưới dạng chính sách thời gian, được công bố cùng với giới hạn tốc độ gateway vào ngày 6 tháng 8 năm 2026 .

Các tính năng hiện có trong Bedrock AgentCore:

• Chính sách thời gian — các quy tắc trạng thái sử dụng Dogwood để đánh giá mỗi lệnh gọi công cụ dựa trên lịch sử phiên của agent .
• Giới hạn tốc độ Gateway — giới hạn thông lượng token trên cơ sở từng danh tính (Cơ bản: 100 RPM, Nâng cao: 300 RPM) .
• Công cụ chính sách — bạn tạo một công cụ chính sách, lưu trữ các chính sách (cả Cedar tiêu chuẩn và Dogwood thời gian), và liên kết nó với một agent .
• Ngân sách theo phiên — ví dụ: giới hạn chi tiêu $60,000 mỗi phiên được thực thi thông qua sum_within .
• Quy tắc trình tự công việc — ví dụ: yêu cầu một hành động phê duyệt trước một hành động thanh toán .
• Chế độ log-only và enforce — chạy các chính sách thời gian ở chế độ log-only với lưu lượng truy cập thực trước khi chuyển sang thực thi .

Ngôn ngữ Dogwood và trình thực thi tham chiếu của nó có sẵn trên GitHub theo giấy phép Apache 2.0, tách biệt với dịch vụ được quản lý Bedrock AgentCore .