缺省逻辑是Ray Reiter提出的用来形式化有缺省假定的推理的非单调逻辑。
https://web.archive.org/web/20140922141232/http://www.rci.rutgers.edu/~cfs/472_html/Logic_KR/DefaultTheory.html