La dirección de investigación
Investigar representaciones declarativas de estados, agentes, relaciones, transformaciones y ciclos. THML vincula el diseño de lenguajes simbólicos con conceptos de simulación, estructuras recursivas de información e ideas experimentales sobre entornos de ejecución.
Preguntas centrales
- ¿Cómo puede un lenguaje simbólico describir relaciones y transiciones de estado con la precisión suficiente para ejecutarlas o ponerlas a prueba?
- ¿Qué ideas son modelos computacionales útiles y cuáles siguen siendo metáforas filosóficas?
Mecanismos y enfoques
- Diseño del lenguaje THML
- Marco conceptual THM
- Hipótesis del entorno de ejecución RVM
- Simulación declarativa
- Estructuras recursivas y fractales
- Transformaciones simbólicas de estado
- Metáfora de la resonancia como código
Aplicaciones y resultados posibles
- Especificaciones de lenguaje
- Ontologías y modelos formales
- Intérpretes experimentales
- Prototipos de simulación
- Artículos de investigación
Qué necesita validarse
Conexiones
- THM
- RVM
- MIRROR
- ArcheMind
- AstroHitch
- MarsLands / SPP