Tema de pesquisa
linguagem declarativa de simulação
No programa THML e computação simbólica
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 que orientam esta linha
- 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?
Critério de avanço
Separar a computação verificável da metáfora. Especificar a semântica, o comportamento de execução e os critérios de avaliação antes de afirmar capacidades de desempenho técnico.
Contexto de pesquisa
Astrologia, ressonância e conceitos míticos são identificados como referenciais simbólicos ou especulativos. Não são apresentados como ciência estabelecida nem como avaliação clínica.