symbolic-math - 什么是符号计算？

Question

根据wiki:

In mathematics and computer science, computer algebra, also called symbolic computation or algebraic computation is a scientific area that refers to the study and development of algorithms and software for manipulating mathematical expressions and other mathematical objects

符号计算是否专注于符号操作和计算？ Lisp程序以原子作为树叶的AST形式编写。据说Lisp是用于符号计算的语言。这是否意味着在符号计算中，它是:

关于符号的全部信息(符号是Lisp中的原子或非原子表达式)

每个符号都分配了一个语义

符号计算是使程序员专注于处理符号和语义(语义可以是执行某些操作的原子或表达式)以及符号之间关系的范式，而不是认为数据结构和代码是两个分离的实体。

程序设计是基于符号组成/操作和语义分配的语言设计。

根据 this question，符号计算的反义词是数值计算。两者之间的主要区别是什么？当我使用Octave(正在研究)时，我必须大量处理数字，并且必须多次猜测这些魔术数字的含义。这是数值计算的重点吗？

Answer 1

“符号计算”是使用符号表达式的计算。

符号表达式的示例:

一个数学公式。例如整数表达式

逻辑定理

计划状况

对于后者:

道路从a到b，b到d，c到e，e到f，b到f，...

将a处的p1，p处的p2和f处的p3包裹

d的卡车t1

现在的任务是生成一个好的计划，将所有包裹都捡起来

在d

处提取包裹p2

将卡车t1从d移至b

将卡车t1从b移到

在

处拾取包裹p1

...

在上述示例中，符号代表地点和事物(卡车，包裹)。符号表达式描述了一种情况，计划生成器将返回一系列 Action -再次描述为符号表达式。