Existing semantics for answer-set program updates fall into two categories: either they consider only strong negation in heads of rules, or they primarily rely on default negation in heads of rules and optionally provide support for strong negation by means of a syntactic transformation. In this paper we pinpoint the limitations of both these approaches and argue that both types of negation sho...

Negation is both an operation in formal logic and natural language by which a proposition replaced one stating the opposite, as addition of "not" or another negation cue. Treating adequate way required for cognitive reasoning, aims at modeling human ability to draw meaningful conclusions despite incomplete inconsistent knowledge. One task reasoning answering questions given sentences language. ...

After arguing that in the knowledge acquisition framework experts can not always supply a precise semantics for the linguistic labels they use, we show that negation functions over an ordered set of linguistics labels induce a semantics. We study the semantics induced by classical negation, functions from L to L, and also the one induced by negation functions from L to parts of L.

Several corpora have been annotated with negation scope—the set of words whose meaning is negated by a cue like the word “not”—leading to the development of classifiers that detect negation scope with high accuracy. We show that for nearly all of these corpora, this high accuracy can be attributed to a single fact: they frequently annotate negation scope as a single span of text delimited by pu...