From Ontology Conformance to Admissible Reconfiguration: A RoSO/SMGI Adequacy Argument for Robotic Service Governance
Not on the map. Why?
Abstract (arXiv)
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 citeposmani2026smgi. 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.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 1 of its 37 references that are in the map. First posted on arXiv 5 May 2026.
Builds on
1 of 37 references.
References · 1
- 2020Semantic Task Planning for Service Robots in Open Worldcited by 5
Built on by
Not cited yet.