可廢止邏輯

有疏漏性邏輯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.