Context

Statut documentaire : architecture — voir Maturité et preuves.

Context est une entrée sémantique de l'interprétation logique. Ce n'est pas seulement un dictionnaire local à une requête ni une variable ambiante de l'application.

Dans le moteur actuel, le contexte est passé à des opérations logiques centrales comme les tests de sous-typage, l'implication et la comparabilité. Les relations logiques possèdent aussi une position dédiée au contexte à côté de leur source, cible et mapping polyadique.

IsSubtypeOf(A, B, roleMap, context)
Implies(A, B, roleMap, context)
IsComparable(A, B, roleMap, context)

La réponse à une question structurelle ou logique peut donc dépendre du contexte dans lequel la relation est interprétée.

Context dans les relations logiques

Une relation logique est structurellement proche de :

relation logique
  PolyadicMap
  Source
  Target
  Context
  attributs : poids, métadonnées d'ordre, ...

Le contexte appartient ainsi à la sémantique de la relation, et non à une annotation ajoutée après coup.

Conseils de modélisation

Utilisez un contexte conceptuel explicite lorsque la validité change réellement selon une portée modélisée : politique, régime d'interprétation, scénario, ontologie propre à un tenant, cadre temporel de raisonnement ou autre portée sémantique du domaine.

Ne transformez pas automatiquement chaque correlation id, état d'UI ou valeur thread-local en Context conceptuel. Le contexte opérationnel d'exécution et le contexte logique conceptuel appartiennent à deux couches différentes.

Conséquence pour le raisonnement

Si deux énoncés semblent compatibles structurellement mais ont été établis dans des contextes différents, ne supposez pas qu'ils peuvent être comparés ou composés sans transmettre le contexte voulu à l'opération de raisonnement.