ブログへ戻る

TAG ARCHIVE

composition

MARIA OSブログのcompositionタグに関連する1件の記事。ボンギンカンの判断OS、AIガバナンス、Agentic Company研究をテーマ別に参照しやすい技術記事アーカイブです。

1 件の記事|発行元: Bonginkan

判断OS / 決断インテリジェンスOS

組織の判断を実行可能な意思決定システムに変換するMARIA OS中核研究。

責任ゲートとAIガバナンス

AIエージェントの安全性、説明責任、フェイルクローズドゲート、監査可能性、HITL制御。

マルチエージェント数学

収束、安定性、ゲーム理論、グラフダイナミクス、マルチエージェント評価の形式モデル。

Mathematics2026年2月15日35 min read

Action Router×Gate Engine合成: 責任追跡可能なルーティングの形式理論

ルーティングとゲート制御の合成により、安全性不変量を構成的に満たす実装枠組み

RouterとGateを独立順次適用すると界面で失敗が生じる。本稿は複合演算子 G∘R を導入し、安全性制約下でのルーティング品質最適化を同時に扱う。Safety Preservation定理とラグランジュ最適化により、安全性不変量を維持しつつ実行可能集合内で最適割当を求める。

action-routergate-enginecompositionresponsibilityMARIA-OSformal-verificationsafety