Forge
Veille et briques techniques autour de forge (Ardente Forge). En chantier : je pose les outils et les papiers, on relie au fur et à mesure. Chaque sous-thème a sa propre carte, listée ici avec ses notes.
semantique
Compiler l’intention fonctionnelle en preuve sémantique. Le gros fil, parti du bug RLS qui accepte une liste vide à tort.
- compiler-intention-en-preuve : le récit d’ensemble.
- llm-compilateur-semantique
- couche-semantique
- analyse-ontologique
- competency-questions
- dsl-et-ir
- policies-semantiques
- monde-ferme-vs-owl
- inference-data-tests
- alloy-contre-modeles
- semantic-proof-graph
- evolution-ontologique
validation
Les outils et papiers pour valider la couche sémantique.
world-model
L’agent qui se construit un modèle interne de son monde.
analyse-peripherique
Les lectures qui cadrent la démarche par le bord.
Évoqué dans