Negation-as-failure considered harmful

摘要: In logic programs, negation-as-failure has been used both for representing negative information and providing default nonmonotonic inference. this paper we argue that twofold role is not only unnecessary the expressiveness of language, but it also plays against declarative programming, especially if further negation symbols such as strong are available. We therefore propose a new programming approach in which inference independent, orthogonal concepts. Semantical characterization given style answer sets, other approaches possible. Finally, compare them with semantics programs two kinds negation.