早在17世纪，数学家莱布尼兹就认为大量的人类推理可以被归约为某类运算，这一思想可能是人工智能的最早起源。他曾思考过这么一个问题：“是否存在一种有效的计算方法，可以判断一个逻辑表达式的真或假？”这一问题后来被希尔伯特和阿克曼于1928年形式化为一个判定 ...