摘要:机器定理证明 正文 把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术,又称自动定理证明和自动演绎。机器定理证明是人工智能的重要研究领域,它的成果可应用于问题求解、自然语言理解、程序验证和自动程序设计等方面。数学定理证明的过程尽管每一步都很严格有据,但决定采取什么样的证明步骤,却依赖于经验、直觉、想象力和洞察力,需要人的智能。因此,数学定理的机器证明和其他类型的问题求解,就成为人工智能研究的起点。早在17世纪中叶,莱布尼兹就提出过用机器实现定理[阅读全文]