Professional Documents
Culture Documents
Pierre Lvy
24 dcembre 2013
Darcia Labrosse
Table des matires
2. Syntaxe 9
2.1. LAlgbre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.1.1. Les symboles initiaux . . . . . . . . . . . . . . . . . . . . 9
2.1.2. Les squences . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.1.2.1. Mode de construction des squences . . . . . . . 9
2.1.2.2. Couches des squences . . . . . . . . . . . . . . . 10
2.1.2.3. Les trois smes dune squence : substance, at-
tribut, mode . . . . . . . . . . . . . . . . . . . . 10
2.1.2.4. La multiplication . . . . . . . . . . . . . . . . . . 10
2.1.3. Les ensembles de squences . . . . . . . . . . . . . . . . . 11
2.1.3.1. Types densembles . . . . . . . . . . . . . . . . . 11
2.1.3.2. Laddition . . . . . . . . . . . . . . . . . . . . . 11
2.1.4. Codage de lAlgbre . . . . . . . . . . . . . . . . . . . . . 11
2.1.4.1. Caractrisation mathmatique, calculabilit . . . 12
2.1.4.2. Il existe plusieurs notations pour un mme rsultat 12
2.2. Le Script . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2.1. Convention dcriture : Script et script . . . . . . . . . . . 13
2.2.2. Correspondance bi-univoque entre ensembles de squences
et scripts . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
TABLE DES MATIRES
3. Smantique 31
3.1. Les circuits paradigmatiques du dictionnaire . . . . . . . . . . . . 31
3.1.1. Quelques dfinitions . . . . . . . . . . . . . . . . . . . . . 31
3.1.1.1. Le dictionnaire . . . . . . . . . . . . . . . . . . . 31
3.1.1.2. Diffrence entre rhizome et circuit smantique . 31
3.1.1.3. Transcodage dun rhizome en circuit smantique 31
3.1.1.4. Complexit des circuits smantiques . . . . . . . 32
3.1.2. Mthode de construction des cls originales . . . . . . . . 32
3.1.2.1. Structure gnrale de la mthode de construc-
tion de cls originales . . . . . . . . . . . . . . . 32
3.1.2.2. Algorithme de construction de cl . . . . . . . . 32
3.1.2.3. Slection des filaments et des bulbes ne pas
ouvrir . . . . . . . . . . . . . . . . . . . . . . . . 32
3.1.2.4. Relations entre termes des cls originales . . . . 33
3.1.2.5. Super-cls . . . . . . . . . . . . . . . . . . . . . . 34
3.1.2.6. Le trousseau de cls interoprables du lexique de
base . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.1.3. La cl *O:O:.** . . . . . . . . . . . . . . . . . . . . . . . . 34
3.1.3.1. Canaux paradigmatiques . . . . . . . . . . . . . 35
3.1.3.2. Relations smantiques entre les termes . . . . . 36
3.1.4. La cl *O:M:.** . . . . . . . . . . . . . . . . . . . . . . . . 38
3.1.4.1. Les six termes singuliers . . . . . . . . . . . . . . 38
3.1.4.2. Les deux dialectiques . . . . . . . . . . . . . . . 39
3.1.5. La cl *E:F:.O:M:.** . . . . . . . . . . . . . . . . . . . . . 40
3.1.5.1. Invariance du sme en rle de substance et va-
riation du sme en rle dattribut . . . . . . . . 40
3.1.5.2. Invariance du sme en rle dattribut et variation
du sme en rle de substance . . . . . . . . . . . 42
3.1.5.3. Matrice des termes singuliers . . . . . . . . . . . 42
3.1.5.4. Pour conclure cette liste dexemples : procds
heuristiques . . . . . . . . . . . . . . . . . . . . . 42
3.1.6. Mthode de construction des cls drives . . . . . . . . . 43
3.1.6.1. Thesaurii drivs du lexique du base . . . . . . . 43
3.1.6.2. Cls analogiques . . . . . . . . . . . . . . . . . . 44
3.1.6.3. Cls spciales . . . . . . . . . . . . . . . . . . . . 44
3.1.7. Le dictionnaire . . . . . . . . . . . . . . . . . . . . . . . . 47
TABLE DES MATIRES
4. Transcodage syntaxe-smantique 77
4.1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
4.1.1. Variables globales . . . . . . . . . . . . . . . . . . . . . . 77
4.1.2. Fonctions globales . . . . . . . . . . . . . . . . . . . . . . 78
4.1.3. Fonctions globales de cration de relations . . . . . . . . 80
4.2. De lAlgbre vers le Script . . . . . . . . . . . . . . . . . . . . . . 81
4.2.1. Lalgorithme SCRIPT_COMPRESSOR . . . . . . . . . 81
4.2.2. Lalgorithme SEME_MATCHER . . . . . . . . . . . . . . 82
4.2.3. Lalgorithme SCRIPT_SOLVER . . . . . . . . . . . . . . 82
4.3. Du Script vers le Rhizome . . . . . . . . . . . . . . . . . . . . . . 85
4.3.1. Lalgorithme RHIZOME . . . . . . . . . . . . . . . . . . 85
4.3.2. Lalgorithme SCRIPT_DECOMPRESSOR . . . . . . . . 87
4.3.3. Construction de cls . . . . . . . . . . . . . . . . . . . . . 87
4.4. Du Rhizome vers la Sphre smantique . . . . . . . . . . . . . . 88
4.4.1. Lalgorithme WORDS . . . . . . . . . . . . . . . . . . . . 88
4.4.2. Lalgorithme CLAUSE . . . . . . . . . . . . . . . . . . . 89
4.4.3. Lalgorithme PHRASE . . . . . . . . . . . . . . . . . . . 89
4.4.4. Lalgorithme TRAVERSE . . . . . . . . . . . . . . . . . . 90
4.4.5. Lalgorithme SEMANTIC_NETWORK . . . . . . . . . . 92
5. Formalisation mathmatique 95
5.1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
5.2. Le langage rgulier IEML . . . . . . . . . . . . . . . . . . . . . . 96
5.2.1. Modle du langage . . . . . . . . . . . . . . . . . . . . . . 96
5.2.2. Modle des squences smantiques . . . . . . . . . . . . . 97
5.2.3. Modle des catgories smantiques . . . . . . . . . . . . . 98
5.2.4. Langage des catgories . . . . . . . . . . . . . . . . . . . . 99
5.2.5. Types de catgories smantiques . . . . . . . . . . . . . . 100
5.2.6. Modle des Catsets et des USL . . . . . . . . . . . . . . . 100
TABLE DES MATIRES
3.1. Les quatre canaux paradigmatiques entre les termes des cls ori-
ginales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2. Les 4 types de relations paradigmatiques originales . . . . . . . . 47
3.3. Les 4 types de relations paradigmatiques drives (analogiques et
spcialises) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.4. Hirarchie des units propositionnelles . . . . . . . . . . . . . . . 50
3.5. Hirarchie des units textuelles et hypertextuelles . . . . . . . . . 52
3.6. Les 4 types de canaux des circuits nonciatifs . . . . . . . . . . . 71
Introduction la grammaire
dIEML
4. Prcisons bien le sens des termes : IEML est un langage formel et la sphre smantique est
le systme de coordonnes gnr par ce langage. La sphre smantique comprend lensemble
des textes du langage IEML.
5. En particulier dans le chapitre 9.
6. Dans le chapitre 8.
7. Notamment dans les chapitres 10 et 11.
La Grammaire dIEML 3
ceux qui craignent que mon systme ne limite la libert des interprtations
et la crativit conceptuelle. Je montre en particulier quun mdium numrique
quip de la sphre smantique IEML abritera une mmoire hermneutique fa-
vorisant non seulement linteroprabilit smantique mais encore une puissance
de diffrentiation conceptuelle et de diversification interprtative sans prcdent
dans lhistoire des technologies intellectuelles 8 .
La sphre smantique se prsente comme le systme de coordonnes dun
cosmos de lesprit inpuisablement complexe, abritant une varit sans limite
dcosystmes dides. La grille de ce systme de coordonnes comporte plus de
noeuds 9 que lunivers physique ne contient de particules lmentaires. IEML
nimpose aucune limite aux possibilits dexpression de nouveaux sens ou
lajout de significations indfiniment plus prcises. La sphre smantique pourra
tre librement utilise par les conversations cratives en ligne - qui sorganisent
aujourdhui sur les plates-formes de mdias sociaux et de jeux massivement
multi-joueurs - afin de modliser rflexivement leur propre intelligence collec-
tive. Elle pourra aussi servir de point dappui lunification et lexplora-
tion fconde dune mmoire hermneutique globale exploitant locan des don-
nes numriques. Elle permettra daccomplir la mutation pistmologique des
sciences de lhomme annonce par les digital humanities et pourra tre mise
au service dun dveloppement humain multidimensionnel.
fond IEML, puis montre quil existe une transformation symtrique automa-
tique entre ce langage rgulier et un graphe fractal hyper-complexe appel le
Rhizome IEML.
Le chapitre 3 suivant, Smantique, prsente dabord la structure du dic-
tionnaire dIEML : un ensemble de graphes paradigmatiques reprsentant les
relations smantiques entre les termes, puis la structure des noncs en IEML :
phrases, textes et hypertextes.
Le chapitre 4, Transcodage syntaxe-smantique contient un des lments-
cls du dispositif de la sphre smantique puisquil formalise les algorithmes qui
transforment la syntaxe dIEML en smantique. En dautres termes, ce chapitre
dcompose pas pas la transformation dun objet mathmatique - le langage
rgulier IEML - en objet linguistique : un ensemble de rseaux smantiques
exprims en langues naturelles.
Finalement, le chapitre 5, Formalisation mathmatique prsente les as-
pects syntaxiques et smantiques dIEML sur un mode mathmatique. Jy d-
montre notamment que le graphe hypercomplexe sous-jacent aux relations in-
ternes de la sphre smantique IEML (le Rhizome) est un groupe de transfor-
mations calculables (une catgorie , au sens mathmatique). La section 5.7
finale de ce dernier chapitre suggre un certain nombre de mthodes quanti-
tatives (bases sur la thorie spectrale des graphes) qui pourraient tre utiles
pour la mesure des similarits structurales et des distances au sein de la sphre
smantique IEML.
6 Introduction la grammaire dIEML
1.5 LAlgbre
Le niveau de base dans la partie la plus basse de la figure 1.1 reprsente une
structure algbrique relativement simple que jappelle lAlgbre IEML ou, de
manire abrge, lAlgbre (avec une initiale majuscule). Il sagit dun groupe
de transformations calculables sur des variables construites partir de lalphabet
{E, U, A, S, B, T} et dont les oprations additives et multiplicatives peuvent tre
en principe automatises sans difficults. Cette Algbre est dcrite de manire
familire dans la section 2.1. Elle est formalise au chapitre 5 dans la section 5.2
comme un langage rgulier ; la section 5.3 examine sa structure de groupe et la
section 5.4 prouve la calculabilit des oprations.
1.6 Le Script
Le Script IEML ou, de manire abrge, le Script, est reprsent par le
second niveau gris en partant du bas dans la figure 1.1. Il sagit dune notation
particulire de lAlgbre, notation qui est dcrite dans la section 2.2. Les diverses
expressions algbriques qui sont gales entre elles se traduisent par un code
unique en Script. Inversement, tout code Script correspond une et une seule
expression algbrique valide.
Entre le niveau de lAlgbre et celui du Script opre un algorithme de trans-
codage rciproque qui traduit les expressions algbriques en Script et les codes
Script en expressions algbriques. La structure de lalgorithme non trivial qui
code lAlgbre en Script est dcrite de manire non-formelle la section 2.3 et
formalise la section 4.2.
1.7 Le Rhizome
La principale caractristique du Script est de programmer la construction
de la structure de graphes hyper-complexes quest le Rhizome. Le Rhizome est
figur par le troisime niveau gris de la figure 1.1 en partant du bas. Les som-
mets du Rhizome sont des codes scripts et ses artes reprsentent les relations
opratoires entre les codes Script. Les quatre relations principales dcoulent
des oprations algbriques : ordre ( >) et symtrie (u) multiplicative, ordre
( >) et symtrie (u ) additive. La topologie du Rhizome est dcrite la sec-
tion 2.4 et formalise aux sections 5.5 et 5.6. Cette topologie a t conue afin de
supporter les rseaux smantiques (paradigmatiques, syntagmatiques, textuels et
inter-textuels) qui organisent les units de sens dIEML, aussi bien en langue
qu en parole .
La Grammaire dIEML 7
1.8 Le Dictionnaire
Dans le chapitre 2 sur la syntaxe, il ne sera question que dalgbre, de codes,
dalgorithmes et de graphes, sans aucun lment reconnaissable de linguistique
ou de smantique. Mais les trois premiers niveaux partir du bas sur la figure
1.1 reprsentent la base indispensable dune smantique calculable. En effet, le
Script tablit une correspondance automatique entre lalgbre IEML - dune
part - et les graphes hypercomplexes du Rhizome - dautre part. Cest cette
correspondance qui fait des graphes rhizomatiques les variables dun groupe de
transformations (plus exactement, une catgorie au sens mathmatique) et
qui autorise donc le calcul sur les graphes hypercomplexes supportant les relations
smantiques entre les expressions du langage IEML.
Lintervention humaine commence au troisime transcodeur inter-niveau
partir du bas sur la figure 1.1. A ce stade, des ingnieurs smantiques choi-
sissent des sous-ensembles du Rhizome et les interprtent en langues naturelles.
Le rsultat forme un dictionnaire, qui se prsente comme un ensemble de cir-
cuits paradigmatiques. Les mthodes de construction et la structure des circuits
paradigmatiques du dictionnaire sont dcrits la section 3.1.
1.10 Rsum
1. Il existe une correspondance automatique entre, dune part, les circuits
smantiques propres la langue artificielle IEML et, dautre part, lal-
gbre IEML qui est par dfinition calculable. En dautres termes, Il
existe une correspondance automatique entre la syntaxe et la smantique
dIEML.
2. Les circuits paradigmatiques du dictionnaire tablissent une correspon-
dance automatisable entre la langue artificielle IEML et les langues na-
turelles.
8 Introduction la grammaire dIEML
1.12 Remerciements
La recherche qui a men linvention dIEML a t finance par le Pro-
gramme fdral des chaires de recherche du Canada et par le Conseil de recherche
en sciences humaines (CRSH) du Canada.
Chapitre 2
Syntaxe
2.1 LAlgbre
2.1.1 Les symboles initiaux
Les six symboles lmentaires {E, U, A, S, B, T} de notre Algbre IEML
rpondent aux noms de vide (E), virtuel (U), actuel (A), signe (S), tre (B) et
chose (T).
L0 L1 L2 L3 L4 L5 L6
1 3 9 27 81 243 729
La longueur L dune squence est gale au nombre de symboles dont elle est
compose. Ces squences sont orientes, cest--dire quelles ont un dbut et une
fin, ou - si lon veut - un symbole initial et un symbole terminal.
2.1.2.4 La multiplication
Les oprations algbriques pour construire des squences sont appeles des
multiplications. Le terme de multiplication est videmment pris ici en un sens
1. Le L correspond la premire lettre de langlais layer.
La Grammaire dIEML 11
diffrent de celui de la multiplication entre des nombres. Ce sont ici des smes,
cest--dire des squences smantiques, qui sont les oprandes de la multiplica-
tion. Il est clair que si un algorithme est capable de construire des squences,
un algorithme peut aussi les dconstruire, par exemple en dcomposant une s-
quence en trois smes de couche immdiatement infrieure. Un algorithme peut
aussi transformer les squences quil a construites, par exemple en remplaant
un sme par un autre.
2.1.3.2 Laddition
Toutes les oprations de manipulations densembles de squences, telles que
union, intersection ou diffrence symtrique sont appeles oprations additives,
parce que le rsultat de ces oprations peut toujours se reprsenter comme
une union densembles de squences. Comme dans le cas de la multiplication
smantique, laddition smantique se prend videmment en un sens diffrent de
laddition entre nombres.
Mme en restant lintrieur des limites dun seul systme de notation al-
gbrique, il existe donc plusieurs manires de coder le mme ensemble de s-
quences.
2.2 Le Script
donc assur. Ce passage ne pose pas de problme parce que le premier est un cas
particulier du second. En revanche, le passage en sens inverse, de lAlgbre au
Script, est plus complexe. Cest pourquoi il existe un algorithme de transcodage 2
qui transforme les expressions de lAlgbre en scripts. Cet algorithme respecte
la contrainte selon laquelle il existe toujours un script et un seul pour dcrire
un ensemble de squences. En somme :
toutes les expressions diffrentes de lAlgbre commutative qui dsignent
le mme ensemble de squences sont traduites par un script et un seul ;
un script distinct dsigne un ensemble de squences et un seul et il a
toujours une traduction en Algbre commutative.
Cette correspondance bi-univoque entre les deux codes a dimportantes cons-
quences. En effet, les variables, les oprations et le code dun systme formel
sont solidaires. Si lon peut passer automatiquement du code dun systme for-
mel A au code dun systme formel B et vice versa, alors on peut aussi passer
automatiquement - par lintermdiaire du code ! - des variables et des oprations
du systme A aux variables et aux oprations du systme B (et vice versa).
2.2.6.2 Dlimitateurs
Dlimitateurs de catgories .
Les catgories distinctes sont spares par une barre oblique / . Par
exemple :
(U:A:S:. + A:U:T:. + T:U:A:.) / S:T:A:.U:B:S:.T:A:U:.-E:S:S:.U:B:S:.T:A:U:.-
E:B:S:.T:B:S:.A:A:U:.-
E: U: A: S: B: T:
1 2 4 8 16 32
20 21 22 23 24 25
A:B:E:.
A:B:S:.
3
E:B:M:.
M:S:E:.
5
U:F:E:.
6
E:S:I:.
U:M:O:.
U:I:E:.
A:T:I:.
9
U:M:M:.
30
I:E:F:.
180
I:F:I:.
Exemple 2
Rangement par ordre alphabtique de 4 catgories de mme taille de couche
L2 :
O:O:.M:M:.-
O:M:.O:M:.-
O:M:.M:O:.-
M:M:.O:O:.-
Exemple 1
On ne peut pas crire :
#(U:S:A:. + U:S:B:. + U:T:A:. + U:T:B:.)
mais on doit crire :
*U:(S:+T:)(A:+B:).**
On voit que lexpression incorrecte comprend quatre multiplications de couche
L1 alors que lexpression correcte nen comprend quune. Lexpression correcte
minimise le nombre de multiplications.
Exemple 2
Considrons la catgorie {USE, UBE, UTE, ASE, ABE, ATE} en Algbre
commutative.
Cette catgorie ne peut pas tre reprsente en Script par :
#((y.+ o. + e.) + (A:M:.))
ni par :
#(U:M:. + A:M:.)
La squence ne peut tre reprsente en Script que par :
*O:M:.**
3. etc;
4. opration de remplacement (rcursive) pour les catgories de couche L1.
On obtient alors :
*(A:U:B:.+(S:+T:)U:E:.+(A:+S:+T:)B:E:.)**
Remarque : lordre standard oblige ranger les oprandes de laddition
par ordre de taille croissante. La substance du premier oprande est de
taille 2 tandis que la substance du second oprande est de taille 3.
Exemple 3 (couche L2) : {AUBABESUE, AUBABEABE}
{AUBABESUE, AUBABEABE} scrit :
*A:U:B:.A:B:E:.(A:B:E:.+S:U:E:.)-**
Exemple 4 (couche L2) : {USEUBEUTE, ASEABEATE, ASEABEUTE}
Remplacement pour la couche 2
#(U:S:E:.U:B:E:.U:T:E:.- + A:S:E:.A:B:E:.(U:T:E:.+A:T:E:.)-)
Remplacement pour la couche 1
*(U:S:E:.U:B:E:.U:T:E:.- + A:S:E:.A:B:E:.(U:+A:)T:E:.-)**
2.4 Le Rhizome
2.4.1 Bulbes et filaments
Le terme de rhizome est ici employ dans un sens qui na que de lointains
rapports avec celui quil possde en botanique et se rfre plutt au sens philo-
sophique de graphe fractal rgulier plus complexe quune structure darbre clas-
sique 4 . Un rhizome IEML est fondamentalement un graphe dont les sommets,
appels bulbes, sont tiquets par un script et dont les artes, appeles filaments,
sont tiquetes selon les relations quelles tablissent entre les bulbes. Puisquil
nexiste que quatre types de relations entre les bulbes, il ny a que quatre ti-
quettes de filaments 5 . Les relations entre les bulbes dcoulent directement des
deux oprations (addition et multiplication) et se nomment ainsi :
1. Ordre additif;
2. symtrie additive;
3. ordre multiplicatif;
4. symtrie multiplicative.
Du point de vue de la thorie des graphes, les relations dordre construisent des
arbres tandis que les relations symtriques construisent des cliques.
Dans les arbres additifs, le nombre de feuilles que peut avoir une racine nest
pas spcifi. Les feuilles et les racines des arbres additifs sont des bulbes de
mme couche.
Dans les arbres multiplicatifs, chaque racine ne peut avoir que trois feuilles,
correspondant aux trois oprandes de la multiplication. Les feuilles des arbres
multiplicatifs appartiennent toujours la couche immdiatement infrieure la
couche de leurs racines.
4. Voir Deleuze et Guattari, Mille plateaux, Minuit, Paris, 1980, particulirement lintro-
duction.
5. Nous verrons la section 3.1.6 quil en existe 4 de plus, donc 8 en tout, mais nous
pouvons ngliger cela pour le moment.
24 Syntaxe
2.4.2.1 Bulbes
Un bulbe (cest--dire un sommet de graphe rhizomatique) est ici not par
un petit cercle avant le script qui ltiquette (sans toiles).
Par exemple : M:S:U:.
(c) tissage des filaments dordre multiplicatif (racines la couche L0) des
bulbes identifis en (a) :
U:M:(U:+B:). > [U: M: (U:+B:)]
A:M:(U:+B:). > [A: M: (U:+B:)]
2. Construction partir du second caractre :
(a) Identification des caractres en relation additive contenus dans le se-
cond caractre :
S: B: et T:
identification des bulbes correspondants :
O:S:(U:+B:).
O:B:(U:+B:).
O:T:(U:+B:).
(b) tissage des filaments dordre et de symtrie additive de couche L1
entre les bulbes identifis en (a) :
O:M:(U:+B:). >
[O:S:(U:+B:).u O:B:(U:+B:). u O:T:(U:+B:).]
(c) tissage des filaments dordre multiplicatif (racines la couche L0) des
bulbes identifis en (a) :
O:S:(U:+B:). > [O: S: (U:+B:)]
O:B:(U:+B:). > [O: B: (U:+B:)]
O:T:(U:+B:). > [O: T: (U:+B:)]
3. Construction partir du troisime caractre :
(a) identification des caractres en relation additive contenus dans le troi-
sime caractre :
U: et B:
Identification des bulbes correspondants :
O:M:U:.
O:M:B:.
(b) tissage des filaments dordre et de symtrie additive de couche L1
entre les bulbes identifis en (a) :
O:M:(U:+B:). > [O:M:U:. u O:M:B:.]
(c) tissage des filaments dordre multiplicatif (racines la couche L0) des
bulbes identifis en (a) :
O:M:U:. > [O: M: U:]
O:M:B:. > [O: M: B:]
Construction partir du premier caractre de I:O:.
1. Ordres et symtries additives de couche 0 pour le premier caractre :
I: > [E: u F:]
F: > [O: u M:]
O: > [U: u A:]
M: > [S: u B: u T:]
2. bulbes correspondants de couche L1 :
La Grammaire dIEML 29
Smantique
3.1.2.5 Super-cls
Les taxons lmentaires (ou feuilles ultimes de larbre additif) dune cl
ordinaire correspondent des squences singulires, comme *s.u.-m.u.-**. En
revanche, les super-cls sont des cls dont les taxons lmentaires sont les taxons
les plus gnraux (ou racines ultimes de larbre additif) de cls ordinaires, comme
*M:M:.u.-M:M:.u.-**.
Par exemple *(M:M:.a.-M:M:.a.- + M:M:.u.-M:M:.u.- + M:M:.i.-M:M:.i.-
)** (fonctions dactualisation de lintelligence collective), est une super-cl dont
les trois taxons lmentaires sont *M:M:.u.-M:M:.u.-** (fonctions smiotiques),
*M:M:.a.-M:M:.a.-** (fonctions sociales) et *M:M:.i.-M:M:.i.-** (fonctions tech-
niques). Il peut exister plusieurs niveaux de super-cls, mais les cls, leurs super-
cls, leurs super-super-cls, et ainsi de suite sont forcment de mme couche.
3.1.3 La cl *O:O:.**
Lorsque lon applique lalgorithme de formatage de cl dcrit en 3.1.2.2,
*O:O:.**, on obtient automatiquement lensemble des neuf rservoirs : *wo. /
wa. / wu. / we. / U:O:. / A:O:. / O:U:. / O:A:. / O:O:.**. On obtient galement
le circuit des quarante-huit canaux dcrit plus bas. Dans le cas de *O:O:.**, il
ny a pas besoin de slectionner des bulbes ou des filaments ne pas ouvrir
et, comme on va le voir, tous les rservoirs sont des termes dcrits en langues
La Grammaire dIEML 35
O:O:.
GNRER
O:U:. O:A:.
gnrer vers le gnrer vers l'actuel
virtuel
UUE UAE
AUE AAE
A:O:. wu. we.
gnrer partir de percevoir reconstituer
l'actuel
U:O:. u O:U:.
A:O:. u O:A:.
La cl O:O:. comporte donc trois canaux de symtrie multiplicative. Sur la figure
3.1, les deux cases *wo.** et *we.** marquent laxe de symtrie diagonal de
la relation de symtrie multiplicative wu. u wa.
Canaux dordre additif (taxonomie) :
U:O:. > wo.
U:O:. > wa.
A:O:. > wu.
A:O:. > we.
O:U:. > wo.
O:U:. > wu.
O:A:. > wa.
O:A:. > we.
O:O:. > U:O:.
O:O:. > A:O:.
O:O:. > O:U:.
O:O:. > O:A:.
La cl comporte donc douze canaux dordre additif.
Canaux de symtrie additive (concurrence) :
[wo. u wa.]
[wu. u we.]
[wo. u wu.]
[wa. u we.]
[U:O:. u A:O:.]
[O:U:. u O:A:.]
La cl comporte donc six canaux de symtrie additive.
*O:O:.** constitue la plus simple de toutes les cls originales et lon voit
quelle comporte dj neuf termes et quarante-huit canaux paradigmatiques,
dont vingt-sept (les relations tymologiques) concernent des relations entre les
termes de la cl et les termes dune cl de couche infrieure (ici, la couche
0). Pour tous les exemples qui suivent, je ne prendrai pas la peine de lister
explicitement tous les canaux, parce que je supposerai que le lecteur a compris
leur mode de construction automatique. Je donnerai une ou plusieurs tables
dallure matricielle du type de 3.1 et je me contenterai de signaler les bulbes
non transforms en rservoirs et les filaments non transforms en canaux. Ceci
fait, je concentrerai mon expos, de la manire la plus synthtique possible, sur
les relations smantiques entre les termes qui sont modlises par les canaux
paradigmatiques.
O:M:.
AGIR
3. les deux phases qui prennent leur point de dpart dans lactuel : *A:O:.**
(gnrer partir de lactuel, cest--dire reconstituer et percevoir );
4. les deux phases qui aboutissent dans le virtuel : *O:U:.** (gnrer vers
le virtuel, cest--dire percevoir et rflchir );
5. les deux phases qui aboutissent dans lactuel : *O:A:.** (gnrer vers
lactuel, cest--dire oprer et reconstituer , un verbe qui inclut laction
et ses consquences).
Le lecteur peut vrifier que les quarante-huit canaux paradigmatiques sont bel
et bien fonds sur le plan des relations smantiques entre termes.
3.1.4 La cl *O:M:.**
Comme dans le cas prcdent, le circuit paradigmatique complet est obtenu
automatiquement et sans restriction par lalgorithme dcrit en 3.1.2.2 partir
de lentre *O:M:.**. Puisque sa substance est *O:**, comme la cl prcdente,
*O:M:.** est un verbe et ne contient que des verbes. Mais, cette fois-ci, lattribut
est *M:**, et cest pourquoi lobjet ou le domaine de laction sera plus prcis.
3.1.5 La cl *E:F:.O:M:.**
Notre troisime et dernier exemple est fourni par la cl *E:F:.O:M:.-**.
Contrairement aux deux prcdentes cls, il ne sagit pas dun paradigme verbal
mais dun paradigme auxiliaire, puisquil commence par *E:**. Par contraste
galement avec les deux exemples qui prcdent, qui taient la couche L1,
*E:F:.O:M:.-** se trouve la couche L2. En outre, le circuit de ses canaux et
de ses rservoirs est gnr par lalgorithme dcrit en 3.1.2.2 partir de lentre
*E:F:.O:M:.-**, mais avec cette restriction 3 quil nexiste pas de canaux dordre
multiplicatifs (donc pas de relation tymologique avec des termes de couche
immdiatement infrieure) correspondant aux smes en substance.
E:F:.O:M:.-
CONJUGAISON
E:O:.O:M:.- E:M:.O:M:.-
mode de participation temps / quand
choisi dans une liste dont les membres sont en relation dopposition ou de substi-
tution possible. Les termes spciaux sont qualifis par un descripteur en langue
naturelle, propre un thesaurus particulier.
3.1.7 Le dictionnaire
3.1.7.1 Rcapitulation des circuits paradigmatiques
En somme, il existe deux grands types de cls : les cls originales et les
cls drives. Parmi les cls originales, on peut faire une distinction entre les
cls ordinaires et les super-cls. Parmi les cls drives des cls originales, on
distingue les cls analogiques et les cls spciales. Le dictionnaire comprend
aussi bien les cls originales que les cls drives (analogiques ou spciales) et
aussi bien le lexique de base que les thesaurii.
Les termes du dictionnaire sont formaliss par des rservoirs et les relations
par des canaux. Ces termes entretiennent entre eux des relations dordre et de
symtrie additive, multiplicative, analogiques et spcialises. Il existe donc en
tout huit types de canaux paradigmatiques, que rsument les tableaux 3.2 et
3.3.
Chaque thesaurus est adress par une proposition IEML unique puisant
ses termes dans le lexique de base. La proposition indiquant ladresse com-
mence par *o.h.n.-** ( choisir une interprtation *o.h.-** muni de la flexion
monde *n.**) et se termine par *E:E:T:.** qui marque la relation de compl-
ment dobjet entre le verbe en substance *o.h.n.-** et lunit de sens en attribut
qui indique le thesaurus particulier.
Si un USL peut tre interprt selon plusieurs thesaurii on fera figurer plu-
sieurs adresses de thesaurus dans cet USL. Les termes de cet USL qui ne figurent
pas dans les thesaurii indiqus par lUSL sont videmment interprts selon les
cls originales.
48 Smantique
3.2.1.3 Termes
Comme nous lavons vu au chapitre 3.1, les termes sont les units de sens
lmentaires qui servent de fondement la construction de toutes les autres
units de sens. Le dictionnaire connecte les termes entre eux au moyen de canaux
paradigmatiques qui dcrivent leurs relations smantiques en langue (voir
3.1.2.4 et 3.1.7.1 pour la smantique de ces canaux).
3.2.1.4 Propositions
Description gnrale Les propositions dcrivent les relations smantiques
entre termes dans des noncs, cest--dire en parole . Dans les propositions,
les termes sont additionns pour produire des morphmes, les morphmes sont
multiplis pour produire des mots, les mots sont multiplis pour produire des
clauses, les clauses sont additionnes pour produire des phrases, et lon peut
ainsi produire des phrases de degrs suprieurs, jusqu ce que la limite de la
couche L6 soit atteinte.
Les relations opratoires (additives et multiplicatives) rcursives entre termes
qui viennent dtre dcrites commandent des circuits syntagmatiques. Les rser-
voirs de ces circuits syntagmatiques sont, respectivement, les morphmes, les
mots, les clauses et les phrases de degrs successifs, tandis que les canaux entre
les rservoirs dcrivent leurs relations grammaticales.
Les textes sont des units de sens qui rsultent de relations additives entre
propositions. Le texte peut tre considr comme le rsultat de laddition entre
les propositions quil contient (chaque proposition est en relation dordre additif
avec le texte qui la contient) et les diffrentes propositions dun mme texte
sont, par dfaut, en relations mutuelles de symtrie additive.
8. Pour tous les exemples de cet ouvrage, je suggre fortement de consulter le dictionnaire
sous sa forme PDF afin de pouvoir situer les termes dans les cls de relations smantiques o
ils prennent sens.
La Grammaire dIEML 51
3.2.1.7 Hypertextes
Finalement, les hypertextes sont des units de sens qui rsultent doprations
rcursives daddition et de multiplication entre textes. On se souvient que la mul-
tiplication smantique est une opration trois variables (substance, attribut,
mode). Au niveau hypertextuel, le rle de substance est jou par un ensemble
de textes en rfrence (ou cits), le rle dattribut est jou par un ensemble de
textes qui rfrent aux textes en rle de substance (ou citants) et le rle de
mode est jou par un ensemble de textes explicitant la relation entre les textes
en rfrence et les textes qui sy rfrent (ou note de citation). La multiplication
modlise donc ici lacte de rfrence inter-textuel (ou de citation).
Les textes (USL) peuvent tre assimils des units de sens de degr hyper-
textuel 0 et lon peut alors construire des propositions hypertextuelles de
degr 1, 2, 3, 4, 5 et 6. Ces propositions peuvent tre additionnes pour produire
des textes hypertextuels dordre suprieur, ces textes hypertextuels peuvent
leur tour servir de nouvelles constructions de circuits, et ainsi de suite.
En somme, comme il est indiqu dans le tableau 3.5, les hypertextes (circuits
rcursifs de textes) rsultent de laddition et de la multiplication dUSL de la
mme manire que les phrases sont construites rcursivement partir de mots.
Une multiplication dUSL aboutissant une clause hypertextuelle de degr
1 sera de la forme :
*USL**:*USL**:*USL**:.
Une multiplication dUSL aboutissant une clause hypertextuelle de degr
2 sera de la forme :
*USL**:*USL**:*USL**:.*USL**:*USL**:*USL**:. *USL**:*USL**:*
USL**:.-
On peut ainsi monter les degrs multiplicatifs hypertextuels jusquau sixime,
en utilisant les signes de ponctuation dIEML (: . - , _ ;). Un USL dUSL -
ou USL dordre 1 - est obtenu en additionnant des hypertextes de degrs 1 6.
Rien nempche en principe de construire des USL dordre 2, 3, etc. jusqu n
(n tant un entier naturel fini). Le tableau 3.5 se limite dcrire la hirarchie
hypertextuelle pour les USL dordre 0.
Dans la construction des phrases (sachant quil existe des phrases de phrases,
etc.), le mode est utilis pour dfinir la relation grammaticale entre lunit en
rle substance et lunit en rle attribut.
En 2013, le dictionnaire IEML contenait dj plus de 150 cas grammati-
caux, conjugaisons, pronoms, adverbes et prpositions 11 de couche 1, 2 et 3.
Ces termes auxiliaires (qui ne sont ni des noms ni des verbes) ont t principa-
lement conus pour tre utiliss en rle modal. Je rappelle cependant que rien
nempche dutiliser des units nominales ou verbales en rle de mode ou les
termes auxiliaires en rle de substance ou dattribut.
Dans les circuits inter-textuels, le rle mode dsigne la note de citation ou
de rfrence qui connecte le texte citant au texte cit (en rfrence).
Mots flchis Dans les mots flchis, le morphme racine est plac en rle de
substance, le morphme de flexion est plac en rle de mode et le rle attribut
est occup par une srie vide.
Premier exemple :
*y.-E:.-(E:U:A:.- + E:S:.O:M:.- + E:T:.wo.-)*
signifie : Ils ne sauront pas. et constitue un mot.
Termes
11. Post-position serait plus adquat, puisque le mode vient aprs ce quil modifie.
La Grammaire dIEML 57
E:U:A:. ngation
y. savoir
E:S:.O:M:.- futur
E:T:.wo.- troisime personne du pluriel (ils)
Deuxime exemple:
*m.i.-k.i.-E:.-E:U:.wa.-,**
signifie : ces jeux et constitue un mot.
Termes
m.i.-k.i.- jeu
E:U:.wa.- pronom dmonstratif pluriel
a.o.- suivre
y.a.- apprendre
E:M:.B:O:.- cause, rle fonctionnel parce que
b.-j.-s.y.- mathmatiques
d.a.-f.a.-f.o.- enseignant
Figure 3.10. Jai appris les mathmatiques parce que jai suivi
un bon professeur
Il va sans dire que, pour lutilisateur final qui ne voudra pas sembarrasser de
fabriquer des USL, il sera toujours possible dutiliser des interfaces graphiques
qui lui permettront de formuler des tags simples en langues naturelles, ces tags
tant automatiquement traduits en IEML.
Je rappelle pour commencer que tout USL reprsente videmment une inter-
prtation possible de lobjet, du document ou de lensemble de donnes index :
celle dun individu ou dune conversation cratrice. On pourra donc inventer plu-
sieurs USL distincts pour catgoriser un document quelconque, selon les points
de vue et les univers de discours. Rien nempche par ailleurs de rutiliser un
USL pour lui enlever ou lui ajouter des propositions afin de personnaliser la
catgorisation.
La stratgie gnrale de construction dun USL consiste dcrire le spectre
smantique qui rend compte dun document. Il ne sagit surtout pas de cher-
cher un quivalent du concept complexe dcrire en IEML dans un seul terme
du dictionnaire. Plus le spectre smantique est vaste et prcis, cest--dire ex-
prim par plusieurs units de sens de plusieurs couches, et mieux fonctionneront
les oprations de slection (diffrence, inclusion, union...), les connexions avec
dautres USL et les calculs de distances smantiques.
Un USL stage en couches. Les couches les plus basses dsignent les com-
posantes smantiques les plus gnrales, tandis que les couches les plus hautes
reprsentent les composantes smantiques les plus spcifiques ou les plus pr-
cises.
62 Smantique
phrase verbale compose dune seule clause est donc volontaires produisant du
matriel didactique . Beaucoup de langues naturelles obligent choisir entre
singulier et pluriel, ou utiliser un article dfini ou indfini, ce qui nest pas le
cas dIEML.
Proposition de couche L5
Termes
E:E:U:. attribut du nom
E:E:S:. nominatif
E:E:T:. complment dobjet direct
E:A:T:. beaucoup, trs
e. pouvoir
E:B:.s.- dans un espace ouvert
E:T:.x.- auxiliaire de moyen
b.x.- environnement collaboratif
E:F:.wa.- auxiliaire marquant le pluriel
s.e.-k.u.- comptence en lecture et criture
b.-u.- langue naturelle
b.a.-b.a.-f.o.- auteur
t.a.-b.a.-f.o.- diteur
La Grammaire dIEML 65
k.i.-b.i.-t.u.- logiciel
l.o.-m.o.-s.u.- libre
*
(e.- (b.a.-b.a.-f.o.-+ t.a.-b.a.-f.o.-) E:E:S:.-,_
+
e.- s.e.-k.u.- E:E:T:.-,_
+
(b.a.-b.a.-f.o.-+ t.a.-b.a.-f.o.-) (E:F:.wa.- + E:A:T:.-) E:E:U:.-,_
+
(b.a.-b.a.-f.o.- + t.a.-b.a.-f.o.-) l.o.-m.o.-s.u.- E:E:U:.-,_
+
s.e.-k.u.-E:.-E:B:.s.-, k.i.-b.i.-t.u.-, E:T:.x.-,_
+
s.e.-k.u.-, b.-u.-E:.-E:F:.wa.-, E:T:.x.-,_
+
k.i.-b.i.-t.u.- b.x.- E:E:U:.-,_)
**
La phrase IEML qui prcde est la couche L5 et elle est compose de sept
clauses de couche L5 en relation dunion.
1. La premire clause signifie que le sujet du pouvoir sont les lecteurs et
les diteurs.
2. La seconde clause signifie que lobjet du verbe pouvoir est la comp-
tence de lecture-criture.
3. La troisime clause insiste sur la multiplicit des lecteurs et des diteurs.
4. La quatrime clause affirme la libert de ces mmes lecteurs et diteurs.
5. La cinquime clause indique que la lecture-criture ouverte se fait au
moyen dun logiciel.
6. La sixime clause indique que la comptence en lecture-criture sexerce
au moyen de plusieurs langues.
7. La septime clause affirme que le logiciel a la proprit dtre un envi-
ronnement collaboratif.
Ecrire ou lire cette phrase en entier revient concevoir le rseau smantique
de la figure 3.12. Pour simplifier la reprsentation visuelle, je ny ai pas fait
figurer le texte IEML. Les noms et les verbes sont sur un fond gris tandis que
les auxiliaires sont sur un fond blanc. Cette figure 3.12 donne une ide de ce
quoi pourrait ressembler le rseau smantique en langue naturelle produit
automatiquement partir dune phrase en IEML (la langue tant choisie par
lutilisateur).
XML *
(A:+S:)
/
b.
/
we.b.- / we.g.-
/
e.o.-we.h.- / b.i.-b.i.- / t.e.-d.u.-
/
(i.i.-we.h.-, b.-j.-E:.-E:A:.g.-, E:T:.x.-,_
+
i.i.-we.h.- s.a.-t.a.- E:E:T:.-,_)
**
L0 rseaux de documents
L1 langage
L2 cultiver des systmes dinformation / unifier la documentation
L3 tablir des normes et standards / mdium numrique / rpondre des
besoins dinformation
L5 garantir la compatibilit de donnes grce la mme structure formelle.
Tous les catsets de couche 0 3 sont composs de termes du dictionnaire dont
le descripteur franais est reproduit littralement dans la traduction ci-dessus
(les descripteurs apparaissent dans la traduction exactement dans lordre des
La Grammaire dIEML 67
Web_des_donnes *
(U:+S:) / (A:+S:)
/
d.
/ s.x.- / x.j.-
/
e.o.-we.h.- / b.i.-b.i.-
/
e.o.-we.h.- b.i.-b.i.- E:E:B:.-,
/
68 Smantique
*
(A:+S:)
/
e.o.-we.h.- / b.i.-b.i.-
**
L0 rseaux de documents
L3 tablir des normes et standards / mdium numrique
Lunion des deux USL donne lUSL que lon pourrait appeler Grand Web des
donnes
*
(U:+S:) / (A:+S:)
/
b. / d.
/
we.g.- / we.b.- / s.x.- / x.j.-
/
e.o.-we.h.- / b.i.-b.i.- / t.e.-d.u.-
/
e.o.-we.h.- b.i.-b.i.- E:E:B:.-,
/
s.a.-t.a.- b.i.-l.i.-t.u.- E:E:U:.-,
/
(t.e.-t.u.-wa.e.- k.i.-b.i.-t.u.- E:E:A:.-,
+
k.i.-b.i.-t.u.- b.e.- E:A:.x.-,)
/
(i.i.-we.h.-, b.-j.-E:.-E:A:.g.-, E:T:.x.-,_
+
i.i.-we.h.- s.a.-t.a.- E:E:T:.-,_)
**
L0: rseaux de connaissance / rseaux de documents
L1: langage / vrit
L2: unifier la documentation / cultiver des systmes dinformation / projet
technique / volution du calcul
L3: tablir des normes et standards / mdium numrique / rpondre des
besoins dinformation
L4: tablir normes et standards pour le mdium numrique / donnes lies
(linked data) / conception de robots logiciels avec des capacits de rai-
sonnement
L5: garantir la compatibilit de donnes grce une mme structure formelle
70 Smantique
niveau n. Par exemple, les termes dun mme morphme, les clauses de la mme
phrase, les propositions du mme texte, etc.
3.2.8.2 Promotion
Dans toute addition ou multiplication dunits de sens Q = {Z, R, W,
C, P} les variables aux couches les plus basses sont promues par une squence
vide jusqu ce que soit atteinte la couche de la variable qui est la couche la
plus haute. Au sujet de la promotion, je renvoie la section 2.2.6.3 pour laspect
syntaxique et la section 3.2.1.4 pour laspect smantique.
Lattribut est toujours occup par une srie vide dans les mots flchis et il
peut tre occup par une srie vide dans les clauses. Dans ces deux cas, le mode
prcise le sens de la substance au lieu de dfinir la relation entre la substance
et lattribut.
Transcodage
syntaxe-smantique
4.1 Introduction
Ce chapitre prsente les algorithmes de transcodage dIEML. Le transcodage
de la syntaxe en smantique peut se dcomposer en trois transformations : la
transformation dIEML algbrique en Script IEML dans la section 4.2, du Script
IEML vers le Rhizome IEML dans la section 4.3 et finalement du Rhizome IEML
vers la Sphre smantique dans la section 4.4.
Certains algorithmes utilisent des variables globales et des fonctions qui sont
dcrites respectivement dans les sections 4.1.1 et 4.1.2.
Pour plus de clart, lalgorithme 1 4.1 dlgue la plus grande partie de son
calcul lalgorithme 4.2 et sa complexit spatio-temporelle est donc proportion-
nelle la complexit de lalgorithme 4.2.
C
{U SE, ASE}
{U BE, ABE}
{U T E, AT E}
{ASE, ABE, AT E}
{U SE, U BE, U T E}
qui peuvent avoir lieu et donc la complexit de lalgorithme 4.2 est proportion-
nelle K CSEM E_M AT CHER CSCRIP T _SOLV ER , o K est un scalaire qui
rend compte des vrification des membres de la liste et CSEM E_M AT CHER and
CSCRIP T _SOLV ER reprsentent respectivement la complexit des algorithmes
4.3 et 4.4.
Lalgorithme 4.2 est assez simple. Il comprend une condition terminale la
ligne 5 et un appel rcursif la ligne 9. Lalgorithme termine quand linput (S)
est gal aux valeurs calcules la ligne 4 (Q), ce qui signifie quil ny a pas
dautres solutions potentielles considrer.
20 for i {1, 2, 3} do
21 if ||Di || 2 and Di
/ R then
+
22 C Di ; // ajoute Di C
23 Return C
Q
{OT E, OSE, OBE}
{U M E, AM E}
k=n/2
Y
lp (n 2k + 2) (4.1)
k=1
(lignes 20 21) et lon fait un appel rcursif pour analyser son tour chaque
variable additive (lignes 22 23), ce qui dclenche la boucle logique la ligne
8. Les lignes 8 18 accomplissent de nombreuses tches, y compris lanalyse
des bulbes et des relations multiplicatives. La ligne 9 dclenche lalgorithme
4.6 qui est dcrit la section 4.3.2. La structure du script est alors analyse
pour dtecter les relations multiplicatives (ligne 10). Sil ny a pas de relations
multiplicatives, lanalyse prend fin et lalgorithme est termin. Si une relation
multiplicative a t trouve, elle est ajoute au rhizome (lignes 12 16). On fait
un appel rcursif pour analyser chaque variable multiplicative son tour (lignes
17 18).
19 else
20 if A RestrictedScript = then
+
21 G(V, E) AdditionRelations(s, A)
22 for a A do
23 RHIZOME(a)
La Grammaire dIEML 87
Le script dinput est analys pour dterminer tous les caractres de couche
0, qui sont enregistrs dans la structure de donnes Chars (ligne 5). Chaque
caractre est alors analys son tour (lignes 6 17). Chaque caractre est d-
compress (ligne 8) et les caractres dcompresss remplacent les caractres
partir desquels ils ont t obtenus (lignes 10 11). Une expression Script valide
est rgnre partir de lexpression Script modifie (qui peut tre invalide) et
enregistre dans une variable temporaire B (ligne 12). Si B ne contient aucun
membre, lanalyse sarrte et lalgorithme se termine. Sinon, des relations ad-
ditives entre les Scripts modifis sont ajoutes au rhizome (ligne 15) et on fait
appel lalgorithme 4.5 (ligne 17).
Les sections qui suivent dcrivent les algorithmes 4.8, 4.9 et 4.10. Pour une
description de lalgorithme 4.5, on se rfrera la section 4.3.
C1
SEE EEE SES
SES EEE SEE
SES EEE SES
SES EEE EEE
S S SES
S SES S
S SES SES
SES S S
SES S SES
SES SES S
SES SES SES
son itration sur tous les membres de VAwq (ligne 5). Une variable locale Vq
enregistre tous les sommets du graphe dont les relations avec vA w
q
sont contenues
dans Aq (ligne 6). A ltape finale, lalgorithme enregistre une variable vAw
q
dans
lensemble As si lensemble Vq Vr est un sous-ensemble de lensemble Aw et si
la variable vA
w
q
appartient lensemble Ap (lignes 7 9).
Puisquil sagit dun algorithme gnrique, les contraintes suivantes doivent
tre respectes :
1. les membres de Vq , Vr , Aw , Ap et As sont du mme type que vA w
q
;
2. les membres deAr sont des ensembles;
3. les membres de Aq sont des paires ordonnes.
Nous sommes ici dans le contexte du processus de transcodage. Cela signifie que
les membres des variables dans la premire contrainte sont des sommets. Les
membres de la variable de la seconde contrainte sont des relations de symtrie
additive ou multiplicative (artes du graphe). Finalement les membres de la
variable de la troisime contrainte sont des relations dordre multiplicatif ou
additif, qui sont reprsentes par des artes orientes puisquelles dnotent des
relations parent-enfant.
Considrons par exemple le sommet E dans la figure 4.1. Etant donn un
graphe :
G = (Aw , Ar Aq ) (4.2)
o :
Aw = {A, B, C, D, E, F } (4.3)
ordre additif
symtrie additive A B
C E F
Aq = {(A, C), (A, D), (A, E), (B, E), (B, F )} (4.5)
et As = , Ap = Aw .
Lexcution de lalgorithme 4.11 donne le rsultat suivant : Vr = C, D, F
(ligne 3), VAwq = A, B (ligne 4). Nous avons maintenant 2 cas considrer :
dans le premier cas, vA w
q
= A, Vq = C, D, E, les conditions sur les lignes 7 et 8
sont respectes, et nous enregistrons A dans As ; dans le second cas, vA w
q
= B,
Vq = E, F , les conditions sur les lignes 7 et 8 sont respectes, et nous enregistrons
B dans As . Si cependant F ntait pas contenu dans Aw , ce serait A et non B
qui serait enregistr dans As .
Supposons que les ensembles soient implments comme des tables de ha-
chage, la complexit temporelle de lalgorithme 4.11 est :
Formalisation mathmatique
5.1 Introduction
Ce chapitre prsente les aspects mathmatiques du mtalangage de lcono-
mie de linformation.
Le modle formel du langage IEML et de ses variables smantiques est expos
dans la section 5.2. Je montre quIEML est un langage rgulier, une classe de
langages qui est extrmement efficace pour les calculs impliquant la rptition
et le squenage et qui est en outre reconnue par des machines tats finis.
La notion de structure de groupe est lie au concept mathmatique de sym-
trie, qui peut tre compris comme une invariance par transformation. Ltude
des symtries permet la reconnaissance de similarits et le reprage des propri-
ts des lments qui ne changent pas malgr leurs transformations. Je montre
dans la section 5.3 que les structures de groupes et danneaux sont inhrentes au
langage IEML et que le langage IEML peut lui-mme tre considr comme une
catgorie, cest--dire un mta-groupe de transformations dans le vocabulaire
technique des mathmatiques.
Dans la section 5.4, je considre la calculabilit des transformations appli-
ques aux expressions du langage IEML. En utilisant les machines tat fini
comme modle de calcul sous-jacent, je montre que les transformations dfinies
sur les expressions du langage IEML sont calculables.
Alors que le langage IEML est utilis pour crer des expressions, les graphes
smantiques reprsentent les relations smantiques qui entretissent les expres-
sions dIEML. Le modle des relations entre expressions IEML est prsent dans
la section 5.5.
Les circuits smantiques rsultent de la combinaison de plusieurs graphes
smantiques. Dans la section 5.6, je montre que les circuits smantiques forment
96 Formalisation mathmatique
, 0 1 . . . (5.1)
Le langage IEML sur est un sous-ensemble de , LIEM L o L = 6:
Proposition 5.1. Le langage IEML donn dans lquation 5.2 est un langage
rgulier [KLE 1956].
Notons que chaque chane appartenant au langage LIEM L peut aussi tre
obtenue partir de lalphabet par lapplication de la fonction de triplication.
Lopration de concatnation prend deux chanes et en produit une troisime
qui est compose des symboles de la premire chane suivis des symboles de
la seconde chane. La fonction de triplication en IEML est une spcialisation
La Grammaire dIEML 97
Lquation 5.5 tablit que deux squences smantiques gales sont en relation
de tout (on peut aussi crire sb tout sa ). Les quations 5.6, 5.7 et 5.8 tablissent
que deux squences smantiques qui partagent des sous-squences spcifiques
peuvent tre en relation de substance, attribut ou mode. Quelles que soient
sa et sb , si elles sont dans une des relations dfinies plus haut, alors nous disons
que sb joue un rle eu gard sa et nous appelons sb un sme de la squence
sa :
CL , P({cL }) (5.10)
Deux catgories sont distinctes si et seulement si elles diffrent dau moins
un lment. Quelles que soient ca et cb :
ca = cb ca cb cb ca (5.11)
Une condition plus faible peut tre appliques aux catgories de couches dis-
tinctes (puisque deux catgories sont diffrentes si leurs couches sont diffrentes)
et scrit ainsi :
`(ca ) 6= `(cb ) = ca 6= cb (5.12)
o `() dnote la couche dune catgorie.
3. Lensemble des parties de S est lensemble de tous les sous-ensembles de S, y compris
lensemble vide .
La Grammaire dIEML 99
Quelles que soient les deux catgories ca , cb , si elles sont ensemble dans une
des relations ci-dessus, alors nous disons que cb joue un rle par rapport ca et
cb est appel un sme de la catgorie ca :
, IEM L \{}
(5.17)
Soit s une chane finie de symboles choisis dans . La longueur de cette
chane est note par |s|. Une chane vide est une chane avec zro occurrence
de symboles et sa longueur est : || = 0. Lensemble de toutes les chanes de
longueur k composes de symboles de est dfini comme k , {s : |s| = k}.
Lensemble de toutes les chanes prises sur se dfinit ainsi :
0
cat , 1 . . . (5.18)
Le langage des catgories pris sur
est un sous-ensemble cat , Lcat cat
o L = 6 :
Dfinition 5.6. Une catgorie c de couche l est singulire aux conditions sui-
vantes : |c| = 1 et la squence s c est compose de symboles sn o sn
|sn | = 1 pour 1 n 3l .
Dfinition 5.7. Une catgorie c de couche l est simple aux conditions sui-
pour
vantes : |c| = 1 et la squence s c est compose de symboles sn o sn
l
1n3.
Toutes les catgories qui ne sont pas simples sont complexes. Notons que
toutes les catgories singulires sont aussi simples, puisque
contient tous les
symboles qui ne contiennent quun seul membre ({S}, {B}, {T }, {U }, {A},
{E}).
La couche dun catset 4 est donne par la couche de nimporte lequel de ses
membres : si une c , alors `() = `(c). Un USL est compos dun ensemble
dau maximum sept catsets de couches diffrentes :
Il faut noter que puisquil a 7 couches distinctes, un USL peut avoir au plus
sept membres. Toutes les oprations ensemblistes standard sur les USL sont
toujours excutes sur des ensembles de catgories (et donc sur des ensembles
de squences), couche par couche.
4. Notez quune catgorie c peut tre crite comme c CL , alors quun catset peut tre
crit comme CL .
La Grammaire dIEML 101
Proposition 5.12. Quels que soient les lments x, y dun groupe (S, ~), (x ~
y)1 = y 1 ~ x1 .
c0 CL , ci CL , ci c0 = c0 ci = ci o c0 = (lment neutre),
c1
i CL , ci CL , ci c1
i = c1
i ci = c0 o ci
1
= ci (symtrie) .
Le groupe (CL , ) est un monode puisque ci , cj CL , ci cj CL par
la dfinition de lensemble des parties (clture), (A B) C = A (B C)
par lassociativit de lopration ensembliste intersection (associativit), c0
CL , ci CL , ci c0 = c0 ci = ci o c0 = (identit).
La multiplication se distribue sur lopration daddition : ci , cj , ck CL , ci
(cj ck ) = (ci cj ) (ci ck ) et (ci cj ) ck = (ci ck ) (cj ck ) par
distributivit de lintersection sur la diffrence symtrique.
A partir de la dfinition 5.9, un USL est un ensemble de catsets de diffrentes
couches. Puisqu chaque couche L il y a |CL | catsets distincts, la totalit de
lespace smantique est dfini par le produit :
USL = C0 C1 C2 C3 C4 C5 C6 (5.21)
En considrant USL comme un groupe, on obtient la proposition suivante :
Proposition 5.15. Le groupe GU SL = (USL, , ) avec les oprations diff-
rence symtrique () et intersection () appliques entre catgories de mme
couche, est un anneau [BUT 1991].
Dmonstration. La preuve est la mme que pour la proposition 5.14.
C = (O, M, ) (5.22)
o O est une collection dobjets, M une collection de morphismes entre
deux membres de la collection dobjets, et une opration de composition bi-
naire entre morphismes compatibles. La Catgorie C a les proprits suivantes :
a, b, c O, si u = (a b) M et v = (b c) M alors w = u v = (a
c) M ; u, v, w M , si (u v) w M alors (u v) w = u (v w) M ;
a O, ia M tel que u = (a b), ia u = u u ia = u.
Condition Rsultat
Etat Entre Etat Sortie
i i+1
q0 - q2 1
q1 - q0 0
q2 0 q3 0
q2 1 q1 0
q3 0 q0 0
q3 1 q1 0
tendue qui retourne un tat p quand elle part de nimporte quel tat q tant
donne une squence dinput valide quelconque w :
w) = p
(q, (5.23)
ua) = ((q,
(q, u), a) (5.24)
Un langage 6 L de AD dnot L(AD ) [HOP 2001] est alors dfini par lqua-
tion qui suit :
0 , w) F }
L(AD ) = {w | (q (5.25)
Nous pouvons dfinir ltat dquivalence 7 dans les termes de lensemble F
et de lquation 5.23 comme suit. Deux tats p, q Q sont quivalents si et
s) F (q,
seulement si s , (p, s) F . En gnral, deux automates
sont quivalents si et seulement si L(Ai ) = L(Aj ), cest--dire L(Ai ) L(Aj ) et
6. Une expression rgulire peut aussi tre utilise pour spcifier tous les langages rguliers.
Il existe des procdures algorithmiques pour convertir une expression rgulire en automate
tats finis et vice versa.
7. Si R est une relation sur S S, alors :
- R est rflexif si (a, a) R a S,
- R est symtrique si (b, a) R alors (a, b) R,
- R est transitif si (a, b) R et (b, c) R alors (a, c) R.
Une relation dquivalence () est rflexive, symtrique et transitive. Les relations dqui-
valence donnent lieu des classes dquivalence qui contiennent tous les membres concerns
et eux seulement.
La Grammaire dIEML 107
Opration Reprsentation
Union L(Ak ) = L(Ai ) L(Aj )
Intersection L(Ak ) = L(Ai ) L(Aj )
Diffrence L(Ak ) = L(Ai ) L(Aj )
Complment L(Ak ) = L(Aj )
Concatnation L(Ak ) = L(Ai )L(Aj )
Etoile de Kleene L(Ak ) = L(Ai )
L(Aj ) L(Ai ). Pour anticiper sur la suite, cette quivalence dtat nous fournit
une mthode pour dterminer si des USL sont quivalents.
Les langages accepts par les automates tats finis sont appels des lan-
gages rguliers. Etant donns deux langages L(Ai ) et L(Aj ), alors les oprations
montres dans la Table 5.2 ont pour rsultat dautres langages rguliers accep-
ts par un automate Ak [HEN 1968]. Ltoile de Kleene (ou fermeture itrative)
dun langage reprsente lensemble des chanes qui peuvent tre obtenues en
prenant nimporte quel nombre de chanes de symboles de ce langage et en les
concatnant.
8. Ceci peut aussi tre vu comme une classe de graphes orients o les tats sont les
sommets et les artes tiquetes sont donnes par E Q 1 2 Q.
108 Formalisation mathmatique
Opration Reprsentation
Union R(Mk ) = R(Mi ) R(Mj )
Complement Gnralement non clos
Diffrence Gnralement non clos
Concatnation R(Mk ) = R(Mi )R(Mj )
Etoile de Kleene R(Mk ) = R(Mi )
Intersection Gnralement non clos
Produit R(Mk ) = L(Ai ) L(Aj )
Composition R(Mk ) = R(Mi ) R(Mj )
2 (q2 , ).
Induction : T ((q1 , q2 ), ua, vb) = T (T ((q1 , q2 ), u, v), a, b) en utilisant lqua-
tion 5.24 ; T (T ((q1 , q2 ), u, v), a, b) = T (1 (q1 , u) 2 (q2 , v), a, b) est le pas
inductif de lquation 5.30 ; T (1 (q1 , u) 2 (q2 , v), a, b) = 1 (1 (q1 , u), a)
2 (2 (q2 , v), b) en utilisant lquation 5.29 ; et finalement,
= = {s, b, t}
Q = {0, 1, 2, 3}
Q0 = {0} (5.32)
= {(0, s, s, 1), (1, b, t, 2), (2, t, b, 3)}
F = {3}
La machine dfinie par lquation 5.32 prend comme entre une catgorie {sbt}
et donne en sortie la catgorie {stb}. Cette machine est montre dans la figure
5.2.
112 Formalisation mathmatique
s/s t/t
b/b
b/b
0 2 4
t/t
t/t
= = {s, b, t}
Q = {0, 1, 2, 3, 4}
Q0 = {0} (5.33)
= {(0, s, s, 1), (0, b, b, 2), (0, t, t, 3), (1, b, b, 2), (1, t, t, 4), (2, t, t, 4)}
F = {1, 2, 3, 4}
f/s 2
f/b
f/t
0 3
f/u
f/a
4
= {f }
= {s, b, t, u, a}
Q = {0, 1, 2, 3, 4, 5}
(5.34)
Q0 = {0}
= {(0, f, s, 1), (0, f, b, 2), (0, f, t, 3), (0, f, u, 4), (0, f, a, 5)}
F = {1, 2, 3, 4, 5}
2
t/t
b/s
s/s b/b t/t
0 1 3 5
b/t
t/t
4
= = {s, b, t}
Q = {0, 1, 2, 3, 4, 5}
Q0 = {0}
= {(0, s, s, 1), (1, b, s, 2), (1, b, b, 3), (1, b, t, 4), (2, t, t, 5), (3, t, t, 5), (4, t, t, 5)}
F = {5}
(5.35)
Il faut noter que ladresse de rle va dcider o le non-dterminisme va avoir
lieu : dans lexemple en question, il sagit du second tat. La machine dfinie par
lquation 5.37 produit/reconnait lensemble : {sst, sbt, stt}, ainsi quon peut le
voir sur la figure 5.5. Dans cette figure, ltat 0 est ltat de dpart et le double
cercle reprsente ltat terminal (ltat dacceptation).
Si les sommets sont les catgories (au sens dIEML) dun ensemble donn,
et si les artes reprsentent les relations entre ces catgories, le graphe rsultant
modlise le rseau de relations entre les catgories de lensemble. De mme, si les
sommets reprsentent des ensembles de catgories, et les artes reprsentent les
relations entre ces ensembles, le graphe rsultant modlise le rseau de relations
entre les ensembles de catgories.
Le nombre de sommets dun graphe est appel son ordre et on le reprsente
par |G|, tandis que le nombre dartes est reprsent par ||G||. Les graphes
peuvent tre finis, infinis dnombrables ou infinis non dnombrables, selon leur
ordre. Les artes connectent les sommets et deux sommets a, b sont dits adja-
cents si larte ab G.
ttt bbt
dun graphe est donn par lexcentricit maximale et minimale de ses sommets :
diamG =maxyV (G) (dG (x, y)) et radG =minxV (G) (diamG ).
Un sommet dun graphe G dont la distance nimporte quel autre sommet
est infrieure ou gale au rayon du graphe est central dans ce graphe.
{sbt,
sss}
{sss} {sbt}
{sbt,
sbb,
sss}
{sbb, {sbt,
sss} sbb}
{sbb}
V = CL
(5.37)
E = CLr
De la mme manire, tous les USL qui sont dans une relation ensemble/sous-
ensemble sont donns par USLr USL USL o USLr est donn par :
LP l
IEM L = {s P | |s| = 3 } (5.40)
dans laquelle LP
IEM L LIEM L .
La Grammaire dIEML 121
Le plus court chemin peut tre calcul par les algorithmes prsents dans la
sous-section 5.7.2.
5.6.4 Rhizomes
Un rhizome G (V, E) est un type de circuit smantique dans lequel V = i Vi
S
et m, n Vi , (m, n) E (n, m) E. Ce type de circuit smantique est
donc compos de sous-graphes pleinement connects, ou cliques.
5.6.4.4 Paradigmes
Un paradigme P est le rsultat dune union, intersection ou diffrence sym-
trique de rhizomes de type matriciel, taxinomique, tymologique ou sriel (voir
la sous-section 5.5.1.4).
5.6.4.5 Dictionnaire
Un dictionnaire D est un paradigme dont les sommets ont une correspon-
dance bijective avec des descripteurs en langues naturelles.
aM 1 aM i aM N
i = 1 . . . N , j = 1 . . . M ; M, N Z : aij A N M , (5.44)
(A + B) C = AC + BC (5.48)
C (A + B) = CA + CB. (5.49)
15. Un corps est un anneau (voir 5.3.1) quip des oprations addition, soustraction, multi-
plication et division, qui satisfait aux axiomes de clture, associativit, commutativit, identit
(lment neutre), symtrie et distributivit [ROT 2003].
124 Formalisation mathmatique
a 0 : a + 0 = a 0 a = 0, (5.52)
a 1 : 1 a = a, (5.53)
Il est trivial de montrer que la multiplication par une matrice identit est un
de ces cas particuliers o sapplique la commutativit, puisque la multiplication
scalaire qui lui est sous-jacente dans est commutative :
AI = IA = A. (5.56)
AA1 = A1 A = I. (5.57)
Dfinition 5.35. Un scalaire C est une valeur propre dune matrice carre
A si elle satisfait lquation suivante :
(A I ) q = 0, (5.60)
Corollaire 5.38. Les graphes non-orients ont un spectre rel (cela suit imm-
diatement de (5.58).
Lemme 5.40. Les graphes qui ne sont pas cospectraux sont ncessairement
non-isomorphes:
lemme 5.40, ceci fournit une mthode pratique pour tester labsence disomor-
phie entre diffrents graphes.
La thorie spectrale des graphes est aujourdhui un champ de recherches
fort actif en mathmatiques, particulirement pour les graphes non-orients. Le
lecteur intress peut se rfrer [CVE 1997] pour une recension exhaustive de
ce domaine.
15 BC;
Dfinition 5.42.
0
i=j
(0)
(i, j) = 1 . . . N : di,j := lij arc(i, j) (5.64)
@ arc(i, j)
10 k1;
11 repeat
12 for all i, j = 1 .h
. . N do i
(k) (k1) (k1) (k1)
14 dij min dij , dik + dkj ;
(k) (k1)
15 if dij 6= dij then
(k) (k1)
17 pij pkj ;
18 else
(k) (k1)
20 pij pij ;
22 k k+1 ;
23 until k > N ;
130 Formalisation mathmatique
Remerciements
[HOL 1991] Holzmann Gerard J., Design and Validation of Computer Pro-
tocols. Prentice Hall, 1991.
[HOP 2001] Hopcroft John E., Motwani Rajeev, Ullman Jeffrey D., In-
troduction to Automata Theory, Languages, and Computation.
Addison-Wesley, 2e dition, 2001.
[KAP 1994] Kaplan Ronald M., Kay Martin, Regular models of phono-
logical rule systems . Computational Linguistics, 20(3) : p.
331378, 1994.
[KLE 1956] Kleene Stephen, Representation of Events in Nerve Nets and
Finite Automata. Princeton University Press, Princeton, N.J.,
1956.
[LAR 1997] Larson Richard C., Odoni Amedeo R., Urban Operations Re-
search. Chapter 6.2 : Travel Distances on Networks , Massa-
chusetts Institute of Technology, Cambridge, MA, 1997-99, dis-
ponible sur http://web.mit.edu/urban_or_book/www/book/.
[ROC 1997] Roche Emmanuel, Compact factorization of finite-state
transducers and finite-state automata . Nord. J. Comput.,
4(2) :187216, 1997.
[ROT 2003] Rotman Joseph J., Advanced Modern Algebra. Prentice Hall, NJ,
2003.
[STR 2009] Strang Gilbert, Introduction to Linear Algebra. 4e dition,
Wellesley-Cambridge Press, Wellesley, MA, 2009.
[WEI 1999] Weinstein Eric W., CRC Concise Encyclopedia of Mathematics.
CRC Press, Boca Raton, FL, 1999.