否定为失败 Negation as failure

（重定向自Negation by failure）

否定为失败是对逻辑否定做的释义，依据公式的否定为真，当且仅当这个公式不能被证明为真。否定为失败用于逻辑编程语言比如 Prolog。

在逻辑中，否定的标准解释是公式的否定为真，当且仅当这个公式为假。如果这个公式非真非假，它的否定被当作是未知。反过来，依据否定为失败的解释，这个公式的否定被当作为真。

在 Prolog 中用的否定被解释器按否定为失败处理。假如进程执行期间，解释器必须求值 NOT a(b)，它尝试证明 a(b) 为真。如果这个尝试不成功，则 NOT a(b) 被当作为真。

否定为失败与把不知道为真的东西做为假的常见缺省假定有关。这叫做封闭世界假定。

单词	Negation by failure
释义	Negation by failure 中文百科否定为失败 Negation as failure （重定向自Negation by failure）否定为失败是对逻辑否定做的释义，依据公式的否定为真，当且仅当这个公式不能被证明为真。否定为失败用于逻辑编程语言比如 Prolog。在逻辑中，否定的标准解释是公式的否定为真，当且仅当这个公式为假。如果这个公式非真非假，它的否定被当作是未知。反过来，依据否定为失败的解释，这个公式的否定被当作为真。在 Prolog 中用的否定被解释器按否定为失败处理。假如进程执行期间，解释器必须求值 `NOT a(b)`，它尝试证明 `a(b)` 为真。如果这个尝试不成功，则 `NOT a(b)` 被当作为真。否定为失败与把不知道为真的东西做为假的常见缺省假定有关。这叫做封闭世界假定。英语百科 Negation as failure 否定为失败（重定向自Negation by failure） Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive $\mathrm{not}~p$ (i.e. that $~p$ is assumed not to hold) from failure to derive $~p$ . Note that $\mathrm{not} ~p$ can be different from the statement $\neg p$ of the logical negation of $~p$ , depending on the completeness of the inference algorithm and thus also on the formal logic system.
随便看	get ashore的意思 get a shot at的意思 get a shot in的意思 get a show的意思 get a sight at the elephant的意思 get a sight of的意思 get a sleep的意思 get a smack in the eye的意思 get a smack on the face的意思 get a spanking的意思 get a spell的意思 get ass的意思 get ass in a sling的意思 get a start的意思 get a start in的意思 get a swelled head的意思 get a swollen head的意思 get at的意思 get at的意思 getatable的意思 getat able的意思 getatableness的意思 get at a high figure的意思 get a tail on sb的意思 get at a low figure的意思

Negation by failure

否定为失败 Negation as failure

Negation as failure 否定为失败