نتایج جستجو برای: negation
تعداد نتایج: 5427 فیلتر نتایج به سال:
Abstract The study claims that contemporary Udmurt has two main strategies for expressing a ‘constituent negation reading’. Standard makes use of inverse-scope constructions involving sentential negation, i.e. morphosyntactically negated predicate and pragmatic focus in the scope negation. other strategy involves negator ńe borrowed from Russian, which immediately precedes constituent combines ...
The aim of this paper is to provide a semantics for general logic programs (with negation by default) extended with explicit negation, subsuming well founded semantics 22]. The Well Founded semantics for extended logic programs (WFSX) is expressible by a default theory semantics we have devised 11]. This relationship improves the cross{fertilization between logic programs and default theories, ...
We propose to replace Zadeh's DeMorgan-type negation in fuzzy logic by a Heyting-type negation which, unlike the former, preserves the law of the excluded contradiction and is more in line with negation in databases and logic programs. We show that the resulting system can be used for obtaining conservative extensions of relational and deductive databases (resp. normal logic programs).
Minimal Logic, i.e. intuitionistic logic without the ex falso principle, is investigated in its original form with a negation symbol instead of a symbol denoting the contradiction. A Kripke semantics is developed for minimal logic and its sublogics with a still weaker negation by introducing a function on the upward closed sets of the models. The basic logic is a logic in which the negation has...
s Papers Clinical PCLB PCRB PCS PCLB PCRB PCS PCLB PCRB PCS autoparse(t&t) 91.97 87.82 80.88 85.45 67.20 59.26 97.48 88.30 85.89 autoparse(test) 92.71 88.33 81.84 87.57 68.78 62.70 97.48 87.73 85.21 oracle 99.72 94.59 94.37 98.94 84.13 83.33 99.89 98.39 98.39 Table 5: Performance (%) of negation scope finding on the three subcorpora by using automatic parser trained with 6,691 sentences in GTB1...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید