| 词条 | 可废止逻辑 |
| 释义 | § 可废止逻辑 是 Donald Nute 提出的用来形式化可废止推理的非单调逻辑。在缺省逻辑中，有三种不同类型的命题: 硬性规则指定一个事实总是另一个事实的结论； 可废止规则指定一个事实典型的是另一个事实的结论； 废止者指定对可废止规则的例外。 可以在可废止规则和废止者上给出优先级。在演绎期间，硬性规则总是应用，而可废止规则只能在没有更高优先级的废止者指定它不能用的时候应用。 § 其它 文化艺术,生活娱乐,人物百科,社会人文,中外历史... |
| 随便看 |
百科全书收录594082条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。