失敗による否定
1. Negation as failureNegation 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.
Read “Negation as failure” on English Wikipedia
Read “失敗による否定” on Japanese Wikipedia
Read “Negation as failure” on DBpedia
Read “Negation as failure” on English Wikipedia
Read “失敗による否定” on Japanese Wikipedia
Read “Negation as failure” on DBpedia
Discussions
Log in to talk about this word.