Wednesday, May 20, 2020

latex is for rendering presentation and does not provide semantics

Latex is used in the Physics Derivation Graph to specify mathematical expressions. This is a poor choice in that Latex does not provide explicit semantics for the content. That association is typically left to the human reader.

In the Physics Derivation Graph we could manually assign semantic meaning to each expression. That's a tedious task.

Alternatively, we could

  1. parse the arxiv database and find the most common expressions
  2. assign semantic meaning to those. 
  3. when the expression arises in the Physics Derivation Graph, the most likely interpretation of that expression is what has previously been labeled.

No comments:

Post a Comment