缺省逻辑

缺省逻辑（default logic），计算机科学技术名词，雷·赖特（Ray Reiter）提出的用来形式化有缺省假定的推理的非单调逻辑。可以表达像“若找不到反面证据，则认为某个命题是真的”这样的论断。