有疏漏性推理 编辑
有疏漏性推理是对推理形式的研究,它尽管令人信服,却不如演绎推理那么形式化和严格。它已经在哲学中,和最近在人工智能中讨论过了。
1
相关
有疏漏性逻辑是Donald Nute提出的用来形式化有疏漏性推理的非单调逻辑。在有疏漏性逻辑中,有事实、规则及优势关系三种不同类型的命题。而规则部分,又分为严格规则、有疏漏性规则、以及否决质询规则三种:
有疏漏性逻辑是Donald Nute提出的用来形式化有疏漏性推理的非单调逻辑。在缺省逻辑中,有三种不同类型的命题: