RoSO embeds into SMGI as a typed semantic layer, yielding an adequacy theorem, identity-preserving reconfiguration criteria, and compositional conditions for globally admissible updates.
A new formal theory of agi part i: The structural admissibility kernel (smgi)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.RO 1years
2026 1verdicts
UNVERDICTED 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
From Ontology Conformance to Admissible Reconfiguration: A RoSO/SMGI Adequacy Argument for Robotic Service Governance
RoSO embeds into SMGI as a typed semantic layer, yielding an adequacy theorem, identity-preserving reconfiguration criteria, and compositional conditions for globally admissible updates.