Towards Interactive Logic Programming

Linear logic programming uses provability as the basis for computation. In the operational semantics based on provability, executing the additive-conjunctive goal $G_1 \& G_2$ from a program $P$ simply terminates with a success if both $G_1$ and $G_2$ are solvable from $P$. This is an unsatisfactory situation, as a central action of \& -- the action of choosing either $G_1$ or $G_2$ by the user -- is missing in this semantics. We propose to modify the operational semantics above to allow for more active participation from the user. We illustrate our idea via muProlog, an extension of Prolog with additive goals.Comment: 8 pages. It describes two execution models for interactive logic programmin

Structure analysis of single- and multi-frequency subspace migrations in inverse scattering problems

In this literature, we carefully investigate the structure of single- and multi-frequency imaging functions, that are usually employed in inverse scattering problems. Based on patterns of the singular vectors of the Multi-Static Response (MSR) matrix, we establish a relationship between imaging functions and the Bessel function. This relationship indicates certain properties of imaging functions and the reason behind enhancement in the imaging performance by multiple frequencies. Several numerical simulations with a large amount of noisy data are performed in order to support our investigation.Comment: 11 pages, 10 figure

First record of the family Prodoxidae (Lepidoptera: Adeloidea), Lampronia flavimitrella (Hübner), reported from Korea

AbstractThe family Prodoxidae is recorded for the first time from Korea, reporting Lampronia flavimitrella (Hübner) which was collected at Jeju-do Island. Redescription of the adult is given, with images of adult and male genitalia

Online Appendix to: Peace through Cooperation or Peace through Strength? How to Achieve Peace in the Very Intractable Conflict Society

The Korean War, having started on June 25, 1950, has never formally ended. As the two Koreas are technically still at war, the conflict on the Korean Peninsula has become intractable. The goal of this study is to explore the attitudes of South Koreans living in the intractable conflict about how to achieve peace. To fulfill this goal, we conducted a nation-wide survey to investigate attitudes toward militant and cooperative internationalism. We also measured various variables involved with the intractable conflict. Our results indicate that the value of international harmony and equality as well as attitudes toward peace are the best predictors of cooperative internationalism, while the value of international harmony and equality as well as the attitudes toward war were the strongest predictors of militant internationalism. Our results also suggest that the tendency to regard inter-Korean relations as zero-sum relations and the attitudes toward peace mediated the relationship between international harmony and cooperative internationalism, while the zero-sum perception and attitudes toward war on the Korean Peninsula mediated the same value factor and the cooperative internationalism. Possible implications are discussed

Peace through Cooperation or Peace through Strength? How to Achieve Peace in the Very Intractable Conflict Society

The Korean War, having started on June 25, 1950, has never formally ended. As the two Koreas are technically still at war, the conflict on the Korean Peninsula has become intractable. The goal of this study is to explore the attitudes of South Koreans living in the intractable conflict about how to achieve peace. To fulfill this goal, we conducted a nation-wide survey to investigate attitudes toward militant and cooperative internationalism. We also measured various variables involved with the intractable conflict. Our results indicate that the value of international harmony and equality as well as attitudes toward peace are the best predictors of cooperative internationalism, while the value of international harmony and equality as well as the attitudes toward war were the strongest predictors of militant internationalism. Our results also suggest that the tendency to regard inter-Korean relations as zero-sum relations and the attitudes toward peace mediated the relationship between international harmony and cooperative internationalism, while the zero-sum perception and attitudes toward war on the Korean Peninsula mediated the same value factor and the cooperative internationalism. Possible implications are discussed

The Persistent Difficulty of Early Fraction Ideas in Early Secondary School Mathematics

This study explored the nature of difficulties of seventh and eighth grade students who struggled building their conceptual understanding of early fraction ideas, in particular ordering fractions. The participants engaged in a sequence of lessons that involved the use of fraction circles. The intervention of four weekly class sessions was adapted from the Rational Number Project (RNP) curriculum that has been created for and refined through teaching experiments in the RNP research since 1979. Pre and post group interviews were conducted with each student group for a sufficient identification of the nature of the students’ difficulties. This study identified the whole number dominance strategies used by the students for ordering fractions before and even after the intervention. The students also revealed minimal use of informal ordering strategies that involve more conceptual than procedural understanding of the concept of initial fraction ideas. Considering the short intervention, there was subtle (but meaningful) evidence for a positive influence of the fraction circle model developed within the RNP on students’ developing understanding of early fraction ideas. This study suggests the need of a remedial intervention for early secondary students showing the persistent difficulty with early fraction ideas. Students need to be given enough time with not only concrete models but also appropriate usage of language to support a complete understanding of how to use the models. Keywords: Rational Number Project (RNP), fraction circle model, initial fraction ideas, ordering fraction