This paper presents one of the two contributions from the Universidad Complutense de Madrid to the *SEM Shared Task 2012 on Resolving the Scope and Focus of Negation. We describe a rule-based system for detecting the presence of negations and delimitating their scope. It was initially intended for processing negation in opinionated texts, and has been adapted to fit the task requirements. It fi...

We present nine questions related to the concept of negation and, in passing, we refer connections with essays this special issue. The were submitted one most eminent logicians who contributed theory negation, Prof. (Jon) Michael Dunn, but, unfortunately, Dunn was no longer able answer them. passed away on 5 April 2021, and issue Logical Investigations is dedicated his memory. concern (i) negat...

In this paper, we evaluate the translation of negation both automatically and manually, in English–German (EN–DE) English– Chinese (EN–ZH). We show that ability neural machine (NMT) models to translate has improved with deeper more advanced networks, although performance varies between language pairs directions. The accuracy manual evaluation EN?DE, DE?EN, EN?ZH, ZH?EN is 95.7%, 94.8%, 93.4%, 9...

Abstract This article focuses primarily on the claim in previous research that finiteness asymmetry occurs less often imperative negation, due to its illocutionary dynamicity, than standard stativity. Its secondary aim is identify languages suitable test this hypothesis, with specialized imperatives as well negative imperatives. The findings of identification process a balanced 200-language sam...

This thesis studies negation in logic and deductive databases. Among other things, two kinds of negation are discussed in detail: strong negation and nonmonotonic negation. In the logic part, we have constructed a rst-order logic CF0 of strong negation with bounded quanti ers. The logic is based on constructive logics, in particular, Thomason's logic CF. However, unlike constructive logic, quan...

The paper presents two new compilation schemes of Decomposable Negation Normal Form (DNNF) theories into Conjunctive Normal Form (CNF) and Linear Integer Programming (MIP), respectively. We prove that the encodings have useful properties such as unit propagation on the CNF formula achieves domain consistency on the DNNF theory. The approach is evaluated empirically on random as well as real-wor...

CP-logic is a probabilistic extension of the logic FO(ID). Unlike ASP, both of these logics adhere to a Tarskian informal semantics, in which interpretations represent objective states-of-affairs. In other words, these logics lack the epistemic component of ASP, in which interpretations represent the beliefs or knowledge of a rational agent. Consequently, neither CP-logic nor FO(ID) have the ne...

Famous medieval philosophers Al-Sijistani and Maimonides argued that the use of double negation helps us to better understand issues related to theology. To a modern reader, however, their arguments are somewhat obscure and unclear. We show that these arguments can be drastically clarified if we take into account the 20 century use of double negation in constructive logic. 1 Double Negation The...

The aim of this paper is to propose a logical and algebraic theory which seems well-suited to logic programs with negatior, and deductive databases. This theory has similar properties to those of Prolog theory limited to programs with Horn clauses and tbns can be considered as sn extension of the usual theory. This parallel with logic programming without negation lies in the introduction of a t...

Abstract This paper is aiming to analyze the occurence and some functional pragmatic aspects of types negation in all Lucian Blaga’s volumes poetry. By using a quantitative approach, we have proved stylistic effect his poetry importance with positive connotations verse. Beginning verbal negation, this goes through other it acoording Rodica Zafiu’s classification: constituent, expletive pro-sent...