刘丽珏_经典人工智能与推理技术

副教授

中南大学

414人学过（4.8分）

早期的人工智能研究以经典人工智能为主要手段，研究自动定理证明问题，它是建立在经典逻辑基础上，以数理逻辑的方法进行推理证明的技术，其中消解原理是定理证明方法中的代表之一。本章介绍与讨论经典人工智能的有关问题，主要为消解原理和自动推理证明等问题。