失败即否定

来自术语
跳转至: 导航搜索

    为了克服SLD消解不允许推出否定信息的限制,Clark1978年提出的一种对原子公式的否定的非经典解释:对原子公式p,若缺少充分的条件证明p,则可以推得not(p),即p不成立。

英文名 negation as failure



链接

Wikipedia https://en.wikipedia.org/wiki/negation_as_failure