现在还不是,还不能进行复杂推理.但是正在发展中.简单的是可以的,计算机下象棋、五子棋,是基于统计学和排除法,进行的.