論文の概要: 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アデクティメント
• Authors: Aomar Osmani,
• 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を置き換えるのではなく、サービスセマンティクスがリビジョンを生き残らなければならない場合に、許容可能なランタイム変更が要求するものの正式な説明を提供する、というものである。

関連論文リスト

• 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)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。