1 什么是推理
----*(1)推理:按某种策略由已知判断推出另一判断的思维过程
----*(2)判断分
-----***已知判断:含与求解问题有关的知识及关于问题的已知事实
-----***由已知判断推出新判断,推理的结论
----*(3)在人工智能系统中,推理是由程序实现的,称为推理机

2 推理方式及其分类
----*(1)演绎推理,归纳推理,默认推理
-----***①演绎推理:是从一般知识推出适合于某一具体情况的结论,它包括三段论式
-----*****大前提:已知的一般性知识或假设
-----*****小前提:具体情况或个别事实的判断
-----*****结论:由大前提推出适合于小前提所示情况的新判断
-----*例 足球运动员的身体都是强壮的
-----*****高波是一名足球运动员
-----*****所以高波的身体是强壮的
-----*****在任何情况下,由演绎推理导出的结论都是蕴含在大前提的一般性知识之中的

-----***②归纳推理:是从足够的事例中归纳出一般性结论的推理过程,是一种从个别到一般的推理?
-----*****完全归纳推理:是指在进行归纳时考察了相应事务的全部对象,并根据这些对象是否都具有某种           属性,从而推出这个事物是否具有必然性推理。这个属性。
-----*****不完全归纳推理:只考虑了相应事物的部分对象,就得出了结论
-----*例 对某厂生产的每一件产品都进行严格检查,且都合格,则推导出该厂生产的产品是合格的必然性       推理。
-----*****检查产品质量时,只是随机地抽查了部分产品,只要他们合格,就得出该厂产品合格的结论非

-----***③默认推理:它是知识不完全的情况下假设某些条件已经具备所进行的推理
-----*例 在条件A已成立的情况下,如果没有足够的证据能证明条件B不成立,则就默认B是成立的,并在此       前提下进行推理,推导出某个结论来

----*⑵确定性推理,不确定性推理
-----***①确定性推理:推理时所用的知识都是精确的,推出的结论也是正确的,其真值或为真或为假。
-----***②不确定性推理:推理时所用的知识不都是精确的,推出的结论也不完全是肯定的,其真值位于真         与假之间,命题的外延模糊不清。
----*(3)单调推理,非单调推理
-----***①单调推理:在推理过程中随着推理的向前推进及新知识的加入,推出的结论呈单调增加的趋势,         并且越来越接近最终目标,在推理过程中不会出现反复情况。
-----***②非单调推理:在推理过程中由于新知识的加入,不仅没有加强已推出的结论,反而否定它,使得         推理退回到前面的某一步,重新开始,多是在知识不完全情况下发生的。
----*(4)启发式推理,非启发式推理启发性知识是指与问题有关且能加快推理进程,求解问题最优解的知识