The thesis proposed here intends to assist Natural Language Processing tasks through the negation and speculation detection. We are focusing on the biomedical and review domain in which it has been proven that the treatment of these language forms helps to improve the performance of the main task. In the biomedical domain, the existence of a corpus annotated for negation, speculation and their ...

This paper describes a framework for recognizing contradictions between multiple text sources by relying on three forms of linguistic information: (a) negation; (b) antonymy; and (c) semantic and pragmatic information associated with the discourse relations. Two views of contradictions are considered, in which a novel method of recognizing contrast and of finding antonymies are described. Contr...

This paper presents a thorough study of negation in SPARQL. The types of negation supported in SPARQL are identified and their main features discussed. Then, we study the expressive power of the corresponding negation operators. At this point, we identify a core SPARQL algebra which could be used instead of the W3C SPARQL algebra. Finally, we analyze the negation operators in terms of their com...

In Sequoiah-Grayson (2009a), the author gave a basic dynamic semantics the Lambek Calculi, to which a dynamic negation was added. This dynamic negation was interpreted as procedural prohibition, or process exclusion. The resulting framework suggested connections with the analysis of negation as test–failure in the Dynamic Predicate Logic (DPL) due originally to Groenendijk and Stokhof (1991), a...

Acceptable arguments must be logically relevant. This paper describes an attempt to retro-engineer the human argumentative competence. The aim is to produce a minimal cognitive procedure that generates logically relevant arguments at the right time. Such a procedure is proposed as a proof of principle. It relies on a very small number of operations that are systematically performed: logical con...

The satisfiability problem for monadic infinite-valued Gödel logic is known to be undecidable. We identify a fragment of this logic extended with strong negation whose satisfiability is not only decidable but it is decidable within classical logic. We use this fragment to formalize the rules of CADIAG-2, a well performing fuzzy expert system assisting in the differential diagnosis in internal m...

Negation is a universal phenomenon in human communication. All natural languages have negation, yet it seems to be absent in animal communication systems (S Altmann, 1967). We use negation frequently for a wide range of purposes, including rejection, denial and talking about non-existence. According to the Oxford English Corpus, “not” is the 13 most frequently used word in the English language....

In this paper I explore the logical range of sentential negation types predicted by the theory of HPSG. I find that typological surveys confirm that attested simple negation strategies neatly line up with the types of lexical material given by assuming Lexical Integrity and standard Phrase Structure Grammar dependencies. I then extend the methodology to bipartite negation and derive a space of ...