Let R be a prime ring of characteristic different from 2 and 3, Qr its right Martindale quotient ring, C its extended centroid, L a non-central Lie ideal of R and n ≥ 1 a fixed positive integer. Let α be an automorphism of the ring R. An additive map D: R → R is called an α-derivation (or a skew derivation) on R if D(xy) = D(x)y + α(x)D(y) for all x, y \in R. An additive mapping F: R → R is called a generalized α-derivation (or a generalized skew derivation) on R if there exists a skew derivation D on R such that F(xy) = F(x)y + α(x)D(y) for all x, y \in R. We prove that, if F is a nonzero generalized skew derivation of R such that F(x)×[F(x), x]n = 0 for any x \in L, then either there exists λ \in C such that F(x) = λx for all x \in R, or R\subset M_{2}\left ( C \right ) and there exist a \in Qr and λ \in C such that F(x) = ax + xa + λx for any x \in R., Vincenzo De Filippis., and Obsahuje seznam literatury
We introduce the concepts of an annihilator and a relative annihilator of a given subset of a BCK-algebra $\mathcal A$. We prove that annihilators of deductive systems of BCK-algebras are again deductive systems and moreover pseudocomplements in the lattice $\mathcal D (A)$ of all deductive systems on $\mathcal A$. Moreover, relative annihilators of $C\in \mathcal D (A)$ with respect to $B \in \mathcal D (A)$ are introduced and serve as relative pseudocomplements of $C$ w.r.t. $B$ in $\mathcal D (A)$.
The concepts of an annihilator and a relative annihilator in an autometrized $l$-algebra are introduced. It is shown that every relative annihilator in a normal autometrized $l$-algebra $\mathcal {A}$ is an ideal of $\mathcal {A}$ and every principal ideal of $\mathcal {A}$ is an annihilator of $\mathcal {A}$. The set of all annihilators of $\mathcal {A}$ forms a complete lattice. The concept of an $I$-polar is introduced for every ideal $I$ of $\mathcal {A}$. The set of all $I$-polars is a complete lattice which becomes a two-element chain provided $I$ is prime. The $I$-polars are characterized as pseudocomplements in the lattice of all ideals of $\mathcal {A}$ containing $I$.
The aim of this paper is to show relationships between the different formalism for uncertainty in artificial intelligence and its applications. We introduce a model of fuzzy logic programming (FLP). We propose a solution to the problem of discontinuous restricted semantics of annotated logic programs introducing annotated logic programs with left continuous annotation terms (ALPLCA). We show that FLP and ALPLCA have the same expressive power and both háve continuous semantics. We have soundness and completeness results. This enables us to introduce a new relational algebra. Our procedural semantics enables us to estimate the truth values of answers during the computation. Using this, we introduce several search strategies. Consequences of many valued-logic abduction and many-valued resolutions are also discussed.
An annotated checklist of the tribe Mirini (Miridae: Mirinae) recorded on the Korean peninsula is presented. A total of 113 species, including newly described and newly recorded species are recognized. Three new species, Apolygus hwasoonanus Oh, Yasunaga & Lee, sp. n., A. seonheulensis Oh, Yasunaga & Lee, sp. n. and Stenotus penniseticola Oh, Yasunaga & Lee, sp. n., are described. Eight species, Apolygus adustus (Jakovlev, 1876), Charagochilus (Charagochilus) longicornis Reuter, 1885, C. (C.) pallidicollis Zheng, 1990, Pinalitopsis rhodopotnia Yasunaga, Schwartz & Chérot, 2002, Philostephanus tibialis (Lu & Zheng, 1998), Rhabdomiris striatellus (Fabricius, 1794), Yamatolygus insulanus Yasunaga, 1992 and Y. pilosus Yasunaga, 1992 are reported for the first time from the Korean peninsula. Korean specimens previously identified as Eurystylus luteus Hsaio, 1941 are correctly recognized as E. sauteri Poppius, 1915. Three new synonyms are proposed: Apolygus atriclavus Kim & Jung, 2016 syn. n. of A. xanthomelas Yasunaga & Yasunaga, 2000, A. josifovi Kim & Jung, 2016 syn. n. of A. subpulchellus (Kerzhner, 1988) and Capsus koreanus Kim & Jung, 2015 syn. n. of C. wagneri Remane, 1950. Dorsal habitus photographs of the newly described or recorded species are presented along with figures of the genitalia of the new species. Keys to Korean genera and to species of Apolygus and Stenotus are provided. Zoogeography of the East Asian Mirini fauna is also discussed., Minsuk Oh, Tomohide Yasunaga, Ram Keshari Duwal, Seunghwan Lee., and Obsahuje bibliografii
This multilingual resource contains corpora in which verbal MWEs have been manually annotated. VMWEs include idioms (let the cat out of the bag), light-verb constructions (make a decision), verb-particle constructions (give up), inherently reflexive verbs (help oneself), and multi-verb constructions (make do). VMWEs were annotated according to the universal guidelines in 19 languages. The corpora are provided in the cupt format, inspired by the CONLL-U format. The corpora were used in the 1.1 edition of the PARSEME Shared Task (2018).
For most languages, morphological and syntactic information – not necessarily using UD tagsets – including parts of speech, lemmas, morphological features and/or syntactic dependencies are also provided. Depending on the language, the information comes from treebanks (e.g., Universal Dependencies) or from automatic parsers trained on treebanks (e.g., UDPipe).
This item contains training, development and test data, as well as the evaluation tools used in the PARSEME Shared Task 1.1 (2018).
The annotation guidelines are available online: http://parsemefr.lif.univ-mrs.fr/parseme-st-guidelines/1.1