符号式人工智能系统是以离散符号和显式规则形式表示知识，并通过逻辑推理进行处理的人工智能方法。

它们利用形式逻辑，如谓词逻辑，来表示知识，并采用基于推理的方法来推导新知识。

此类系统也称为基于知识的系统或专家系统，能够实现可解释且确定性的决策。

一个典型的例子是基于规则的系统，由“如果-那么”规则组成，并应用这些规则来解决问题。

定义：
“符号式人工智能系统通过符号和规则显式表示知识，应用逻辑推理操作这些符号以进行推理和决策。”

来源：
Russell, S., & Norvig, P. (2021). Artificial Intelligence: A Modern Approach. Pearson.