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