技术定义
用显式符号、规则和推理操作表达知识并求解问题的人工智能路线。
符号路线把问题、目标和知识表示为可操作的结构，再通过推理或搜索产生结论。Newell与Simon在1976年的论文系统论述了符号和搜索；这属于方法与假说的总结，不是当年才出现所有符号程序。
该路线适合表达明确规则，但知识获取与开放环境中的常识覆盖困难；可以与统计和神经方法组合。
原理与影响
解决的问题
- 将可明确表述的知识与推理步骤转为计算过程。
核心原理
- 对显式表示执行规则匹配、逻辑推导或状态空间搜索。
相对前代的改进
暂无记录
技术意义
- 形成专家系统和多种自动推理方法的基础。
历史与应用
人物
Allen Newell、Herbert A. Simon
组织
暂无记录
事件
暂无记录
典型应用
自动推理、规则决策
留下的局限
- 规则覆盖与知识维护成本高；形式规则不自动保证前提正确。
上下游关系
上游
证据：A Formal Basis for the Heuristic Determination of Minimum Cost PathsComputer Science as Empirical Inquiry: Symbols and Search
证据：Computer Science as Empirical Inquiry: Symbols and SearchWhat is Artificial Intelligence? — Basic Questions
下游
证据：DENDRAL — 原始论文与软件档案Computer Science as Empirical Inquiry: Symbols and Search