P.Linux Laboratory

本文内容遵从CC版权协议, 可以随意转载, 但必须以超链接形式标明文章原始出处和作者信息及版权声明网址: http://www.penglixun.com/it/ai/why_humans_can_thinking.html
我喜欢有想法就记下来方便需要...

“机械化证明”，就是用计算机进行判断、推理、证明等活动的集合。做这个课题的关键，就在于如何利用计算机模拟出人脑的推理过程。我采用的思维方式，
即：归纳–>演绎–>...