Published 2017-05-29T20:37:00Z by Physics Derivation Graph
The Physics Derivation Graph is composed of inference rules and mathematical expressions. Inference rules describe how to get from one expression to another.
In this post I first show that expressions can be represented as abstract syntax trees. Then I show that inference rules are effectively transformations applied to abstract syntax trees.
First I'll illustrate that every expression in the Physics Derivation Graph can be represented as an abstract syntax tree. For example, the expression
a+b = c
would be represented as
An example of an inference rules in the Physics Derivation Graph is, "add 2 to both sides of the expression." In this example the value 2 is a "feed" to the inference rule and the inference rule operates against a single expression.