主要是Grobner基方法和吴方法
详见
/news/details_37505.html
/
认为人工智能源于数理逻辑。数理逻辑从19世纪末起得以迅速发展，到20世纪30年代开始用于描述智能行为。计算机出现后，又在计算机上实现了逻辑演绎系统。其有代表性的成果为启发式程序LT逻辑理论家，它证明了38条数学定理，表明了可以应用计算机研究人的思维过程，模拟人类智能活动。正是这些符号主义者，早在1956年首先采用“人工智能”这个术语。后来又发展了启发式算法>专家系统>知识工程理论与技术，并在20世纪80年代取得很大发展。符号主义曾长期一枝独秀，为人工智能的发展作出重要贡献，尤其是专家系统的成功开发与应用，为人工智能走向工程应用和实现理论联系实际具有特别重要的意义。在人工智能的其他学派出现之后，符号主义仍然是人工智能的主流派别。这个学派的代表人物有纽厄尔(Newell)、西蒙(Simon)和尼尔逊(Nilsson)等。
吴方法提供了非常基本的算法，能够求解多项式方程组，证明初等几何定理，计算机器人路径规划，生成数控机床加工方案，进行参数样条曲面隐式化，求解代数几何问题等等，从而广泛应用于纯粹数学、计算数学以及众多工程领域。
吴方法为人工智能的符号计算提供了坚实的理论基础和高效的算法，特别是算法的每一步骤都可以被人类透彻理解，它代表了智能中严密清晰的逻辑思维层面，和连接主义中概率模糊的感性直觉层面互补。
符号推理 /view/
/view/
基于规则的演绎推理 /view/
知识图谱 谓词逻辑 与深度学习 /starzhou/article/details/71169636
知识图谱综述 /a/196889767_151779
deep mind 推理网络 /shenxiaolu1984/article/details/73522056