AWS Dogwood: Bahasa Tadbir Urus Sumber Terbuka untuk Ejen AI

Logik Temporal dan Asas MFOTL

Dogwood berasaskan logik temporal dan Metric First-Order Temporal Logic (MFOTL), cabang matematik formal yang membolehkan penaakulan tentang peristiwa dan hubungannya merentas masa . MFOTL memanjangkan logik temporal proposisional dengan pengkuantitian pesanan pertama dan kekangan metrik (contohnya, "dalam tempoh 5 minit yang lalu"), membolehkan pemantauan masa jalan yang tepat bagi urutan peristiwa .

Dalam Dogwood, keputusan dasar bergantung pada sejarah tindakan ejen dalam sesi, bukan pada permintaan semasa sahaja . Enjin dasar mengekalkan rekod panggilan alat sebelumnya dan responsnya, kemudian menilai permintaan semasa terhadap sejarah itu sebelum membenarkan atau menolak panggilan .

Memanjangkan Cedar dengan Operator Temporal

Dogwood memanjangkan bahasa dasar Cedar (bahasa kebenaran sedia ada AWS dari 2023) dengan menambah blok temporal yang mempunyai keadaan sesi . Operator temporal utama termasuk:

Operator ini membolehkan dasar mentakrifkan peraturan seperti "larang tindakan pembayaran melainkan tindakan invois berlaku formerly," atau "larang jika sum_within(amount, 1h) melebihi ambang" . Dasar temporal ditulis sebagai peraturan Cedar permit atau forbid standard, tetapi dengan keadaan diletakkan di dalam blok temporal { ... } .

Penguatkuasaan Lapisan Gerbang (Kalis Bypass)

Dasar temporal dikuatkuasakan di lapisan Gerbang AgentCore, di luar kod ejen itu sendiri . Gerbang memintas setiap panggilan alat dalam masa nyata sebelum ia sampai ke alat sasaran, menilai dasar terhadap sejarah penuh peristiwa sesi, dan kemudian membenarkan atau menolak panggilan .

Oleh kerana keputusan kebenaran berlaku di perimeter — dalam infrastruktur yang tidak boleh diubah suai oleh ejen — ia tidak boleh dilepasi oleh manipulasi prompt, jailbreaking, atau mana-mana kod yang dikawal oleh ejen . AWS secara jelas menyatakan bahawa dasar berjalan di "perimeter Gerbang AgentCore, di luar kod ejen itu sendiri," menjadikannya tahan terhadap ejen yang menulis semula arahannya sendiri . Enjin dasar menyokong dua mod: LOG_ONLY (audit tanpa menyekat) dan ENFORCE (menolak secara aktif) .

Integrasi Perkhidmatan AWS: Amazon Bedrock AgentCore

Dogwood telah disepadukan ke dalam Amazon Bedrock AgentCore sebagai dasar temporal, diumumkan bersama-sama kadar had gerbang pada 6 Ogos 2026 .

Ciri-ciri yang tersedia sekarang dalam Bedrock AgentCore:

• Dasar temporal — peraturan keadaan menggunakan Dogwood yang menilai setiap panggilan alat terhadap sejarah sesi ejen .
• Kadar had gerbang — had throughput token berdasarkan identiti (Asas: 100 RPM, Lanjutan: 300 RPM) .
• Enjin dasar — anda mencipta enjin dasar, menyimpan dasar (kedua-dua Cedar standard dan Dogwood temporal), dan mengaitkannya dengan ejen .
• Belanjawan setiap sesi — contohnya, had perbelanjaan $60,000 setiap sesi dikuatkuasakan melalui sum_within .
• Peraturan urutan kerja — contohnya, memerlukan tindakan kelulusan sebelum tindakan pembayaran .
• Mod log sahaja dan kuat kuasa — jalankan dasar temporal dalam mod log sahaja terhadap trafik sebenar sebelum bertukar kepada penguatkuasaan .

Bahasa Dogwood dan pelaksanaan rujukannya tersedia di GitHub di bawah Apache 2.0, berasingan daripada perkhidmatan terurus Bedrock AgentCore .