缺省逻辑 缺省逻辑是逻辑学家Ray Reiter英语Ray Reiter提出的用来形式化有缺省假定的推理的非单调逻辑 标准逻辑只能表达某个事物为真或某个事物为假但类似于缺省的某个事物是真的的事实则可以使用缺省逻辑进行表达推理经常会涉及到在多数时候是真但不总是真的事实而缺省逻辑则可以解决这样的推理问题 经典的例子是鸟通常会飞这个规则可以在标准逻辑中表达为要么所有鸟都会飞这与企鹅不会飞的事实相矛盾要么除了企鹅鸵鸟的所有鸟都会飞这又要求规则逐一指定出所有的例外缺省逻辑致力于将这样的推理规则形式化而不需要明确提及所有的例外