有疏漏性逻辑

有疏漏性逻辑[1][2][3]Donald Nute提出的用来形式化有疏漏性推理非单调逻辑。在有疏漏性逻辑中,有事实(facts)规则(rules)优势关系(superiority relation)三种不同类型的命题。而规则部分,又分为严格规则(strict rules)有疏漏性规则(defeasible rules)、以及否决质询规则(defeaters)三种:

事实:无可争辩的声明。
优势关系:在规则集合上定义的二元关系中的优势关系。优势关系确定两个(冲突)规则的相对强度。若在制定优势关系导致出现循环时,则会自动否决相关的论证结果。
严格规则:所指定的一个事实总是另一个事实的结论;
有疏漏性规则:给定的一个事实,典型上是为另一个事实的推定结论;有疏漏性规则会因为有相反证据的提出而停止适用。
否决质询规则:指定例外给有疏漏性规则,而非用来得出任何的结论。它们的唯一用途是防止得出某些结论。

可以在有疏漏性规则和否决质询规则上给出优先等级(优势关系)。在演绎期间,先适用严格规则,而有疏漏性规则只能适用在没有更高优先等级的否决质询规则指定它不能用的时候。优势关系若导致出现循环时,则会自动否决相关的论证结果。

参见

引用

  • Donald Nute, Defeasible logic, Lecture Notes in Computer Science, Springer, 2003.
  1. 重定向 可废止逻辑

  • 合并重定向:这是由被合并页面,指向并入页面的重定向。本重定向用于保持页面题名至相应主条目,令页面内容在合并后仍能保存其编辑历史。请不要移除标记或删除此页面。
  1. ^ Donald 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
  2. ^ G. Antoniou, D. Billington, G. Governatori, and M. Maher (2001). Representation results for defeasible logic. 'ACM Transactions on Computational Logic', 2 (2):255-287. [2020-06-04]. (原始内容存档于2020-06-04). 
  3. ^ Guido Governatori (2008), Defeasible Logic. [2020-06-19]. (原始内容存档于2020-12-01).