A direção de pesquisa
Pesquisar representações declarativas de estados, agentes, relações, transformações e ciclos. THML conecta o design de linguagens simbólicas a conceitos de simulação, estruturas recursivas de informação e ideias experimentais sobre ambientes de execução.
Perguntas centrais
- Como uma linguagem simbólica pode descrever relações e transições de estado com precisão suficiente para executá-las ou testá-las?
- Quais ideias são modelos computacionais úteis e quais continuam sendo metáforas filosóficas?
Mecanismos e abordagens
- Design da linguagem THML
- Referencial conceitual THM
- Hipótese do ambiente de execução RVM
- Simulação declarativa
- Estruturas recursivas e fractais
- Transformações simbólicas de estado
- Metáfora da ressonância como código
Aplicações e resultados possíveis
- Especificações de linguagem
- Ontologias e modelos formais
- Interpretadores experimentais
- Protótipos de simulação
- Artigos de pesquisa
O que precisa ser validado
Conexões
- THM
- RVM
- MIRROR
- ArcheMind
- AstroHitch
- MarsLands / SPP