Negation as failure
Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive (i.e. that is assumed not to hold) from failure to derive . Note that can be different from the statement of the logical negation of , depending on the completeness of the inference algorithm and thus also on the formal logic system. Negation as failure has been an important feature of logic programming since the earliest days of both Planner and Prolog. In Prolog, it is usually implemented using Prolog's extralogical constructs.
known for
Wikipage disambiguates
Wikipage redirect
primaryTopic
Negation as failure
Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive (i.e. that is assumed not to hold) from failure to derive . Note that can be different from the statement of the logical negation of , depending on the completeness of the inference algorithm and thus also on the formal logic system. Negation as failure has been an important feature of logic programming since the earliest days of both Planner and Prolog. In Prolog, it is usually implemented using Prolog's extralogical constructs.
has abstract
In der Wissensverarbeitung und ...... tigen Ergebnisse liefern kann.
@de
La negazione come fallimento ( ...... azione come fallimento finito.
@it
La négation par l'échec (en an ...... tion par l'échec dérive , et .
@fr
Negatie als falen (NAF, Engels ...... aakt van \+ in plaats van not.
@nl
Negation as failure (NAF, for ...... log's extralogical constructs.
@en
Negação por falha, é uma regra ...... trutos extralógicos do Prolog.
@pt
否定为失败是对逻辑否定做的释义，依据公式的否定为真，当且仅当 ...... 知道为真的东西做为假的常见缺省假定有关。这叫做封闭世界假定。
@zh
失敗による否定（しっぱいによるひてい、英: Negation ...... og では、論理構成要素の範囲外として実装されることが多い。
@ja
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
733,864,165
comment
In der Wissensverarbeitung und ...... te (goal p)), then (assert ¬p)
@de
La negazione come fallimento ( ...... se (ovvero, per verificare che
@it
La négation par l'échec (en an ...... tion par l'échec dérive , et .
@fr
Negatie als falen (NAF, Engels ...... P) :- call(P), !, fail.not(P).
@nl
Negation as failure (NAF, for ...... log's extralogical constructs.
@en
Negação por falha, é uma regra ...... trutos extralógicos do Prolog.
@pt
否定为失败是对逻辑否定做的释义，依据公式的否定为真，当且仅当 ...... 知道为真的东西做为假的常见缺省假定有关。这叫做封闭世界假定。
@zh
失敗による否定（しっぱいによるひてい、英: Negation ...... og では、論理構成要素の範囲外として実装されることが多い。
@ja
label
Negatie als falen
@nl
Negation as failure
@en
Negazione come fallimento
@it
Negação por falha
@pt
Négation par l'échec
@fr
Schwache Negation
@de
否定为失败
@zh
失敗による否定
@ja