合情推理简介合情推理是波利亚的启发法(heuristic, 即有助于发现的)中的一个推理模式.波利亚多年深入研究数学问题解决过程(problem solving一般被误译为解题,这里把它译为问题解决)得出的理论成果.波利亚对启发法解释道:现代启发法力求了解问题解决过程,特别是问题解决过程中典型有用的智力活动.在这种研究中,我们不应忽视任何一类问题,并且应当找出处理各类问题所共有的特征来;我们的目的应当是找出一般特征而与主题无关.可见波利亚的启发法讲的是问题解决在数学方法论上的共同点.启发法源于他对问题解决的研究,问题解决就是在没有现成的解题方法时寻找一条解题途径,就是从困难中找到出路,就是寻求一条绕过障碍的道路,由适当的方法达到所要去的而不能立即达到的目的.这说明波利亚早在50年前就已经把问题和问题解决的主要特征搞清楚了.1