From Ontology Conformance to Admissible Reconfiguration: A RoSO/SMGI Adequacy Argument for Robotic Service Governance
This academic paper, submitted to arXiv in May 2026 by author Aomar Osmani, addresses a critical challenge in service robotics governance. While the Robotic Service Ontology (RoSO) provides a typed semantic vocabulary for services and constraints, it does not fully resolve how to maintain service identity during dynamic changes like rebinding or redeployment. The article argues that the Structural Model of General Intelligence (SMGI) offers the necessary framework to handle these scenarios. By embedding RoSO into SMGI as a typed semantic layer, the proposed approach introduces a structural interface and induced behavioral semantics. This integration allows for a governance discipline that ensures norm-respecting changes. The study presents a RoSO-to-SMGI adequacy theorem, establishing criteria for identity-preserving reconfiguration and compositional conditions for global admissibility of local updates. Ultimately, the work posits that SMGI does not replace RoSO but provides a formal account of admissible runtime changes, ensuring service semantics survive revision. This theoretical advancement aims to make service descriptions dynamically governable rather than merely well-formed, enhancing the robustness of robotic service systems.
Wire timeline
From Ontology Conformance to Admissible Reconfiguration: A RoSO/SMGI Adequacy Argument for Robotic Service Governance
This academic paper, submitted to arXiv in May 2026 by author Aomar Osmani, addresses a critical challenge in service robotics governance. While the Robotic Service Ontology (RoSO) provides a typed semantic vocabulary for services and constraints, it does not fully resolve how to maintain service identity during dynamic changes like rebinding or redeployment. The article argues that the Structural Model of General Intelligence (SMGI) offers the necessary framework to handle these scenarios. By embedding RoSO into SMGI as a typed semantic layer, the proposed approach introduces a structural interface and induced behavioral semantics. This integration allows for a governance discipline that ensures norm-respecting changes. The study presents a RoSO-to-SMGI adequacy theorem, establishing criteria for identity-preserving reconfiguration and compositional conditions for global admissibility of local updates. Ultimately, the work posits that SMGI does not replace RoSO but provides a formal account of admissible runtime changes, ensuring service semantics survive revision. This theoretical advancement aims to make service descriptions dynamically governable rather than merely well-formed, enhancing the robustness of robotic service systems.
cs.AI updates on arXiv.org