論文の概要: From Ontology Conformance to Admissible Reconfiguration: A RoSO/SMGI Adequacy Argument for Robotic Service Governance
- arxiv url: http://arxiv.org/abs/2605.08185v1
- Date: Tue, 05 May 2026 11:15:52 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-12 23:28:49.439827
- Title: From Ontology Conformance to Admissible Reconfiguration: A RoSO/SMGI Adequacy Argument for Robotic Service Governance
- Title（参考訳）: オントロジー・コンフォーマンスから許容的再構成へ:ロボットサービスガバナンスのためのRoSO/SMGIアデクティメント
- Abstract要約: 本稿では、一般知能構造モデル(SMGI)が、そのレベルにおいて正確に関連していることを論じる。
本稿では,サービス記述を動的に制御できるように,RoSOをSMGIに型付きセマンティック層として組み込むことができることを示す。
結果として生じる主張は、SMGIがRoSOを置き換えるのではなく、許容可能なランタイム変更に必要な公式な説明を提供する、というものである。
- 参考スコア（独自算出の注目度）: 2.538209532048866
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The Robotic Service Ontology (RoSO) gives service robotics a typed semantic vocabulary for services, functions, interactions, and deployment-sensitive constraints. Its public revision trail makes visible a harder question than ontology conformance alone can settle: once a service is rebound, recomposed, repaired, or redeployed, under what conditions does the resulting configuration remain an admissible realization of the same protected service? This article argues that the Structural Model of General Intelligence (SMGI) is relevant exactly at that level \citep{osmani2026smgi}. SMGI adds not only a structural interface $θ$, but an induced behavioral semantics $T_θ$ and a governance discipline for norm-respecting change. We show that RoSO can be embedded into SMGI as a typed semantic layer, so that service descriptions become dynamically governable rather than merely well formed. This yields a RoSO-to-SMGI adequacy theorem, identity-preserving reconfiguration criteria, and compositional conditions under which locally acceptable updates remain globally admissible. The resulting claim is not that SMGI replaces RoSO, but that it provides a formal account of what admissible runtime change requires once service semantics must survive revision.
- Abstract（参考訳）: ロボットサービスオントロジー(RoSO)は、サービス、機能、インタラクション、デプロイメントに敏感な制約のための型付きセマンティック語彙を提供する。
一度サービスがリバウンドされたり、リカウンドされたり、修復されたり、再デプロイされたりすると、どのような条件の下で同じ保護されたサービスの許容可能な実現が保たれるのか?
本稿では、一般知性構造モデル(SMGI)が、そのレベルで正確に関係していることを論じる。
SMGI は構造的インターフェース $θ$ だけでなく、誘導された振る舞い意味論 $T_θ$ とノルム参照変更のためのガバナンスの規律も追加します。
入力されたセマンティックレイヤとしてRoSOをSMGIに組み込むことが可能であることを示し,サービス記述が十分に形成されるのではなく,動的に制御可能であることを示す。
これにより、RoSO-to-SMGIの妥当性定理、アイデンティティ保存再構成基準、局所的に許容される更新がグローバルに許容される構成条件が得られる。
結果として生じる主張は、SMGIがRoSOを置き換えるのではなく、サービスセマンティクスがリビジョンを生き残らなければならない場合に、許容可能なランタイム変更が要求するものの正式な説明を提供する、というものである。
関連論文リスト
- MetaRSI / RSI2: A Meta-Recursive Self-Improving System for Recursive Self-Improving Systems Themselves [65.60481414910728]
再帰的な自己改善により、システムは自身の失敗からモデル構築機械を改善することができる。
しかし、RSIは、科学のQAや数学のようなコーディングと形式的なベンチマークにのみ検証されている。
RSIは次に、科学的、工学的、メタ科学的な領域にまたがって運用されなければならない、と我々は主張する。
本稿では,MetaRSI-v1を提案する。改良は,1つの統一パラダイム上での3つの型付き演算子のスケジュール構成である。
論文 参考訳（メタデータ） (2026-09-06T05:15:31Z) - Formal Verification of Agentic Systems over Operational Data [59.98246281888422]
大規模言語モデル(LLM)によって駆動されるエージェントシステムは、永続的な運用データを扱う現実世界にますます展開されている。
既存のアプローチはそのようなシステムレベルの保証を提供していません。
本稿では, 1 つの LLM とツールオーケストレーションハーネスからなるエージェントシステムのリレーショナル操作データに対する検証について述べる。
論文 参考訳（メタデータ） (2026-08-04T13:01:30Z) - ScrambleToolBench: Agents Search Exhaustively Even When Their Own Map Points to the Next Step [74.83535434786145]
ScrambleToolBenchは,行動推論の分離を目的とした対話型端末ベンチマークである。
このベンチマークでは、エージェントがテストとエラーのインタラクションを通じて、隠されたツールの振る舞いを明らかにする必要がある。
現状の言語モデルに対する我々の評価は、初期発見が成功しても頑健な適応にはならないことを示している。
論文 参考訳（メタデータ） (2026-08-03T15:07:46Z) - Towards Human-Like Interactive Speech Recognition With Agentic Correction and Semantic Evaluation [53.844308305341166]
単一パスのASRフロントエンドと意味的訂正,意図のルーティング,推論に基づく編集を組み合わせた閉ループフレームワークである textbfAgentic ASR を提案する。
複数言語、名前付き集中型、コードスイッチングベンチマークの実験は、反復的相互作用が意味的誤りを一貫して減少させることを示している。
論文 参考訳（メタデータ） (2026-05-28T06:23:31Z) - The Sensation Modulating Network:Haltability as the architectural ground for object-directed phenomenology [0.0]
我々は、この不備は、具体的エージェントのアーキテクチャの不完全な説明に起因していると主張している。
本研究は,身体全体としての認知エージェントである感覚変調ネットワーク(SMN)を提案する。
SMNは認知主義4Eの議論を和解し、再帰はネゴチブル・アクション・パターンの修正可能なダイナミクスの中で生きていく。
論文 参考訳（メタデータ） (2026-05-26T11:15:56Z) - Discoverable Agent Knowledge -- A Formal Framework for Agentic KG Affordances (Extended Version) [0.5461938536945722]
20年前、セマンティックWebサービスコミュニティは、異なる存在論的コミットメントを持つエージェントがWebサービスを一貫性を持って発見し、構成し、呼び出す方法について質問された。
我々は、4次元の形式的枠組みを用いて、これらの洞察をKG設定のために再検討し、拡張する。
エージェント計画時のKG選択, 組成, 故障診断を基本としたAAP(Agenic Affordance Profile)を導出する。
論文 参考訳（メタデータ） (2026-05-18T23:26:13Z) - LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning [6.77760769532626]
自然言語をAnswer Set Programming(ASP)に変換するフレームワークである"LLM+ASP"を紹介します。
我々のフレームワークはタスクごとのエンジニアリングなしで動作し、様々な推論タスクに一様に適用します。
論文 参考訳（メタデータ） (2026-04-30T14:55:48Z) - SAGE: A Service Agent Graph-guided Evaluation Benchmark [27.342044311161654]
本稿では,SAGE(Service Agent Graph-Guided Evaluation)を提案する。
SAGEは構造化されていないSOPを動的ダイアロググラフに形式化し、論理的コンプライアンスの正確な検証を可能にする。
また、モデルが論理的失敗にもかかわらず丁寧な会話ファサードを維持する現象である「共感回復」も観察する。
論文 参考訳（メタデータ） (2026-04-10T12:55:23Z) - SMGI: A Structural Theory of General Artificial Intelligence [2.538209532048866]
入力メタモデル$= (r,mathcal H,,mathcal L,mathcal E,mathcal M)$を介して一般知能構造モデル(SMGI)を定式化する。
我々は、汎用人工知能を、4つの義務を満たす許容可能な結合力学のクラスとして定義する。
逐次PAC-Bayes解析とリャプノフ安定性を結びつける構造一般化境界を証明した。
論文 参考訳（メタデータ） (2026-03-09T02:31:31Z) - CARD: Towards Conditional Design of Multi-agent Topological Structures [83.18278008173746]
CARD(Conditional Agentic Graph Designer)は、アダプティブマルチエージェント通信のためのプロトコルであるAMACPをインスタンス化する、条件付きグラフ生成フレームワークである。
CARDは、モデル能力やリソース可用性の変化に対して効果的かつレジリエントな通信構造を生成する。
論文 参考訳（メタデータ） (2026-03-01T13:02:36Z) - Agency and Architectural Limits: Why Optimization-Based Systems Cannot Be Norm-Responsive [0.0]
AIシステムは、標準によって管理されるという前提の下で、ハイステークな状況にますますデプロイされている。
本稿では,最適化システムに対して仮定が正式に無効であることを示す。
論文 参考訳（メタデータ） (2026-02-26T17:16:17Z) - Towards Understanding What State Space Models Learn About Code [5.605881212882263]
State Space Models (SSM) は、トランスフォーマーアーキテクチャの効率的な代替品として登場した。
近年の研究では、SSMは同様の条件下で訓練された場合、コード検索などのコード理解タスクにおいて、Transformerと一致したり、超えたりすることができることが示されている。
本稿では、SSMベースのコードモデルが実際に何を学習しているかを初めて体系的に分析し、SSMとTransformerベースのコードモデルの比較分析を行う。
論文 参考訳（メタデータ） (2026-02-06T15:29:46Z) - Embodied-RAG: General Non-parametric Embodied Memory for Retrieval and Generation [69.01029651113386]
Embodied-RAGは、非パラメトリックメモリシステムによるエンボディエージェントのモデルを強化するフレームワークである。
コアとなるEmbodied-RAGのメモリはセマンティックフォレストとして構成され、言語記述を様々なレベルで詳細に保存する。
Embodied-RAGがRAGをロボット領域に効果的にブリッジし、250以上の説明とナビゲーションクエリをうまく処理できることを実証する。
論文 参考訳（メタデータ） (2024-09-26T21:44:11Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。