Un langage de programmation pour décrire la pensée
JIDEL — un langage de programmation qui décrit
et exécute le flux de la pensée
JIDEL signifie Ji's Idea DEscription Language — un langage qui se tient entre la langue naturelle et les langages de programmation pour décrire pensée, relations et contexte. Contrairement aux langages ordinaires qui traitent procédures et données, JIDEL traite les concepts, relations, contexte, valeurs relatives et jugements polyvalents.
Proposition de recherche Piste de mise en œuvre Hypothèse à vérifier
Proposition de recherche
Un langage né d’un seul ver à soie
Printemps 2011, le devoir de vacances d’un neveu — observer des larves de ver à soie
L’idée de JIDEL est née au printemps 2011, à partir de l’observation de larves de ver à soie qui constituait le devoir de vacances d’un neveu.
En observant plusieurs jours durant le ver à soie tisser son cocon, le concepteur vit que le comportement d’un être vivant se divise en quelques couches, avec des embranchements de jugement entre elles. Cette observation devint une note longtemps conservée sur la classification des comportements, et grandit en une seule question — pourquoi n’existe-t-il aucun langage capable de consigner la structure de la pensée sans la perdre ? La langue naturelle est riche mais ne s’exécute pas ; les langages de programmation s’exécutent mais étaient bien trop étroits pour contenir la pensée.
Lit les valeurs par comparaison, non par coordonnées absolues
Place plusieurs niveaux entre le vrai et le faux
Le sens naît des liens, non des nœuds
Sans cesse remanié par simplification et abstraction
Son développement suit les axes simplification, abstraction et cohérence, et son rôle à long terme est de devenir un outil commun pour décrire et expérimenter les concepts de Neutom Network, BOSIFWEM et ECONAS.
Proposition de recherche
Cinq axes de conception
Les cinq piliers sur lesquels reposent la grammaire et le modèle d’exécution
La grammaire et le modèle d’exécution de JIDEL reposent sur les cinq axes suivants. Parmi eux, la notation postfixée est la première impression du langage — l’ordre d’une phrase coréenne est l’ordre de l’exécution.
Notation postfixée — un modèle d’exécution suivant l’ordre des mots coréen
Les opérandes (noms) se placent d’abord, et l’opérateur (prédicat) vient en dernier pour achever l’évaluation. Cela reflète la structure d’une phrase coréenne achevée par son prédicat final ; l’analyse au niveau des syntagmes et le traitement des particules sont le fondement de la conception grammaticale.
Programmation orientée relation (ROP)
Tout — concepts, données, jusqu’au code — est saisi comme une toile de relations interconnectées. Le sens d’un nom n’est pas une définition, mais le faisceau des arêtes reliées à ce nœud.
Code = Données = Information
Les commandes, routines et fonctions sont traitées comme des valeurs (code = données), et le code JIDEL se déverse aussi comme information dans le Neutom Network. Son unité de calcul, le Jactor, est un concept distinct qui étend l’Actor.
Système de logique polyvalente
Il ne pose pas deux valeurs — vrai et faux — mais six états logiques. L’« état inconnu » n’est pas une erreur, mais une valeur logique à part entière, et chaque valeur porte avec elle une confiance.
Opérations sur les valeurs relatives
Une valeur n’est pas saisie comme une échelle absolue, mais comme l’endroit où elle tombe entre les deux extrêmes de tout ce qu’on a vécu jusqu’ici. Le même nombre change de place selon le groupe où on le met.
Proposition de recherche
Orienté relation — le sens naît du lien
Le sens d’un nom = le faisceau des arêtes accrochées à son nœud
JIDEL voit les concepts, les données et le code comme une toile de relations interconnectées. Le sens d’un nom n’est pas une définition écrite quelque part, mais se révèle dans ce à quoi il est relié, et comment.
Piste de mise en œuvre
Le code est aussi de l’information — de JIDEL au Neutom Network
Code = Données = Information · le code écrit en JIDEL s’écoule comme information dans le Neutom Network
JIDEL traite des ensembles de commandes, de routines et de fonctions comme des valeurs — reliant données et code en un seul tout par des adresses (pointeurs), afin que le code puisse être comparé, évalué et composé (le principe code = données). De là, il va un pas plus loin. Le code source et le code en langage intermédiaire (IBC) écrits en JIDEL se déversent directement comme une sorte d’information fondamentale que traite le Neutom Network. Car dans la liste des informations sources du Neutom Network, aux côtés des informations physiques, mathématiques, conceptuelles et BOSIFWEM, « l’information JIDEL » occupe une place à part entière. Le code est un citoyen à égalité avec les données et l’information — et donc « de première classe ».
IBC (Idea Block Code, un langage intermédiaire), devenant un savoir à transplanter dans une conscience artificielle, et se déverse dans la catégorie « information JIDEL » de l’information fondamentale du Neutom Network — code = données = information. Fondement : dans les catégories d’information de la « Note sur l’information fondamentale », « l’information JIDEL » figure aux côtés des informations physiques, mathématiques, conceptuelles et BOSIFWEM. Piste de mise en œuvreAu-delà de von Neumann — vers un paradigme plus souple et plus libre
Depuis von Neumann, l’informatique perpétue depuis longtemps l’idée de traiter séparément les instructions (le code) et les données. Voir le code comme des données, c’est abattre cette frontière rigide — un changement de regard vers une programmation plus souple et libre.
① Procédural · tradition
Code → Données
Le code manipule des données passives. Depuis von Neumann, les deux sont strictement séparés.
② Connexionnisme · réseaux de neurones
Données → Code
Les données d’entraînement façonnent le modèle (les poids = en fait, un programme). Au lieu d’écrire du code, on le cultive à partir des données.
③ JIDEL · intégration
Code = Données = Information
Code, données et modèles sont tous vus comme de l’information, passant librement de l’un à l’autre.
Cette troisième voie a un long précédent — LISP, il y a un demi-siècle, traitait déjà le code et les données selon la même structure (homoiconicité), fissurant pour la première fois la dichotomie de von Neumann. JIDEL élargit cette tradition à l’ère des réseaux de neurones : en desserrant les frontières rigides entre code, données et modèle, afin que tous circulent librement comme une seule information (une union à trois). Lorsqu’un programme peut traiter comme information jusqu’à lui-même et son modèle d’apprentissage, alors — se réparant (auto-modification), réfléchissant à ses propres pensées (métacognition) et se transformant vers un but — la volonté devient enfin possible.
Piste de mise en œuvre
Jactor — un objet actif qui étend l’Actor
Une unité de calcul dotée de relations, de messages urgents et de modélisation dynamique · un mot-clé de JIDEL
Penser est un processus de simulation, où l’on déplace des images dans l’esprit. Pour cela, les unités de calcul doivent échanger des messages d’elles-mêmes et modifier leur propre structure selon la situation. Le Jactor est un mot-clé de JIDEL qui étend l’Actor des autres langages — une unité de calcul dotée d’un état, qui échange de façon autonome des messages asynchrones. À l’Actor il ajoute des relations, des messages urgents (prioritaires) et une modélisation dynamique, devenant un objet actif qui noue lui-même des relations, traite d’abord les signaux urgents et se remodèle en cours d’exécution.
Piste de mise en œuvre
Une logique à six états — faire de l’inconnu une valeur logique à part entière
Non pas deux — vrai et faux — mais six
Les valeurs logiques de JIDEL ne sont pas deux — vrai et faux — mais six. L’essentiel est que l’« état inconnu » n’est pas une erreur, mais une valeur logique à part entière.
- Nous étudions un encodage des six états sur 8 bits, accompagnés d’un canal de confiance. La disposition est agencée pour qu’une valeur initialisée à
0devienne Non évalué (I). - Les opérations sont traitées rapidement par des tables de correspondance, et les lois de calcul (associativité, distributivité, etc.) sont vérifiées par une vérification machine exhaustive sur toutes les combinaisons. Nous avons construit un vérificateur portant sur les 2,16 millions de combinaisons, et il a passé 216 conditions de cohérence.
- Le choix des règles à adopter est géré dans un registre de décisions — trente-quatre points y figurent, dix-sept sont arrêtés, les autres restent en suspens. Si la vérification révèle un contre-exemple, nous corrigeons la conception.
Pourquoi six ?
Dans la réalité, le jugement s’arrête plus souvent à « je ne sais pas encore », « cela pourrait être ceci ou cela » ou « les fondements se contredisent » qu’au vrai ou au faux. Si l’on traite ces états comme des valeurs au lieu de les rejeter comme des erreurs, la suspension et la reprise du jugement, ainsi que l’accumulation et la rétrogradation de la certitude, peuvent s’écrire dans un programme.
Piste de mise en œuvre
La spirale du savoir — l’ordre selon lequel tournent les six états
Partir de Non évalué et revenir à Inconnu
Les six états ne sont pas une liste étalée : ils ont un ordre de rotation. Cela commence à Non évalué (I), pas encore demandé ; passe par Superposition (S), où les candidats se recouvrent ; est jugé Vrai (T) ou Faux (F) ; atteint Paradoxe (P) quand les fondements se contredisent ; et de là revient à Inconnu (M). Cet inconnu n’est pas le non-évalué du début — car c’est un inconnu obtenu après avoir demandé.
Aussi cette logique ne tient-elle aucun état pour un point d’arrivée. La certitude s’accumule, et elle est aussi rétrogradée — un contre-exemple la fait descendre, et à l’instant où elle vise le savoir ultime, elle recule d’elle-même. Là où la logique occidentale n’a calculé qu’avec des états arrêtés, l’ancienne notion orientale de culture de soi entre comme règle de calcul. L’humilité y est intégrée non comme une exhortation morale mais comme une règle de calcul — telle est la ligne directrice de cette conception.
Piste de mise en œuvre
Opérations sur les valeurs relatives — lire l’espace entre les extrêmes
Théorie de l’interpôle · non pas « 187 cm » mais « plutôt grand »
Les gens ne pensent pas « cette personne mesure 187 cm » — ils ressentent simplement « plutôt grand ». Une valeur n’est pas une échelle absolue ; elle se place par l’endroit où elle tombe entre les deux extrêmes (min et max) de tout ce qu’on a vécu jusqu’ici : (x − min) / (max − min). Et cette place change selon le groupe où l’on se trouve — le même 187 est « moyen » dans une équipe de basket et « grand » ailleurs.
Hypothèse à vérifier
Cadres prédicatifs — une phrase est un cadre qui ouvre des créneaux
Les noms comme processus, non comme valeurs
C’est une orientation de recherche récente. Les noms sont traités non comme des valeurs fixes mais comme des processus évalués selon des conditions, et une phrase est vue comme un cadre de créneaux interrogatifs ouverts par le prédicat.
- Évaluation paresseuse des noms — un nom est une fonction à évaluation paresseuse de [condition → phénomène], et l’acte de le référencer est l’observation. Les particules (i/ga, eul/reul, eseo…) sont des opérateurs qui attachent des conditions, et le prédicat en fin de phrase est le déclencheur de l’évaluation.
- Créneaux interrogatifs — qui, quoi, quand, où, pourquoi, comment, auxquels s’ajoutent à qui, avec quoi, combien, et-alors, etc. : quatorze créneaux forment la structure lacunaire de la phrase. Un créneau non rempli n’est pas une erreur, mais demeure une valeur Inconnu (M).
- Moteur de curiosité — nous explorons des moyens de soutenir, au niveau du langage, l’acte de repérer et de combler les créneaux vides. Poser une question, c’est faire apparaître au grand jour un créneau inconnu.
Ce qui reste à vérifier
La notation grammaticale des créneaux de condition, la syntaxe de contrôle du moment d’évaluation (immédiat/paresseux/réobservation) et le typage du système de traits des créneaux ne sont pas encore arrêtés. Ces hypothèses sont traitées dans le registre des décisions, avec la conception des valeurs relatives.
Proposition de recherche
Les possibilités qu’ouvre ce langage
Au-delà des spécifications techniques — ce que cela signifie pour les utilisateurs et les soutiens
Des pensées qui ne se perdent pas
Les notes s’accumulent, mais les liens entre les pensées s’effacent. Parce que JIDEL consigne jusqu’aux relations et au contexte entre un concept et un autre, le carnet de recherche d’une personne et le savoir d’une organisation deviennent non de simples documents interrogeables, mais des actifs reliés.
Un logiciel qui sait dire « je ne sais pas »
L’IA d’aujourd’hui porte le problème d’affirmer avec assurance jusqu’à ce qu’elle ignore. Parce que la logique polyvalente de JIDEL traite l’inconnu, la superposition et la contradiction comme des valeurs formelles, elle montre à la fois les fondements d’un jugement et le degré de certitude — une qualité dont ont besoin les domaines où la confiance est vitale, comme la médecine, la finance et le soin.
Une technologie qui part du coréen
La notation postfixée et la grammaire des syntagmes prennent l’ordre des mots coréen lui-même comme modèle d’exécution. Un langage de programmation écrit dans l’ordre même où l’on pense en coréen est une tentative rare de faire de la langue elle-même un actif technologique.
Piste de mise en œuvre
Objectifs à court terme et sa place
La documentation, et un interpréteur fonctionnel qui exécute de petits exemples
L’objectif à court terme est de documenter le système grammatical et la sémantique d’exécution, et de construire un interpréteur fonctionnel qui exécute réellement de petits exemples.
- Grammaire de base : notation postfixée · expression orientée relation · code en tant que données
- Modèle d’exécution : exécution à base de pile · opérations dépendant du contexte · traitement des valeurs relatives · jugement polyvalent
- Mise en œuvre : un interpréteur minimal · un recueil d’exemples · un document de spécification · un vérificateur logique
Dans l’ordre de l’ensemble de la recherche, JIDEL est la première brique — ce n’est qu’une fois JIDEL réalisé que l’on peut bâtir avec lui le Neutom Network, et ce n’est que lorsque la théorie BOSIFWEM et le Neutom Network se rejoignent que l’on peut se diriger vers ECONAS.
Proposition de recherche
À voir aussi
Cette page est un résumé, destiné aux visiteurs, des documents de conception de JIDEL. Les archives de recherche sont publiées sur le tableau de recherche.
JIDEL est conçu sur l’influence des langages concaténatifs de la famille Forth·Factor et de langages tels que C, Python, Prolog et Lisp, augmentée de la théorie grammaticale coréenne et de la recherche sur la logique polyvalente.
Pour que ce langage grandisse, il lui faut du temps sans interruption
JIDEL est une recherche fondamentale au long souffle, qui ne se mesure pas à des résultats trimestriels. Le soutien ne devient ni bureaux ni publicité, mais du temps de recherche, et ce temps revient à tous sous forme d’implémentation, de documents de spécification et d’archives publiées.
Cette page est un résumé, destiné aux visiteurs, de la recherche de conception de JIDEL. Influences : langages concaténatifs de la famille Forth·Factor, C·Python·Prolog·Lisp, ainsi que la recherche en grammaire coréenne et en logique polyvalente.