We explore developing rich semantic models of systems. Specifically, we consider structured causal explanations about state changes in those systems. Essentially, we are developing process-based dynamic knowledge graphs. As an example, we construct a model of the causal threads for geological changes proposed by the Snowball Earth theory. Further, we describe an early prototype of a graphical interface to present the explanations. Unlike statistical approaches to summarization and explanation such as Large Language Models (LLMs), our approach of direct representation can be inspected and verified directly.

翻译：我们探索开发系统的丰富语义模型。具体而言，我们考虑关于这些系统状态变化的结构化因果解释。本质上，我们正在构建基于过程的动态知识图谱。以"雪球地球"理论提出的地质变化因果线索为例，我们构建了相应的模型。此外，我们描述了一个用于呈现这些解释的图形界面的早期原型。与统计性总结和解释方法（如大型语言模型LLMs）不同，我们的直接表示方法可以直接被检查和验证。