可废止逻辑

可废止逻辑（defeasible logic），计算机科学技术名词，一类面向证明论的非单调系统，这类系统的显著特点是：除了通常意义下的推理规则外，还将这些推理规则何时可以使用、何时失效也用规则的形式纳入系统中。