Default logic aims at formalizing inference rules like this one without explicitly mentioning all their exceptions.
缺省逻辑致力于形式化像这样的推理规则，而不需要明确提及所有的例外。