缺省逻辑-一流百科

缺省逻辑

简介缺省逻辑是雷蒙德-赖特提出的一种非单调逻辑，用于将带有缺省假设的推理形式化。默认逻辑可以表达诸如'在默认情况下，某物为真'的事实；相比之下，标准逻...