可废止逻辑

有疏漏性逻辑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.