最近在查资料时注意到「默认推理」这个词，索性整理成一篇小笔记，方便以后查阅，也分享给同样感兴趣的朋友。
- 拼音
- mò rèn tuī lǐ
- 字母
- mo ren tui li
- 首字母
- mrtl
- 注音
- ㄇㄛˋ ㄖㄣˋ ㄊㄨㄟ ㄌㄧˇ
默认推理又称缺省推理，它是在知识不完全的情况下作出的推理，通常的形式：如果没有足够的证据证明结论不成立，则认为结论是正确的。 例如，在条件A已成立的情况下，如果没有足够的证据能证明条件B不成立，则默认B是成立的，并在此默认的前提下进行推理，推导出某个结论。由于这种推理允许默认某些条件是成立的，这就摆脱了需要知道全部有关事实才能进行推理的要求，使得在知识不完全的情况下也能进行推理。在默认推理过程中，如果到某一时刻发现原先所作的默认不正确，则就要撤消所作的默认以及由此默认推出的所有结论，重新按新情况进行推理。