TAG ARCHIVE
MARIA OSブログのfixed-pointタグに関連する1件の記事。ボンギンカンの判断OS、AIガバナンス、Agentic Company研究をテーマ別に参照しやすい技術記事アーカイブです。
判断OS / 決断インテリジェンスOS
組織の判断を実行可能な意思決定システムに変換するMARIA OS中核研究。
マルチエージェント数学
収束、安定性、ゲーム理論、グラフダイナミクス、マルチエージェント評価の形式モデル。
スコープ層化により自己参照を回避し、反省深さの整礎降下とGödel不完全性との接続を示す形式証明
「監視者を誰が監視するのか」という無限後退問題に対し、MARIA OSの階層メタ認知が有界ステップで停止することを示す。R_sys ∘ R_team ∘ R_self の合成に整礎順序を与え、Tarski-Knaster/Banachの結果と接続。スコープ境界設計により、無制約自己参照で生じるGödel型の限界を回避する。