Agent Behavioral Contracts: Formale Spezifikation und Laufzeitdurchsetzung

Traditionelle Software setzt auf Verträge – APIs, Typsysteme und Assertions – um korrektes Verhalten zu garantieren. Autonome KI-Agenten hingegen handeln über natürliche Sprachbefehle ohne formale Spezifikationen, was zu Drift, Governance‑Fehlern und häufigen Projektversagen führt. Mit den Agent Behavioral Contracts (ABC) wird das Design‑by‑Contract‑Prinzip auf autonome Agenten übertragen.

Ein ABC‑Vertrag besteht aus Präbedingungen, Invarianten, Governance‑Richtlinien und Wiederherstellungsmechanismen, die zur Laufzeit überprüfbar sind. Die Autoren definieren eine probabilistische Übereinstimmungskonzeption, die die Nicht‑Deterministik von Sprachmodellen berücksichtigt, und beweisen einen Drift‑Grenzsatz: Wenn die Wiederherstellungsrate γ größer als die natürliche Driftrate α ist, wird das Verhalten im Erwartungswert auf D* = α/γ begrenzt, mit Gaußscher Konzentration im stochastischen Setting.

Für die sichere Zusammensetzung mehrerer Agenten werden Bedingungen aufgestellt und probabilistische Abbaugrenzen abgeleitet. Die ABC‑Idee wurde in der Laufzeit‑Bibliothek AgentAssert umgesetzt und anhand des AgentContract‑Bench‑Benchmarks mit 200 Szenarien, 7 Modellen von 6 Anbietern und 1 980 Sessions getestet. Die Ergebnisse zeigen, dass kontrahierte Agenten pro Sitzung 5,2–6,8 weiche Verstöße erkennen, die unkontrahierten Baselines völlig übersehen, 88–100 % der harten Einschränkungen einhalten und das Verhalten effektiv begrenzen.