20140927142231_6249
栏目导航
www.1883.cm
www.1883.cm > www.1883.cm > 文章
使得正在学问不彻底的环境下也能进行推理
发布时间:2019-09-05  浏览次数:

  声明:百科词条人人可编纂,词条建立和点窜均免费,毫不存正在及代办署理商付费代编,请勿上当。详情

  默认推理又称缺省推理,它是正在学问不完全的环境下做出的推理,凡是的形式:若是没有脚够的证明结论不成立,则认为结论是准确的。

  例如,正在前提A已成立的环境下,若是没有脚够的能证明前提B不成立,则默认B是成立的,并正在此默认的前提下进行推理,推导出某个结论。因为这种推理答应默认某些前提是成立的,这就脱节了需要晓得全数相关现实才能进行推理的要求,使得正在学问不完全的环境下也能进行推理。正在默认推理过程中,若是到某一时辰发觉原先所做的默认不准确,则就要裁撤所做的默认以及由此默认推出的所有结论,从头按新环境进行推理。