定理机器证明.pdf 定理机器证明是人工智能研究中一个非常活跃而又极其重要的领域，它的发展对专家系统、信息智能检索、智能机器人等人工智能其它领域都有深远的影响，本书主要介绍这一领域的理论基础及重要研究成果．书中首先介绍了命题逻辑与一阶逻辑，然后介绍了定理机器证明的归结方法及各种改进的方法、模糊逻辑和模 叁号仓库 2022年07月15日 0 点赞 0 评论 8385 浏览
