New Frontiers in Artificial Intelligence
New Frontiers in Artificial Intelligence
New Frontiers in Artificial Intelligence
New Frontiers
in Artificial Intelligence
JSAI-isAI 2010 Workshops
LENLS, JURISIN, AMBN, ISS
Tokyo, Japan, November 18-19, 2010
Revised Selected Papers
13
Series Editors
Volume Editors
Takashi Onoda
CRIEPI
System Engineering Research Lab.
2-11-1, Iwado Kita, Komae-shi
Tokyo 201-8511, Japan
E-mail: onoda@criepi.denken.or.jp
Daisuke Bekki
Ochanomizu University
Graduate School of Humanities and Sciences
Otsuka 2-1-1, Bunkyo-ku
Tokyo 112-8610, Japan
E-mail: bekki@is.ocha.ac.jp
Elin McCready
Aoyama Gakuin University
Department of English
4-4-25 Shibuya, Shibuya-ku
Tokyo 150-8366, Japan
E-mail: mccready@cl.aoyama.ac.jp
ISSN 0302-9743 e-ISSN 1611-3349
ISBN 978-3-642-25654-7 e-ISBN 978-3-642-25655-4
DOI 10.1007/978-3-642-25655-4
Springer Heidelberg Dordrecht London New York
were Yukio Ohsawa (The University of Tokyo) and Katsutoshi Yada (Kansai
University). It is our great pleasure that we were able to share some part of
the outcome of these fascinating workshops through this volume. We hope the
readers of this book find a way to grasp the state-of-the-art research outcomes of
JSAI-isAI 2010, and may be motivated to participate in future JSAI-isAI events.
LENLS
Logic and Engineering of Natural Language Semantics (LENLS) 7 . . . . . 1
Elin McCready
SDRT and Continuation Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Nicholas Asher and Sylvain Pogodalla
Combinatory Categorial Grammar as a Substructural Logic:
Preliminary Remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Daisuke Bekki
Interpreting Japanese Dependency Structure . . . . . . . . . . . . . . . . . . . . . . . . 30
Alastair Butler and Kei Yoshimoto
Vagueness, Signaling and Bounded Rationality . . . . . . . . . . . . . . . . . . . . . . . 45
Michael Franke, Gerhard Jäger, and Robert van Rooij
Binding of Relational Nouns and the Variable-Free Semantics . . . . . . . . . . 60
Hiroaki Nakamura
Prolegomena to Salient-Similarity-Based Vague Predicate Logic . . . . . . . . 75
Satoru Suzuki
Yablo-Like Paradoxes and Co-induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
Shunsuke Yatabe
Factives and Intensionality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
Richard Zuber
JURISIN
The Fourth International Workshop on Juris-Informatics . . . . . . . . . . . . . . 115
Satoshi Tojo
Improving Mediation Processes with Avoiding Parties . . . . . . . . . . . . . . . . 117
Davide Carneiro, Paulo Novais, Francisco Andrade, and José Neves
Legal Modelling and Reasoning Using Institutions . . . . . . . . . . . . . . . . . . . . 129
Marina De Vos, Julian Padget, and Ken Satoh
Design and Compilation of Syntactically Tagged Corpus of Japanese
Statutory Sentences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
Yasuhiro Ogawa, Masayuki Yamada, Ryuta Kato, and
Katsuhiko Toyama
VIII Table of Contents
AMBN
First International Workshop on Advanced Methodologies for Bayesian
Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
Maomi Ueno and Takashi Isozaki
Relax, Compensate and Then Recover . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
Arthur Choi and Adnan Darwiche
Discovering Unconfounded Causal Relationships Using Linear
Non-Gaussian Models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
Doris Entner and Patrik O. Hoyer
Detection of Mutually Dependent Test Items Using the LCI Test . . . . . . . 196
Takamitsu Hashimoto and Maomi Ueno
Searching Optimal Bayesian Network Structure on Constraint Search
Space: Super-Structure Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
Seiya Imoto, Kaname Kojima, Eric Perrier,
Yoshinori Tamada, and Satoru Miyano
The Role of Operation Granularity in Search-Based Learning of Latent
Tree Models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219
Tao Chen, Nevin L. Zhang, and Yi Wang
ISS
International Workshop on Innovating Service Systems . . . . . . . . . . . . . . . 232
Yukio Ohsawa and Katsutoshi Yada
Meandre Data-Intensive Application Infrastructure: Extreme Scalability
for Cloud and/or Grid Computing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233
Bernie Ács, Xavier Llorà, Boris Capitanu, Loretta Auvil,
David Tcheng, Mike Haberman, Limin Dong, Tim Wentling, and
Michael Welge
Agent-Based Simulation System for Supporting Sustainable Tourism
Planning . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 243
Dingding Chao, Kazuo Furuta, and Taro Kanno
To Construct a Technology Roadmap for Technical Trend Recognition
on Thin-Film Solar Cell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 253
Tzu-Fu Chiu, Chao-Fu Hong, Leuo-hong Wang, and Yu-Ting Chiu
Table of Contents IX