Machine virtuelle sémantique
Référence : cette page est une synthèse technique fondée sur le chapitre LaTeX cité ci-dessous. Pour la syntaxe exacte, la disponibilité ou les signatures ABI, vérifier le source versionné, le manifeste et les tests exécutables.
Portée et frontière de la source
Le modèle conceptuel sert d’ancrage sémantique exécutable ; l’interface agent en est un client, pas un remplacement.
L’architecture de référence sépare les représentations MODEL, APPLICATION, SEMANTIC, RUNTIME et NUMERICAL. Elles ont des propriétaires, durées de vie et algorithmes différents. Une modification de source locale, une mise à jour de l’application assemblée, une inférence sémantique et l’actualisation d’un index vectoriel sont des transitions distinctes.
Règles d’ingénierie
- Employer MODEL pour la fidélité au source et les modifications déclaratives locales.
- Employer APPLICATION pour les packages résolus, l’héritage et les métadonnées activées.
- Employer SEMANTIC pour les relations logiques, l’identité et les preuves.
- Ne pas attribuer à l’état de session RUNTIME ou aux projections NUMERICAL l’autorité sémantique.
Plan du chapitre (intitulés LaTeX d’origine)
- Applications as Conceptual Systems
- Concepts
- Facets
- Relations and Role Paths
- Three Kinds of Values: Scalar, Object Reference and Relation
- Actions
Provenance LaTeX
Chapitre principal : Declarative Conceptual Programming with the logiCells Platform/developer-guide/chapters/the-logicells-mental-model.tex.