New Frontiers in Artificial Intelligence

Download as pdf or txt
Download as pdf or txt
You are on page 1of 8

Lecture Notes in Artificial Intelligence 6797

Subseries of Lecture Notes in Computer Science

LNAI Series Editors


Randy Goebel
University of Alberta, Edmonton, Canada
Yuzuru Tanaka
Hokkaido University, Sapporo, Japan
Wolfgang Wahlster
DFKI and Saarland University, Saarbrücken, Germany

LNAI Founding Series Editor


Joerg Siekmann
DFKI and Saarland University, Saarbrücken, Germany
Takashi Onoda Daisuke Bekki
Elin McCready (Eds.)

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

Randy Goebel, University of Alberta, Edmonton, Canada


Jörg Siekmann, University of Saarland, Saarbrücken, Germany
Wolfgang Wahlster, DFKI and University of Saarland, Saarbrücken, Germany

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

Library of Congress Control Number: 2011941679

CR Subject Classification (1998): I.2, H.3, H.4, H.2.8, C.2

LNCS Sublibrary: SL 7 – Artificial Intelligence


© Springer-Verlag Berlin Heidelberg 2011
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is
concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting,
reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication
or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965,
in its current version, and permission for use must always be obtained from Springer. Violations are liable
to prosecution under the German Copyright Law.
The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply,
even in the absence of a specific statement, that such names are exempt from the relevant protective laws
and regulations and therefore free for general use.
Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India
Printed on acid-free paper
Springer is part of Springer Science+Business Media (www.springer.com)
Preface

JSAI (The Japanese Society for Artificial Intelligence) is a premier academic


society that focuses on artificial intelligence in Japan and was established in
1986. JSAI publishes journals of the JSAI and bimonthly transactions, and
hosts 19 special interest groups. The JSAI annual conference attracts several
hundred attendees each year. JSAI-isAI (JSAI International Symposia on Arti-
ficial Intelligence) 2010 was the Second International Symposium, which hosted
four co-located international workshops that were selected by the JSAI-isAI
2010 Organizing Committee. This was in succession to the international work-
shops co-located with the JSAI annual conferences since 2001. JSAI-isAI 2010
was successfully held during November 18–19 in Tokyo, Japan; 169 people from
15 countries participated in JSAI-isAI 2010. This volume of New Frontiers in
Artificial Intelligence: JSAI-isAI 2010 Workshops is the proceedings of JSAI-
isAI 2010. The organizers of the four workshops, LENLS, JURISIN, AMBN,
and ISS, hosted by JSAI-isAI 2010, selected 28 papers. The acceptance rate
was about 40%. This resulted in the excellent selection of papers that are rep-
resentative of some of the topics of AI research both in Japan and in other
parts of the world. LENLS (Logic and Engineering of Natural Language Seman-
tics) is an annual international workshop on formal semantics and pragmatics.
LENLS hosted by JSAI-isAI 2010 was the seventh event in the series. LENLS
focuses on the formal and theoretical aspects of natural language, which demon-
strates one of the strengths of Japanese AI studies. The Workshop Chair was
Elin McCready (Aoyama Gakuin University). JURISIN (Juris-Informatics) was
the fourth event, focusing on juris-informatics among people from various back-
grounds such as law, social science, information and intelligent technology, logic
and philosophy, including the conventional “AI and law” area. The Workshop
Chair was Satoshi Tojo (Japan Advanced Institute of Science and Technology).
AMBN (Advanced Methodologies for Bayesian networks) was held for the first
time. In this workshop, methodologies for enhancing the effectiveness of Bayesian
networks (BNs) including modeling, reasoning, model selection, logic-probability
relations, and causality are explored. The exploration of methodologies is comple-
mented by discussions of practical considerations for applying BNs in real-world
settings, covering concerns like scalability, incremental learning, parallelization,
and so on. The Workshop Chairs were Maomi Ueno (The University of Electro-
Communications) and Takashi Isozaki (Sony CSL, Inc.). ISS (Innovating Service
Systems) is a workshop of service science. This workshop is motivated by the
systems-design dimension of service science and it shares and discusses a pro-
gressive vision to develop methods for innovating systems of service resources
where novel values are created and supplied sustainably. The Workshop Chairs
VI Preface

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.

April 2011 Takashi Onoda


Elin McCready
Daisuke Bekki
Table of Contents

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

PROLEG: An Implementation of the Presupposed Ultimate Fact


Theory of Japanese Civil Code by PROLOG Technology . . . . . . . . . . . . . . 153
Ken Satoh, Kento Asai, Takamune Kogawa, Masahiro Kubota,
Megumi Nakamura, Yoshiaki Nishigai, Kei Shirakawa, and
Chiaki Takano

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

Development of Service Performance Indicators for Operations


Management in Airline . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263
Toru Gengo, Kazuo Furuta, Taro Kanno, and Katsuya Fukumoto

The Impact Factors in Remedial English e-Learning Instruction . . . . . . . . 273


Chia-ling Hsu

Surgical Workflow Monitoring Based on Trajectory Data Mining . . . . . . . 283


Atsushi Nara, Kiyoshi Izumi, Hiroshi Iseki, Takashi Suzuki,
Kyojiro Nambu, and Yasuo Sakurai

Discover the Used Innovativeness of the Early Adopters . . . . . . . . . . . . . . . 292


Chao-Fu Hong, Chien-Jen Huang, Tzu-Fu Chiu,
Hsiao-Fang Yang, and Mu-Hua Lin

Early Diagnosis Service for Latent Patients of Incurable Diseases . . . . . . . 302


Yoko Nishihara, Yoshimune Hiratsuka, Akira Murakami, and
Toshiro Kumakawa

Innovators Marketplace: Process of Service Innovation with


Communication Games . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 311
Yukio Ohsawa and Yoko Nishihara

Multiscale Service Design Method and Its Application to Sustainable


Service for Prevention and Recovery from Dementia . . . . . . . . . . . . . . . . . . 321
Mihoko Otake, Motoichiro Kato, Toshihisa Takagi, Shuichi Iwata,
Hajime Asama, and Jun Ota

Opinion Exchange Convergence Support System Using RFID Tags . . . . . 331


Yoshifumi Shimizu and Wataru Sunayama

Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 341

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy