New frontiers in artificial intelligence : JSAI-isAI 2010 workshops, LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010 : revised selected papers

This book constitutes the thoroughly refereed post-proceedings of four workshops held as satellite events of the JSAI International Symposia on Artificial Intelligence 2010, in Tokyo, Japan, in November 2010. The 28 revised full papers with four papers for the following four workshops presented were carefully reviewed and selected from 70 papers. The papers are organized in sections Logic and Engineering of Natural Language Semantics (LENLS), Juris-Informatics (JURISIN), Advanced Methodologies for Bayesian Networks (AMBN), and Innovating Service Systems (ISS) Front Matter....Pages - Logic and Engineering of Natural Language Semantics (LENLS) 7....Pages 1-2 SDRT and Continuation Semantics....Pages 3-15 Combinatory Categorial Grammar as a Substructural Logic....Pages 16-29 Interpreting Japanese Dependency Structure....Pages 30-44 Vagueness, Signaling and Bounded Rationality....Pages 45-59 Binding of Relational Nouns and the Variable-Free Semantics....Pages 60-74 Prolegomena to Salient-Similarity-Based Vague Predicate Logic....Pages 75-89 Yablo-Like Paradoxes and Co-induction....Pages 90-103 Factives and Intensionality....Pages 104-114 The Fourth International Workshop on Juris-Informatics....Pages 115-116 Improving Mediation Processes with Avoiding Parties....Pages 117-128 Legal Modelling and Reasoning Using Institutions....Pages 129-140 Design and Compilation of Syntactically Tagged Corpus of Japanese Statutory Sentences....Pages 141-152 PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology....Pages 153-164 First International Workshop on Advanced Methodologies for Bayesian Networks....Pages 165-166 Relax, Compensate and Then Recover....Pages 167-180 Discovering Unconfounded Causal Relationships Using Linear Non-Gaussian Models....Pages 181-195 Detection of Mutually Dependent Test Items Using the LCI Test....Pages 196-209 Searching Optimal Bayesian Network Structure on Constraint Search Space: Super-Structure Approach....Pages 210-218 The Role of Operation Granularity in Search-Based Learning of Latent Tree Models....Pages 219-231 International Workshop on Innovating Service Systems....Pages 232-232 Meandre Data-Intensive Application Infrastructure: Extreme Scalability for Cloud and/or Grid Computing....Pages 233-242 Agent-Based Simulation System for Supporting Sustainable Tourism Planning....Pages 243-252 To Construct a Technology Roadmap for Technical Trend Recognition on Thin-Film Solar Cell....Pages 253-262 Development of Service Performance Indicators for Operations Management in Airline....Pages 263-272 The Impact Factors in Remedial English E-Learning Instruction....Pages 273-282 Surgical Workflow Monitoring Based on Trajectory Data Mining....Pages 283-291 Discover the Used Innovativeness of the Early Adopters....Pages 292-301 Early Diagnosis Service for Latent Patients of Incurable Diseases....Pages 302-310 Innovators Marketplace: Process of Service Innovation with Communication Games....Pages 311-320 Multiscale Service Design Method and Its Application to Sustainable Service for Prevention and Recovery from Dementia....Pages 321-330 Opinion Exchange Convergence Support System Using RFID Tags....Pages 331-340 Back Matter....Pages - This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2013 Workshops LENLS, JURISIN, MiMI, AAA, and DDS which tool place on October 2013, in Japan. The 28 contributions in this volume were carefully reviewed and selected from 48 submissions. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics. LENLS10 was the tenth event in the series, and it focused on the formal and theoretical aspects of natural language. JURISIN (Juris-Informatics) 2013 was the seventh event in the series. The purpose of this workshop was to discuss fundamental and practical issues for jurisinformatics, bringing together experts from a variety of relevant backgrounds, including law, social science, information and intelligent technology, logic,and philosophy (including the area of AI and law). MiMI (Multimodality in Multiparty Interaction) 2013 covers topics as follows interaction studies, communication studies, conversation analysis, and workplace studies, as well as their applications in other research fields. AAA (Argument for Agreement and Assurance) 2013 focused on the theoretical foundations of argumentation in AI, and the application of argumentation to various fields such as agreement formation and assurance. DDS (Data Discretization and Segmentation for Knowledge Discovery) 2013 discussed segmentation methods for various types of data, such as graphs, trees, strings, and continuous data, and their applications in the areas of Machine Learning and Knowledge Discovery. Bevat de workshops: LENLS (Logic and Engineering of Natural Language Semantics), JURISIN (Juris-Informatics), AMBN (Advanced Methodologies for Bayesian Networks), ISS (Innovating Service Systems)