論文の概要: Sheaf-Theoretic Planning: A Categorical Foundation for Resilient Multi-Agent Autonomous Systems
- arxiv url: http://arxiv.org/abs/2605.01879v1
- Date: Sun, 03 May 2026 13:50:24 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-05 20:33:49.978253
- Title: Sheaf-Theoretic Planning: A Categorical Foundation for Resilient Multi-Agent Autonomous Systems
- Title（参考訳）: せん断理論計画: レジリエントなマルチエージェント自律システムのためのカテゴリー基盤
- Authors: Manuel Hernández, Eduardo Sánchez-Soto,
- Abstract要約: シーフ理論計画(英: Sheaf-Theoretic Planning、STP)は、従来のマルチエージェントシステム(MAS)の代替案である。
STPは変換的代替として現れ、トポス理論と層意味論の数学的構造の下でのマルチエージェント協調の問題を解き放つ。
本報告は, 自律システムの将来におけるその分類的基盤, 実装可能性, 役割について, 網羅的な分析, 正当化, 拡張を行う。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The challenge of engineering autonomous agents capable of navigating the stochastic and adversarial nature of the physical world has historically resided at the intersection of symbolic logic and control theory. Traditional multi-agent system (MAS) frameworks have relied heavily on monolithic logical models -- primarily variations of the event calculus and situation calculus -- to represent action, change, and temporal persistence. While these classical systems provide robust solutions to the frame problem through mechanisms like circumscription and successor state axioms, they are inherently limited by a closed-world assumption that fails in the face of unobserved agent interventions, plan interruptions, and divergent belief-reality states. The paradigm of Sheaf-Theoretic Planning (STP) emerges as a transformative alternative, grounding the problem of multi-agent coordination under the mathematical structures of topos theory and sheaf semantics. This report provides an exhaustive analysis, justification, and extension of the STP framework, exploring its categorical foundations, implementation feasibility, and role in the future of resilient autonomous systems.
- Abstract（参考訳）: 物理世界の確率的・敵対的な性質をナビゲートできる工学的自律エージェントの挑戦は、歴史的に象徴論理と制御理論の交わりに存在してきた。
従来のマルチエージェントシステム(MAS)フレームワークは、アクション、変更、一時的な永続化を表現するために、モノリシックな論理モデル(主にイベント計算と状況計算のバリエーション)に大きく依存しています。
これらの古典的なシステムは、円周状態公理や後続状態公理のようなメカニズムを通じて、フレーム問題に対する堅牢な解を提供するが、それらは本質的に、観測されていないエージェントの介入、計画の中断、そして発散した信念-現実状態に直面して失敗する閉世界仮定によって制限される。
せん断理論計画(英: Sheaf-theoretic Planning、STP)のパラダイムは、トポス理論とせん断意味論の数学的構造の下での多エージェント協調の問題を基礎として、変革的な代替案として出現する。
本報告では、STPフレームワークの徹底的な分析、正当化、拡張を行い、その分類的基盤、実装可能性、レジリエントな自律システムの将来における役割を探求する。
関連論文リスト
- Active Inference: A method for Phenotyping Agency in AI systems? [0.11904398364437437]
3つの基準を基準として、原則検査に開放された最小限の概念について論じる。
後続の信念、事前の嗜好、そして期待される自由エネルギーの最小化は、共同でエージェント・アクション・チェーンを構成する。
論文 参考訳（メタデータ） (2026-04-25T12:41:53Z) - OMNIFLOW: A Physics-Grounded Multimodal Agent for Generalized Scientific Reasoning [51.33849811496781]
大規模言語モデル (LLM) は例外的な論理的推論能力を示しているが、部分微分方程式 (PDE) による連続力学としばしば競合する。
OMNIFLOWは, 領域固有のパラメータ更新を必要とせず, 基本物理法則で凍結LDMを基底として設計したマルチモーダルシンボリックアーキテクチャである。
我々は, 微視的乱流, 理論的ナビエ・ストークス, マクロ的世界天気予報のベンチマークでこれを評価した。
論文 参考訳（メタデータ） (2026-03-16T18:29:01Z) - A Survey of Reasoning in Autonomous Driving Systems: Open Challenges and Emerging Paradigms [49.66022971508878]
私たちは、推論はモジュラーコンポーネントからシステムの認知コアに高めるべきだと論じています。
応答性推論のトレードオフやソーシャルゲーム推論など,7つの中核的推論課題を導出し,体系化する。
我々は,LLMに基づく推論と,ミリ秒スケールで安全クリティカルな車両制御の要求との間の,高レイテンシ,熟考的特性の根本的かつ未解決な緊張関係を同定する。
論文 参考訳（メタデータ） (2026-03-11T07:40:53Z) - BEDS : Bayesian Emergent Dissipative Structures : A Formal Framework for Continuous Inference Under Energy Constraints [0.6345523830122167]
本稿では,エネルギー制約下での信念を継続的に維持しなくてはならない推論システムを解析するための公式なフレームワークであるBEDSを紹介する。
我々はエネルギー、精度、散逸を結びつける中心的な結果を証明する。
Gdel-Landauer-Prigogine予想(英語版)を提案し、形式系、計算、熱力学にまたがる閉包経路が共通の構造を持つことを示唆する。
論文 参考訳（メタデータ） (2026-01-05T18:21:02Z) - Agentic AI: A Comprehensive Survey of Architectures, Applications, and Future Directions [10.453339156813852]
エージェントAIは、人工知能の変革的な変化を表している。
その急速な進歩は断片的な理解をもたらし、しばしば時代遅れの記号モデルと現代の神経システムを融合させた。
この調査では、エージェントシステムを2つの異なる系統に分類する、新しいデュアルパラダイムフレームワークを紹介した。
論文 参考訳（メタデータ） (2025-10-29T12:11:34Z) - CTRLS: Chain-of-Thought Reasoning via Latent State-Transition [57.51370433303236]
チェーン・オブ・シント(CoT)推論は、大規模な言語モデルで複雑な問題を解釈可能な中間ステップに分解することを可能にする。
我々は,遅延状態遷移を伴うマルコフ決定プロセス(MDP)としてCoT推論を定式化するフレームワークであるgroundingSを紹介する。
我々は、ベンチマーク推論タスクにおける推論精度、多様性、探索効率の改善を示す。
論文 参考訳（メタデータ） (2025-07-10T21:32:18Z) - Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds [55.2480439325792]
本稿では,階層化現実化の考え方に基づくモーダル論理の新しいフレームワークを開発する。
伝統的なクリプキ意味論は、モーダル作用素を完全決定的な選択肢に対する定量化として扱う。
本稿では,モダリティをオントロジ的安定性のレベルによってインデクシングするSAL(Stratetified Actualization Logic)を提案する。
論文 参考訳（メタデータ） (2025-06-12T18:35:01Z) - The Theory of the Unique Latent Pattern: A Formal Epistemic Framework for Structural Singularity in Complex Systems [2.44755919161855]
本稿では,動的システムにおける複雑性の起源を再定義する形式的枠組みとして,一様潜在パターンの理論(ULP)を紹介する。
ULPは、本質的なランダム性や創発的な非線形性に予測不可能をもたらすのではなく、全ての分析可能な系は構造的にユニークで決定論的な生成機構によって支配されていると主張する。
論文 参考訳（メタデータ） (2025-05-24T19:52:28Z) - Answering Causal Queries at Layer 3 with DiscoSCMs-Embracing
Heterogeneity [0.0]
本稿では, 分散一貫性構造因果モデル (DiscoSCM) フレームワークを, 反事実推論の先駆的アプローチとして提唱する。
論文 参考訳（メタデータ） (2023-09-17T17:01:05Z) - Self-consistent theory of mobility edges in quasiperiodic chains [62.997667081978825]
準周期ポテンシャルを持つ近辺強結合鎖における移動端の自己整合理論を導入する。
モビリティエッジは、一般に研究されているオーブリー=アンドルー=ハーパー模型のエネルギー非依存的な自己双対性を欠いた準周期系において一般的なものである。
論文 参考訳（メタデータ） (2020-12-02T19:00:09Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。