{"title":"ILP-based Inference for Cost-based Abduction on First-order Predicate Logic","authors":"Naoya Inoue, Kentaro Inui","doi":"10.11185/IMT.9.83","DOIUrl":"https://doi.org/10.11185/IMT.9.83","url":null,"abstract":"Abduction is desirable for many natural language processing (NLP) tasks. While recent advances in large-scale knowledge acquisition warrant applying abduction with large knowledge bases to real-life NLP problems, as of yet, no existing approach to abduction has achieved the efficiency necessary to be a practical solution for largescale reasoning on real-life problems. In this paper, we propose an efficient solution for large-scale abduction. The contributions of our study are as follows: (i) we propose an efficient method of cost-based abduction in first-order predicate logic that avoids computationally expensive grounding procedures; (ii) we formulate the bestexplanation search problem as an integer linear programming optimization problem, making our approach extensible; (iii) we show how cutting plane inference, which is an iterative optimization strategy developed in operations research, can be applied to make abduction in first-order logic tractable; and (iv) the abductive inference engine presented in this paper is made publicly available.","PeriodicalId":16243,"journal":{"name":"Journal of Information Processing","volume":"9 1","pages":"83-110"},"PeriodicalIF":0.0,"publicationDate":"2013-12-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"63626820","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Wenliang Gao, Naoki Yoshinaga, Nobuhiro Kaji, M. Kitsuregawa
{"title":"Collective Sentiment Classification Based on User Leniency and Product Popularity","authors":"Wenliang Gao, Naoki Yoshinaga, Nobuhiro Kaji, M. Kitsuregawa","doi":"10.5715/JNLP.21.541","DOIUrl":"https://doi.org/10.5715/JNLP.21.541","url":null,"abstract":"We propose a method of collective sentiment classification that assumes dependencies among labels of an input set of reviews. The key observation behind our method is that the distribution of polarity labels over reviews written by each user or written on each product is often skewed in the real world; intolerant users tend to report complaints while popular products are likely to receive praise. We encode these characteristics of users and products (referred to as user leniency and product popularity) by introducing global features in supervised learning. To resolve dependencies among labels of a given set of reviews, we explore two approximated decoding algorithms, “easiest-first decoding” and “twostage decoding”. Experimental results on two real-world datasets with product and user/product information confirmed that our method contributed greatly to the classification accuracy.","PeriodicalId":16243,"journal":{"name":"Journal of Information Processing","volume":"32 1","pages":"541-561"},"PeriodicalIF":0.0,"publicationDate":"2013-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71087552","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"How to Translate Dialects: A Segmentation-Centric Pivot Translation Approach","authors":"Michael Paul, A. Finch, E. Sumita","doi":"10.5715/JNLP.20.563","DOIUrl":"https://doi.org/10.5715/JNLP.20.563","url":null,"abstract":"Recent research on multilingual statistical machine translation (SMT) focuses on the usage of pivot languages in order to overcome resource limitations for certain language pairs. This paper proposes a new method to translate a dialect language into a foreign language by integrating transliteration approaches based on Bayesian alignment (BA) models with pivot-based SMT approaches. The advantages of the proposed method with respect to standard SMT approaches are threefold: (1) it uses a standard language as the pivot language and acquires knowledge about the relation between dialects and a standard language automatically, (2) it avoids segmentation mismatches between the input and the translation model by mapping the character sequences of the dialect language to the word segmentation of the standard language, and (3) it reduces the translation task complexity by using monotone decoding techniques. Experiment results translating five Japanese dialects (Kumamoto, Kyoto, Nagoya, Okinawa, Osaka) into four Indo-European languages (English, German, Russian, Hindi) and two Asian languages (Chinese, Korean) revealed that the proposed method improves the translation quality of dialect translation tasks and outperforms standard pivot translation approaches concatenating SMT engines for the majority of the investigated language pairs.","PeriodicalId":16243,"journal":{"name":"Journal of Information Processing","volume":"20 1","pages":"563-583"},"PeriodicalIF":0.0,"publicationDate":"2013-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.5715/JNLP.20.563","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71087388","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Editor's Message to Special Issue on Applications and the Internet in Conjunction with Main Topics of SAINT 2012","authors":"H. Ohsaki","doi":"10.2197/IPSJJIP.21.413","DOIUrl":"https://doi.org/10.2197/IPSJJIP.21.413","url":null,"abstract":"","PeriodicalId":16243,"journal":{"name":"Journal of Information Processing","volume":"50 1","pages":"413-413"},"PeriodicalIF":0.0,"publicationDate":"2013-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.2197/IPSJJIP.21.413","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68500165","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Editor's Message for Special Issue on Mathematics of Puzzles","authors":"Hiro Ito","doi":"10.2197/IPSJJIP.21.367","DOIUrl":"https://doi.org/10.2197/IPSJJIP.21.367","url":null,"abstract":"Research in the field of recreational mathematics began at least hundreds of years ago. It has been charming many people, both professional researchers and amateurs, has seen rapid progress over the past century, and now plays an indispensable role in mathematics and computer science. The Guest Editor has been organizing research workshops on the theory of combinatorial games and puzzles every year since 2005 in Japan *1, and he feels there is not small demand for special issues on this type of research. The first special issue on “Mathematics of Puzzles” appeared last year in this Journal, the Journal of Information Processing (JIP), and it marked a great accomplishment by presenting many visionary papers. That success has led to this year’s special issue, the second in two straight years. The editorial board is composed of very capable professionals, who greatly helped the guest editor. This year’s special issue consists of 6 full papers selected from 16 submissions through careful review. The ratio of acceptance is 0.375, indicating how the issue represents a select few. The topics include Rubik’s Cube, Towers of Hanoi, Tantrix, Picture Mazes, and Arithmetical Restorations (Mushikui-Zan). The guest editor is especially proud of presenting the distinguished paper on the Snake Cube, authored by a group led by the renowned young genius Erik Demaine of MIT. Actually, the numbers of submissions and accepted papers have not been so high. This may indicate that the amount of rigorous outputs from theoretical research on mathematical recreation is not yet substantial. However, the potential of this work is high. The guest editor guesses the low level of activity reflects the fact that we have had very few regularly planned special issues devoted to this area so far. Special issues on mathematical recreations are being planned for continuous publication in the future, perhaps biennially. If many of the readers of this issue start or continue to do research in this area, and a variety of exceptional papers are submitted, we would be most delighted. Recreation and amusement are very important for us, since we are “Homo ludens.” The pursuit of fun for humans certainly creates useful products. So let’s enjoy recreational mathematics! In closing my message, as guest editor of this special issue, I would like to thank all of the authors for their contributions. I also appreciate the voluntary work of all reviewers as well as the re-","PeriodicalId":16243,"journal":{"name":"Journal of Information Processing","volume":"21 1","pages":"367-367"},"PeriodicalIF":0.0,"publicationDate":"2013-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.2197/IPSJJIP.21.367","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68500006","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Isao Goto, Bin Lu, Ka-Po Chow, E. Sumita, Benjamin Ka-Yin T'sou, M. Utiyama, K. Yasuda
{"title":"Database of Human Evaluations of Machine Translation Systems for Patent Translation","authors":"Isao Goto, Bin Lu, Ka-Po Chow, E. Sumita, Benjamin Ka-Yin T'sou, M. Utiyama, K. Yasuda","doi":"10.5715/JNLP.20.27","DOIUrl":"https://doi.org/10.5715/JNLP.20.27","url":null,"abstract":"This paper discusses a database of human evaluations of patent machine translation, from Chinese to English, Japanese to English, and English to Japanese. The evaluations were conducted for the NTCIR-9 Patent Machine Translation Task (PatentMT). Different types of systems, such as research systems and commercial systems, and rule-based systems and statistical machine translation systems were evaluated. Since human evaluation results are important when investigating automatic evaluation of translation quality, the database of the evaluation results is valuable. From the NTCIR project, resources including the human evaluation database, translation results, and test/reference data are available for research purposes.","PeriodicalId":16243,"journal":{"name":"Journal of Information Processing","volume":"20 1","pages":"27-57"},"PeriodicalIF":0.0,"publicationDate":"2013-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"71087354","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Reliable and Efficient Dual-OS Communications for Real-Time Embedded Virtualization","authors":"D. Sangorrín, S. Honda, H. Takada","doi":"10.11185/IMT.8.1","DOIUrl":"https://doi.org/10.11185/IMT.8.1","url":null,"abstract":"Dual-OS communications allow a real-time operating system (RTOS) and a general-purpose operating system (GPOS)—sharing the same processor through virtualization—to collaborate in complex distributed applications. However, they also introduce new threats to the reliability (e.g., memory and time isolation) of the RTOS that need to be considered. Traditional dual-OS communication architectures follow essentially the same conservative approach which consists of extending the virtualization layer with new communication primitives. Although this approach may be able to address the aforementioned reliability threats, it imposes a rather big overhead on communications due to unnecessary data copies and context switches. In this paper, we propose a new dual-OS communications approach able to accomplish efficient communications without compromising the reliability of the RTOS. We implemented our architecture on a physical platform using a highly reliable dual-OS system (SafeG) which leverages ARM TrustZone hardware to guarantee the reliability of the RTOS. We observed from the evaluation results that our approach is effective at minimizing communication overhead while satisfying the strict reliability requirements of the RTOS.","PeriodicalId":16243,"journal":{"name":"Journal of Information Processing","volume":"3 1","pages":"1-17"},"PeriodicalIF":0.0,"publicationDate":"2013-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"63627026","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Point-Tap, Tap-Tap, and the Effect of Familiarity : to Enhance the Usability of See-and-Select in Smart Space","authors":"Seokhwan Kim, Shin Takahashi, J. Tanaka","doi":"10.11185/IMT.8.97","DOIUrl":"https://doi.org/10.11185/IMT.8.97","url":null,"abstract":"We prototyped two selection techniques, Point-Tap and Tap-Tap, and conducted experiments to assess their characteristics, in particular how familiarity with a space affects their usability. Both techniques were developed to enhance the capability of the general ”pointing gesture” and ”map with live video” techniques. The goal of both techniques is to acquire a target object in smart space, and they share the concept of ”see-and-select,” which allows users to select an object while seeing the objects with their own eyes. Consequently, users must rely on the spatial locations of objects when using the techniques. According to spatial cognition science, humans recognize object locations in two ways, egocentrically and allocentrically, and some work has pointed out that users rely on allocentric representations more once they have become familiar with a space. Indeed, in our experiments, users who were familiar with the space could use the ”map with live video” technique more effectively. The two main contributions of this paper are the presentation of the new techniques themselves, and the identification of a major factor for applying the techniques, namely, the users’expected familiarity with a space.","PeriodicalId":16243,"journal":{"name":"Journal of Information Processing","volume":"8 1","pages":"97-108"},"PeriodicalIF":0.0,"publicationDate":"2013-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"63627175","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Editor's Message to Special Issue on Theory and Application of Agent Research","authors":"Takayuki Ito","doi":"10.2197/IPSJJIP.21.1","DOIUrl":"https://doi.org/10.2197/IPSJJIP.21.1","url":null,"abstract":"Research and development of the agent technology has been actively conducted in broad fields such as information processing, autonomous and cooperative problem solving, and information retrieval / integration on the web. JAWS (Joint Agent Workshops and Symposium) has provided opportunities for many researchers in this area to make presentation since 2002. This workshop is jointly supported by SIG-ICS, IPSJ; MACC, JSSST; SIG-AI, IE-ICE; and SIG-KBS, JSAI. In JAWS2011, researchers had insight-ful and attractive discussions and presentations. Based on the success of JAWS2001, Information Processing Society of Japan (IPSJ) cooperated with JAWS called for papers for the special issue of “Theory and Application of Agent Research”, the Journal of Information Processing. For this special issue, the following topics related to Theory and Application of Agent Research were of interest. These in-clude, but are not limited to the following areas:","PeriodicalId":16243,"journal":{"name":"Journal of Information Processing","volume":"123 18 1","pages":"1-1"},"PeriodicalIF":0.0,"publicationDate":"2013-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.2197/IPSJJIP.21.1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68499629","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Editor's Message to Special Issue on Computer Security Technology Enriching the Future","authors":"Y. Teshigawara","doi":"10.2197/IPSJJIP.21.588","DOIUrl":"https://doi.org/10.2197/IPSJJIP.21.588","url":null,"abstract":"Recently, many incidents on the APT (Advanced Persistent Threat) to the government and big companies are reported. According to the IPA report, “Attack to the vulnerability of client software” and “APT” are the top two of the top 10 threats in 2013. In addition, new threats such as abuse of social networks and conspicuous increased use of cloud computing are appearing. Moreover, along with the popularization of smart phones and tablet terminals, attacks aimed to these apparatus sprout like mushrooms and the number of attacks is considered to increase from now on. Everything from soup to nuts is connected to the Internet and conformation of “the Internet of things” where any objects connect to any objects can be seen. Information to flow into the networks is produced in significant amount and diversifies. It is desired to send such information safely and securely. Therefore, in the areas of core infrastructure, control systems, motor cars, information apparatus, medical equipments, mobile phones and etc. security is requested significantly. Moreover, since the election campaign using the Internet began this year, importance of secure and safe networks are reacknowledged. In this special issue, security technologies to realize the prosperous future of safe, secure, comfortable and human-centered lives where advantages of continuously progressing ICT are utilized effectively are widely asked for submission. This special issue focused on papers that represent such computer security technologies in terms of basic theories and techniques, protocols, architectures, software systems, applications and implementations, operation and management, and social-scientific analyses. 48 manuscripts were contributed, and 18 manuscripts were finally selected excluding one withdrawal. I believe that high level papers are selected. Based on the JIP Special Paper Selection Process commencing from this year, we have chosen a specially selected paper which is contributed by Mitsuaki Akiyama et al, “Observation for Activity of Adversary by Active CredentialInformation Leakage.” This is an excellent paper with high originality and usefulness executing long term operation and evaluation of the developed observation system. The numbers of papers in the specific areas are as follows: security fundamental technology 4, security and society 4, network security 3, risk management 2, system security 2, and distributed system operation and management, wireless/mobile network and architecture 1, respectively. Taken overall, papers are selected from wide range of areas with good balance along with our basic policy. It is expected","PeriodicalId":16243,"journal":{"name":"Journal of Information Processing","volume":"21 1","pages":"588-589"},"PeriodicalIF":0.0,"publicationDate":"2013-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.2197/IPSJJIP.21.588","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"68500223","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}