Loading AI tools
来自维基百科,自由的百科全书
有疏漏性邏輯[1][2][3]是Donald Nute提出的用來形式化有疏漏性推理的非單調邏輯。在有疏漏性邏輯中,有事實(facts)、規則(rules)及優勢關係(superiority relation)三種不同類型的命題。而規則部分,又分為嚴格規則(strict rules)、有疏漏性規則(defeasible rules)、以及否決質詢規則(defeaters)三種:
可以在有疏漏性規則和否決質詢規則上給出優先等級(優勢關係)。在演繹期間,先適用嚴格規則,而有疏漏性規則只能適用在沒有更高優先等級的否決質詢規則指定它不能用的時候。優勢關係若導致出現循環時,則會自動否決相關的論證結果。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.