SLWM
Le modèle du monde. Il écrit un monde exact à partir de ces opérations et prouve ce qu’il dit.
Quand les modèles synthétiques et logiques rencontrent les données naturelles
Protocole récursif primitif
pour les modèles du monde multi-échelles
SGDL est un exolangage formel conçu pour la communication déterministe entre l’intelligence artificielle et les systèmes robotiques autonomes, qui encode les architectures de l’environnement, de l’échelle planétaire à l’échelle moléculaire, comme fonctions récursives primitives.
« Quand les données synthétiques et logiques rencontrent les données naturelles »
Un protocole récursif primitif pour les modèles du monde multi-échelles
SGDL est un exolangage formel pour la communication déterministe entre l’intelligence artificielle et les systèmes robotiques autonomes, qui encode les architectures de l’environnement, de l’échelle planétaire à l’échelle moléculaire, comme fonctions récursives primitives.
SLWM · UN EXOLANGAGE, TOUTES LES ÉCHELLES
De l’échelle planétaire à l’échelle moléculaire.
Le SLWM — le modèle du monde — écrit la planète, la ville, le moteur et la molécule dans un seul exolangage : non anthropomorphe, fait pour les machines, bâti sur des fonctions récursives primitives. Là où le neuralese produit des approximations statistiques, il énonce des vérités mathématiques invariantes. Le fil d’or est cette expression, qui inscrit chaque échelle sur une grille d’entiers qui ne se déplace pas.
La plaque du SLWM, vivante en trois dimensions : une planète en fil de fer qui tourne, avec un satellite en orbite ; une ville de solides exacts où un drone tourne dans sa bulle de sécurité ; un moteur dont les engrenages s’engrènent et tournent ; un réseau moléculaire en rotation, avec une orbite d’électron — côte à côte sur une seule grille d’entiers, et un seul fil d’or s’écrit de la planète jusqu’au réseau, puis revient du moléculaire au planétaire, allumant puis éteignant un nœud à chaque échelle, de dix millions de mètres jusqu’au nanomètre, et retour.
GROUPE SGDL+ARIADNE · GENÈVE · MONTRÉAL
Un groupe, une propriété intellectuelle : géométrie exacte, brevetée, normalisée.
SGDL Innovation SA détient le langage SGDL — Spatial General Descriptive Language, langage général de description spatiale —, ses métacourbes de Gray et son arithmétique des formes : une façon d’écrire l’espace en entiers, où un solide est une expression, où un point est intérieur, frontière ou extérieur, et où le calcul produit sa preuve avec son résultat. Le travail, ce sont cinq opérations. La propriété intellectuelle est bâtie sur elles. SGDL Innovation SA, à Genève, et Ariadne Geometry Inc., à Montréal, la détiennent.
CE QUE NOUS FAISONS
Cinq opérations. La propriété intellectuelle est bâtie sur elles.
Modélisation, simulation, indexation, chiffrement et communication de l’information spatiale. Vingt-et-un brevets, déposés en trois familles, servent ces cinq. Comment les actifs s’y appuient.
-
01 Modélisation
Un solide est une expression. Un point est intérieur, frontière ou extérieur, écrit en entiers. La famille d’encodage et l’arithmétique des formes sont cette écriture.
-
02 Simulation
La même expression est exécutée. Le résultat est le calcul, de l’échelle planétaire à l’échelle moléculaire.
-
03 Indexation
Les métacourbes de Gray donnent à chaque cellule une adresse. Une requête suit l’espace, ou les données. La taxonomie.
-
04 Chiffrement
Un signal est brouillé le long de la même courbe qui adresse l’espace. C’est la famille image et chiffrement.
-
05 Communication
Les machines se décrivent les objets et les contraintes spatiales dans l’exolangage, indépendamment de tout modèle particulier.
PRODUITS
Le SLWM et le WMCP appliquent la modélisation, la simulation, l’indexation, le chiffrement et la communication.
Ce sont des produits, pas les opérations elles-mêmes. Un résultat peut être prouvé dans Lean et montré comme une image. Chaque résultat porte un certificat de calcul.
WMCP
Le protocole. Un modèle de langage pose une question spatiale et reçoit un calcul.
Détenu.
21 brevets, déposés en trois familles — encodage, indexation en n dimensions, image et chiffrement — et bâtis sur cinq opérations : modélisation, simulation, indexation, chiffrement et communication.
Reconnu.
Depuis MPEG-4 AFX (ISO/IEC 14496-16, 2003 ; données synthétiques et logiques en 2006) : l’Alliance for OpenUSD, l’Open Geospatial Consortium, Khronos, et l’ISO/ASTM 52915. La contribution, c’est l’interface. Le mécanisme reste breveté.
Publié.
Une théorie de trente ans — l’arithmétique des formes (thèse, Université de Montréal, 1997), SGDL-Scheme (2000), le manuel SGDLscript (2003), la charte de l’exolangage — et 1 962 théorèmes de noyau (2026), vérifiés par Lean 4, qu’un tiers rejoue par une seule commande.
DEUX ÉTUDES DE CAS INTERACTIVES
Exécutez vous-même les opérations.
Deux études calculées sur des données réelles. Chacune s’exécute dans la page : déplacez un point, déplacez une erreur, et lisez ce que le calcul exact répond.
Interactif · Indexation
Une tuile de 10 m sur une Terre ronde.
Une tuile de 10 m ne fait pas 10 m au pôle, et deux grilles voisines ne s’accordent pas sur leur couture. Une métacourbe de Gray parcourt les six faces du cube et donne à chaque cellule une adresse, de Genève au Svalbard.
- Déplacer un point de Genève au pôle
- Tirer le cube vers la sphère
- Parcourir l’index sur les six faces
Interactif · Modélisation · Simulation
Le scanner sur la radiographie, au millimètre prouvé.
Un scanner préopératoire recalé sur une radiographie peropératoire : six nombres exacts, une erreur bornée, et un verdict Lean qui certifie la pose ou la refuse. Douze cas réels, rejouables.
- Fondre la mesure et le modèle
- Déplacer l’erreur à la main
- Voir le certificat décider
Quatre domaines
Comment fournir une vérité spatiale à une IA. Cinq voies ont été essayées. Une est exacte en entiers. Quatre domaines sont écrits sur elle.
Économie de basse altitude
Corridors et volumes d’exclusion comme solides nommés, du tunnel jusqu’à l’air.
Planétaire
Terrain exact et autonomie sans GNSS, ancrés aux modèles d’élévation publics.
GEO-TRUST-SPACE
Données d’observation, filtrées par des solides exacts qu’une IA peut vérifier.
Mine 4.0
L’entrée dans une zone est un verdict ternaire : intérieur, frontière ou extérieur.
Développement d’entreprise, partenariats stratégiques, institutions, presse.
Contact