From Ontology Conformance to Admissible Reconfiguration: A RoSO/SMGI Adequacy Argument for Robotic Service Governance
AI总结 本文探讨了在服务机器人系统中,当服务被重新绑定、重组、修复或重新部署后,如何确保其配置仍符合原始服务规范的问题。研究提出将机器人服务本体(RoSO)嵌入结构化通用智能模型(SMGI),通过引入结构接口和行为语义,实现对服务描述的动态治理。该方法不仅提供了RoSO到SMGI的充分性定理,还给出了保持身份不变的重构条件,为服务语义在修订过程中保持一致提供了形式化保障。
Comments 26 pages