计算机科学

首页 > 计算机科学

可废止逻辑

2018-08-30 10:06:02     所属分类:计算机逻辑

可废止逻辑是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.

上一篇:非单调逻辑
下一篇:高阶逻辑
相关推荐