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