ArtificialIntelligenceResolution:1 Graduate University , Chinese academy of Sciences. 人工智能Artificial IntelligenceArtificialIntelligenceResolution:2 Graduate University , Chinese academy of Sciences. 自动推理ArtificialIntelligenceResolution:3 Graduate University , Chinese academy of Sciences. 自动推理的理论和技术是专家系统、程序推导、程序正确性证明、智能机器人等研究领域的重要基础。 自动推理早期的工作主要集中在机器定理证明。 1930年Herbrand为定理证明建立了一种重要方法，他的方法奠定了机械定理证明的基础。 机械定理证明的主要突破是1965年由J.A.Robinson做出的，他建立了所谓归结原理，使机械定理证明达到了应用阶段。ArtificialIntelligenceResolution:4 Gr
