
De la conformité ontologique à la reconfiguration admissible : argument d'adéquation RoSO/SMGI pour la gouvernance robotique
Un preprint arXiv (2605.08185, mai 2026) propose un cadre théorique qui relie la Robotic Service Ontology (RoSO) au Structural Model of General Intelligence (SMGI), développé par Osmani en 2026. RoSO fournit un vocabulaire sémantique typé pour décrire les services robotiques: fonctions, interactions et contraintes de déploiement. Mais la conformité à une ontologie ne répond pas à une question plus difficile: lorsqu'un service robotique est reconfiguré, recomposé, réparé ou redéployé, sous quelles conditions la configuration résultante reste-t-elle une réalisation admissible du même service protégé? Les auteurs embarquent formellement RoSO dans SMGI comme couche sémantique typée et démontrent trois résultats: un théorème d'adéquation RoSO/SMGI, des critères de reconfiguration préservant l'identité de service, et des conditions compositionnelles garantissant que des mises à jour localement acceptables restent globalement admissibles à l'échelle du système.
L'enjeu pratique est concret pour les intégrateurs et les industriels qui exploitent des flottes de robots de service. Les ontologies comme RoSO certifient qu'un système est "bien formé" à l'instant de la certification, mais elles restent muettes sur ce qui se passe en cours d'exploitation: patch logiciel, substitution de composant, changement de domaine de déploiement. SMGI ajoute précisément cette dimension dynamique via une interface structurelle θ et une sémantique comportementale induite T_θ, qui permettent de raisonner formellement sur les modifications à l'exécution. Dans le contexte réglementaire actuel, l'EU AI Act imposant une conformité continue pour les systèmes autonomes à haut risque, ce formalisme constitue un socle théorique pour concevoir des mécanismes de gouvernance robustes, au-delà des audits ponctuels de certification.
RoSO a émergé pour combler le manque de vocabulaire sémantique précis en robotique de service, notamment pour des déploiements multi-robots en environnements hétérogènes. SMGI, proposé par Osmani en 2026, modélise les systèmes intelligents à travers structure, comportement et gouvernance des normes. Ce travail s'inscrit dans une tendance plus large portée par l'IEEE RAS et le comité ISO/TC 299, qui cherchent à fonder formellement la certification continue des systèmes autonomes. Il faut noter que le papier reste un preprint non encore évalué par les pairs, sans déploiement industriel ni partenariat annoncé, et que son apport demeure théorique. La validation empirique sur des architectures concrètes comme ROS 2 ou l'intégration avec des cadres d'assurance existants tels qu'IEC 61508 constitueront les prochaines étapes naturelles.
Le cadre formel RoSO/SMGI pose un socle théorique pour concevoir des mécanismes de conformité continue compatibles avec l'EU AI Act pour les systèmes robotiques autonomes classés à haut risque.
Dans nos dossiers


