可废止逻辑 - 维基百科，自由的百科全书

建議此條目或章節與有疏漏性邏輯合并。（討論）

此條目翻譯品質不佳。 (2020年5月31日) 翻譯者可能不熟悉中文或原文語言，也可能使用了機器翻譯。請協助翻譯本條目或重新編寫，并注意避免翻译腔的问题。明顯拙劣的翻譯請改掛{{d|G13}}提交刪除。

有疏漏性逻辑是Donald Nute提出的用来形式化有疏漏性推理的非单调逻辑。在缺省逻辑中，有三种不同类型的命题：

• 硬性规则：指定一个事实总是另一个事实的结论；
• 有疏漏性规则：指定一个事实典型的是另一个事实的结论；
• 废止者：指定对有疏漏性规则的例外。

可以在有疏漏性规则和废止者上给出优先级。在演绎期间，硬性规则总是使用，而有疏漏性规则只能在没有更高优先级的废止者指定它不能用的时候使用。

• 常识
• 非单调逻辑
• 缺省逻辑
• 有疏漏性推理

• D. Nute (1994). Defeasible logic. In Handbook of logic in artificial intelligence and logic programming, volume 3: Nonmonotonic reasoning and uncertain reasoning, pages 353-395. Oxford University Press.

• G. Antoniou, D. Billington, G. Governatori, and M. Maher (2001). Representation results for defeasible logic. ACM Transactions on Computational Logic, 2 (2):255-287.

这是一篇與逻辑学相關的小作品。您可以通过编辑或修订扩充其内容。 查 论 编