L’orientation de recherche
Étudier les représentations déclaratives d’états, d’agents, de relations, de transformations et de cycles. THML relie la conception de langages symboliques aux concepts de simulation, aux structures récursives d’information et aux idées expérimentales sur les environnements d’exécution.
Questions centrales
- Comment un langage symbolique peut-il décrire des relations et des transitions d’état avec suffisamment de précision pour les exécuter ou les tester ?
- Quelles idées sont des modèles informatiques utiles et lesquelles restent des métaphores philosophiques ?
Mécanismes et approches
- Conception du langage THML
- Cadre conceptuel THM
- Hypothèse d’environnement d’exécution RVM
- Simulation déclarative
- Structures récursives et fractales
- Transformations symboliques d’état
- Métaphore de la résonance comme code
Applications et résultats possibles
- Spécifications de langage
- Ontologies et modèles formels
- Interpréteurs expérimentaux
- Prototypes de simulation
- Articles de recherche
Ce qui doit être validé
Liens
- THM
- RVM
- MIRROR
- ArcheMind
- AstroHitch
- MarsLands / SPP