【negation_as_failure】什么意思_英语negation_as_failure的翻译_音标_读音_用法_例句_在线翻译

Negation as failure

否定为失败（逻辑否定有两种释义：公式的否定为真或失败。在Prolog中，否定为失败被用于处理未知公式。否定为失败与封闭世界假定有关，即把不知道的东西做为假）

网络释义 英英释义

失败即否定

...-up 在OWL上加Horn Rule，并且对Rule的解释是和OWL DL兼容的，为了这个兼容性，rule里面常用的失败即否定（Negation as Failure, NAF），还有原子公式的否定和析取都抛弃了。

负即失败

...语言--f-NSWRL (fuzzy Nonmonotonic Semantic Web Rule Language),对两种否定(即否定(negation)和负即失败(negation as failure))在其中的应用进行了研究,讨论了优先级问题来处理模糊知识库中的规则冲突问题,给出了在竞争规则中计算优先级的法则.

基于8个网页-相关网页

否定为失败

... full negation 全部否定 negation as failure 否定为失败 negation element “非”元件 ...

基于1个网页-相关网页

里面常用的失败即否定

...-up 在OWL上加Horn Rule，并且对Rule的解释是和OWL DL兼容的，为了这个兼容性，rule里面常用的失败即否定（Negation as Failure, NAF），还有原子公式的否定和析取都抛弃了。

基于1个网页-相关网页

Negation as failure

abstract: Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive \mathrm{not}~p (i.e.

以上来源于: WordNet

双语例句

Finite failure is the essential concept in negation as failure. It denotes that the SLD-tree for a goal is finite and all branches of the tree fail.

有限失败是失败即否定原则中重要的概念，它是指求解一个目标所得到的SLD树是有限且每个分支都是失败的。

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句

目录