提出用SMGI框架保障机器人服务在动态调整后仍合规可用
From Ontology Conformance to Admissible Reconfiguration: A RoSO/SMGI Adequacy Argument for Robotic Service Governance
- 将机器人服务本体嵌入SMGI结构，实现语义可治理
- 建立配置变更后仍合法的判定准则与组合条件
- 适合关注服务运行时安全与合规性的系统设计者
机器人服务本体（RoSO）为服务机器人提供类型化的语义词汇，涵盖服务、功能、交互及部署敏感约束。其公开的修订轨迹揭示了比本体符合性更深层的问题：服务经重新绑定、重组、修复或重部署后，在何种条件下新配置仍属同一受保护服务的可接受实现？本文论证，通用智能结构模型（SMGI）正适用于此层面。SMGI不仅引入结构接口θ，还带来诱导行为语义T_θ和规范尊重型治理机制。我们证明罗索可被嵌入SMGI作为类型化语义层，使服务描述变为动态可治理而非仅形式正确。由此得出罗索到SMGI的适切性定理、身份保持的重构准则，以及局部可接受更新仍全局合法的组合条件。结论并非取代罗索，而是为服务语义需经修订仍存续的情形，提供正式的运行时变更必要条件。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。