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