计算机可以做推理逻辑吗？

 【作者：吴斌，原文创作于2016-04-20，如今仍有较高参考价值，但不排除部分信息需要更新。文中有很多引用，不一一列举出处了。】

计算机（主要指人工智能AI）能不能做推理逻辑？这个问题我思考了很久。其实答案很简单，当然可以。其实推理就是：规则+依据已有规则生成新规则。计算机就是基于数学的演绎逻辑做的，程序其实都是if...else...，规则是计算机的基本能力，简单的由规则产生规则并不难，比如：规则1 : 1+2=3，规则2：加法满足交换规则，所以产生规则：2+1=1+2=3。但是，规则多了以后，会造成组合爆炸，推理问