TAG ARCHIVE
gate-engine
MARIA OSブログのgate-engineタグに関連する4件の記事。ボンギンカンの判断OS、AIガバナンス、Agentic Company研究をテーマ別に参照しやすい技術記事アーカイブです。
判断OS / 決断インテリジェンスOS
組織の判断を実行可能な意思決定システムに変換するMARIA OS中核研究。
エージェント型企業アーキテクチャ
人間とエージェントの組織、委任境界、役割トポロジー、ガバナンス付き自律性に関する研究。
責任ゲートとAIガバナンス
AIエージェントの安全性、説明責任、フェイルクローズドゲート、監査可能性、HITL制御。
マルチエージェント数学
収束、安定性、ゲーム理論、グラフダイナミクス、マルチエージェント評価の形式モデル。
エビデンス、RAG、ナレッジガバナンス
エビデンスバンドル、検索アーキテクチャ、Graph RAG、ナレッジトラスト、監査可能な推論パイプライン。
Agentic R&Dと判断科学
研究運用、シミュレーションラボ、判断科学、再帰的改善、実験的AIガバナンス。
Gated Meeting Intelligence: Fail-Closed Privacy Architecture for AI-Powered Meeting Transcription
Designing consent, scope, and export gates that enforce data sovereignty before a single word is stored
When an AI bot joins a meeting, the first question is not 'what was said?' but 'who consented to recording?' This paper formalizes the gate architecture behind MARIA Meeting AI — a system where Consent, Scope, Export, and Speak gates form a fail-closed barrier between raw audio and persistent storage. We derive the gate evaluation algebra, prove that the composition of fail-closed gates preserves the fail-closed property, and show how the Scope gate implements information-theoretic privacy bounds by restricting full transcript access to internal-only meetings. In production deployments, the architecture achieves zero unauthorized data retention while adding less than 3ms latency per gate evaluation.
Doctorアーキテクチャ: MARIA OSにおける異常検知と企業メタ認知
二重モデル異常検知、閾値設計、ゲート統合、loop gain / buffer 監視
DoctorはIsolation ForestとAutoencoderを組み合わせ、A_combined = α·s(x) + (1-α)·σ(ε(x)) で異常度を算出する。0.85でソフトスロットル、0.92でハードフリーズを適用し、Gate Engineと連動して潜在ガバナンス密度を調整する。さらに運用影響行列 A_t に対し exact loop gain `g_t=(1-D_t)λ_max(A_t)` と buffer `δ_buffer=1-D_t-λ_max(A_t)` を監視し、連鎖障害を早期に抑制する。
Action Router知能理論: ルーティングは語の分類ではなく行動制御であるべき理由
キーワード検出から行動レベル制御へ、ルーティングを分類問題からガバナンス実行制御へ再定義する
従来のルータは入力テキストをカテゴリ分類して振り分けるが、企業向けエージェント運用では不十分である。本稿は R:(Context×Intent×State)→Action を定義し、R:Input→Category を置き換える。Action RouterをGate Engineと統合することで、責任境界を実行前に強制できる。
Action Router×Gate Engine合成: 責任追跡可能なルーティングの形式理論
ルーティングとゲート制御の合成により、安全性不変量を構成的に満たす実装枠組み
RouterとGateを独立順次適用すると界面で失敗が生じる。本稿は複合演算子 G∘R を導入し、安全性制約下でのルーティング品質最適化を同時に扱う。Safety Preservation定理とラグランジュ最適化により、安全性不変量を維持しつつ実行可能集合内で最適割当を求める。