这句话中的"symbolic"是什么意思?

What does "symbolic" mean in this sentence?

我正在阅读 Bergstra et al "Theano: new features and speed improvements" [2012] 并且不理解“symbolic 的含义" 在这种情况下(相对于例如目录的符号 link):

Using Theano’s symbolically-defined implementations within a Python loop prevents symbolic differentiation through the iterative process, and prevents certain graph optimizations from being applied. Completely unrolling the loop into a symbolic chain often leads to an unmanageably large graph and does not allow for “while”-style loops with a variable number of iterations.

本文中的符号是指 symbolic math

这意味着您可以使用符号进行数学规划,而不是需要需要数值的变量,例如

y = x**2 + 5*x + 7

为了使上述在非符号数学中有效,变量 x 需要有一个数值,并且右侧的结果将分配给 y ,然后会有一个数值。

相反,在符号数学中,变量 xy 可以是 symbols 所以你可以做类似的事情(在伪代码中)

diff(y, x)  # meaning differentiate y with respect to x

这会导致

dy/dx = 2*x +5

在此上下文中,这意味着对于具有 x = 10 的变量,仅使用变量的 'symbol x' 进行计算。 x+x = 2x 但是实际上并没有计算值 20,只是代数表达式。这样你就可以在插入实际值之前优化一系列数学运算,以节省计算时间或潜在的其他问题,如空除法。

不要混淆但有点相关的是 automatic differentiation, also used for neural networks, here's 一篇介绍该概念的好文章。