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

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

Interictal fatigue and its predictors in epilepsy patients: A case-control study

AbstractPurposeFatigue impairs the quality of life (QOL) of epilepsy patients, but few studies have investigated this issue and no systematic analysis of the predictors of fatigue in epilepsy patients has been performed. Thus, we investigated the degree and predictors of fatigue in epilepsy patients.MethodsWe enrolled 270 consecutive adult patients with epilepsy and categorized them into three subgroups: uncontrolled epilepsy (UCE), well-controlled epilepsy (WCE), and poorly controlled epilepsy (PCE). All subjects were asked to complete the Korean versions of the Fatigue Severity Scale (K-FSS), the Neurological Disorders Depression Inventory for Epilepsy (K-NDDI-E), the Generalized Anxiety Disorder-7 (K-GAD-7) scale, and the short forms of the Patient-Reported Outcomes Measurement Information System Sleep-Related Impairment (PROMIS-SRI) and Sleep Disturbance (PROMIS-SD) scales. Additionally, 200 normal control subjects who completed the K-FSS, K-NDDI-E, and K-GAD-7 measures were included. The K-FSS scores of the epilepsy subgroups and the control group were compared, and stepwise multiple regression analysis was performed to identify predictors of high scores on the K-FSS among epilepsy patients.ResultsThe K-FSS, K-NDDI-E, and K-GAD-7 scores were higher in the epilepsy patients than in the controls. The K-FSS scores of the UCE subgroup, but not of the PCE and WCE subgroups, were higher than those of the control group. K-FSS scores of epilepsy patients were predicted by PROMIS-SRI and K-NDDI-E scores.ConclusionsFatigue was more severe in epilepsy patients than in healthy controls without epilepsy, especially when seizures were not controlled. Sleep-related impairments and depression aggravated fatigue in epilepsy patients