New Frontiers in Artificial Intelligence
JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo,Japan, November 18-19, 2010, Revised Selected Papers
Published on 19. November 2011
X, 342 pages
978-3-642-25655-4 (ISBN)
Description
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).
More details
Other editions
Additional editions
Takashi Onoda | Daisuke Bekki | Elin Mc Cready
New Frontiers in Artificial Intelligence
JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo,Japan, November 18-19, 2010, Revised Selected Papers
Book
01/2012
Springer
€53.49
Shipment within 7-9 days
Content
- Intro
- Title Page
- Preface
- Table of Contents
- LENLS
- Logic and Engineering of Natural Language Semantics (LENLS) 7
- The Workshop
- Papers
- SDRT and Continuation Semantics
- An Introduction to Continuation Semantics
- An Introduction to SDRT in Continuation Semantics
- Lexicalized Discourse Relation
- Getting More General
- A Refinement of the Binder Rule for SDRT
- From Syntax to Discourse
- References
- Combinatory Categorial Grammar as a Substructural Logic
- The Aim: CCG as a Logic of Universal Grammar
- Background: Substructural Logics, Curry-Howard Isomorphisms and Grammars
- Gentzen-style Proofs, Lambek Lambda Calculi and FL
- Non-associative Lambek Lambda Calculi
- Hillbert-Style Proofs, Combinatory Logics and CCG
- Subdirectional Combinatory Logic
- Syntax
- Equational Theory for Subdirectional Combinatory Logic
- Deriving Combinatory Rules as Admissible Rules
- Combinatory Hypothesis
- Presence or Absence of Directed Combinators
- Absence of K: Universal Grammar is a Relevant Logic
- Absence of I: Unavailability of Type Raising
- Conclusion
- References
- Appendix
- Interpreting Japanese Dependency Structure
- Introduction
- Semantic Evaluation
- Predicates
- Reaching Evaluable Expressions
- An Evaluation
- Conclusion
- References
- Vagueness, Signaling and Bounded Rationality
- Introduction
- Signaling Games and the Suboptimality of Vagueness
- Re-rationalizing Vagueness
- Limited Memory Fictitious Play
- Quantal Response Equilibria
- References
- Binding of Relational Nouns and the Variable-Free Semantics
- Introduction: Constructions Involving Relational Nouns
- CCG Formalism and Jacobson's Treatment of Binding
- Binding of Relational Nouns in Japanese
- Discontinuity and Constructions Licensed by Relational Nouns
- Asymmetry in Extractability
- Conclusion
- References
- Prolegomena to Salient-Similarity-Based Vague Predicate Logic
- Introduction
- Salient-Similarity-Based Vague Predicate Logic SVPL
- Language
- Semantics
- Syntax
- Metalogic of SVPL
- Discussion 1: Higher-Order Vagueness
- Higher-Order Vagueness Is Per Se Paradoxical
- Operator versus Predicate Symbol
- Discussion 2: Intransitivity and Irrationality
- Intransitivity and Money Pump Argument
- Diachronic Independence
- Conclusion
- References
- Yablo-Like Paradoxes and Co-induction
- Introduction
- Preliminaries
- Truth Theories within Classical Logic
- Truth Theories with the Full T-Schema within a Fuzzy Logic
- Yablo-Like Paradoxes
- The Modest Liar Paradox
- McGee's Paradox
- Yablo's Paradox
- Co-induction
- Co-induction and Productivity
- Paradoxes of Co-induction
- The Machinery and Non-standardness
- Conflict to Induction
- Another Unexpected Result
- The Mixture of Induction and Co-induction
- Conclusion
- References
- Factives and Intensionality
- Introduction
- Factives
- Intensionality Preserving Negation
- Conclusions
- References
- JURISIN
- The Fourth International Workshop on Juris-Informatics
- Improving Mediation Processes with Avoiding Parties
- Introduction
- Conflict Resolution
- UMCourt
- The Mediation Process Model
- Compilation of Initial Information
- New Agents
- The Mediation Process Model
- Conclusions and Future Work
- References
- Legal Modelling and Reasoning Using Institutions
- Institutions
- Formal Model
- InstAL
- Methodology
- Modelling Contract Law: A Case Study
- Contract Cancellation under Japanese Law
- InstALSpecification
- Running the Model
- Summary, Related and Future Work
- References
- Design and Compilation of Syntactically TaggedCorpus of Japanese Statutory Sentences
- Introduction
- Japanese Dependency Structure
- Characters of Japanese Dependency Structure
- Tags in the Kyoto Text Corpus
- Tags in Japanese Statutory Corpus
- Parenthesized Phrases
- Parallel Structure
- Technical Terms in Statutory Sentences
- Compilation of Statutory Corpus
- Compilation of Corpus
- Correction of Dependency Relations
- Limit of Automatic Correction
- Conclusion
- References
- PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology
- Introduction
- The JUF Theory
- Reflexion of Lawyers' Reasoning
- Rule Format
- Fact Handling
- Execution of PROLEG
- Conclusion
- References
- Appendix
- AMBN
- First International Workshop on Advanced Methodologies for Bayesian Networks
- Relax, Compensate and Then Recover
- Introduction
- Exact Probabilistic Inference
- Approximate Probabilistic Inference
- Relax
- Compensate
- In Bayesian Networks.
- In Factor Graphs.
- In Weighted CNF Models.
- Recover
- Mutual Information.
- Focused Recovery.
- Residual Recovery.
- Discussion
- References
- Discovering Unconfounded Causal Relationships Using Linear Non-Gaussian Models
- Introduction
- Linear Non-Gaussian Acyclic Model
- Linear Non-Gaussian Acyclic Model Including Latent Variables
- Intuitive Explanation of the Method
- Unconfounded Sets
- Algorithm
- Motivation and Algorithm Details
- Correctness of the Algorithm
- Implementation
- Simulations
- References
- Appendix
- Detection of Mutually Dependent Test Items Using the LCI Test
- Introduction
- Item Response Theory
- Two-Parameter Logistic Model
- Bayesian Network IRT
- Methods for Detecting Local Independence
- Chen and Thissen's G2 Test
- Latent Conditional Independence Test
- Simulation Examinations
- Method
- Results
- Application to Real Data
- Method
- Result
- Conclusions
- Test Used in Section 5
- Searching Optimal Bayesian Network Structureon Constraint Search Space: Super-Structure Approach
- Introduction
- Algorithms for Constraint Optimal Search
- Optimal Search (OS)
- Constraint Optimal Search (COS)
- Extended Constraint Optimal Search (ECOS)
- Discussion
- References
- The Role of Operation Granularity in Search-Based Learning of Latent Tree Models
- Introduction
- Search-Based Learning of LT Models
- Search Operators
- A Search Procedure
- Comparison with HSHC
- Efficient Model Evaluation
- Operation Granularity
- Empirical Results
- Performance Difference Explained
- Early Use of SI Operations
- Fat Latent Variables
- Local Maxima
- Impact of Problem Size and Sample Size
- Conclusions
- References
- ISS
- International Workshop on Innovating Service Systems
- Meandre Data-Intensive Application Infrastructure: Extreme Scalability for Cloud and/or Grid Computing
- Introduction
- The Component-Based Data-Intensive Flow Infrastructure
- Data-Intensive Flows for Amazon EC2/S3 API Resource Use
- Meandre 2.0: Scalable Server and Customize Execution Engines
- The Crochet API Service Engine
- The Snare Monitor Service Engine
- The Meandre 2.0 Servers, Jobs, External Execution, and Extreme Scalability
- The Meandre 2.0 Customizable External Execution Engines
- Conclusion
- References
- Agent-Based Simulation System for Supporting Sustainable Tourism Planning
- Introduction
- Tourism System Framework
- Simulation Model
- Overview
- Agents
- Agent Behavior
- Test Simulation and Case Study
- Simulation Conditions
- Simulation Results
- Discussion
- Conclusion
- References
- To Construct a Technology Roadmap for Technical Trend Recognition on Thin-Film Solar Cell
- Introduction
- Related Work
- Technology Roadmapping
- Thin-Film Solar Cell
- Association Analysis
- Modified Data Crystallization
- A Research Design for Technical Trend Recognition
- Data Preprocessing
- Association Analysis (I)
- Association Analysis (II)
- Modified Data Crystallization
- Technology Roadmapping
- Experimental Results and Explanation
- Result of Data Preprocessing
- Result of Topic Generation and Modified Data Crystallization
- Result of Subtopic Generation and Modified Data Crystallization
- Result of Technology Roadmap Generation
- Result of Trend Recognition
- Conclusions
- References
- Development of Service Performance Indicators for Operations Management in Airline
- Introduction
- Development Method of PIs
- PIs Development for Flight Operations Management
- Stakeholders and PIs
- Service Tasks in OMC
- Service Performance Measurement
- Relations between Measurement Items, PIs, and OMC Tasks
- Derivation Scheme of PIs
- Application Trial of Developed PIs
- Conclusion
- References
- The Impact Factors in Remedial English E-Learning Instruction
- Introduction
- Relative Literature
- Instructional Design
- ARCS Model
- Research Method
- Participants
- Instrument
- Data Analysis
- Results and Suggestions
- Results
- Suggestions
- References
- Surgical Workflow Monitoring Based on Trajectory Data Mining
- Introduction
- Operation Environments and System Architecture
- Operation Environment
- Surgical Management System
- Ultrasonic 3D Location Aware System
- Trajectory Analyses and Workflow Estimation
- Trajectory Data Mining Method
- Extracted Trajectory Clusters
- Workflow Estimation Using Trajectory Data
- Surgery Safe Support System
- Surgical Workflow Monitoring and Real-Time Information Sharing
- Surgical Workflow Analysis and Standardization
- Conclusion
- References
- Discover the Used Innovativeness of the Early Adopters
- Introduction
- Literature Review
- Percolating Vulnerable Cluster
- Behavior Analysis: Weak Tied Cluster and Strong Tied Cluster
- Grounded Theory
- Methodology: Discover Global Cascade of Percolating Vulnerable Cluster
- Human-Computing Grounded System and Case Study
- New and Rare Data
- Converting New Technical Function to Useful and Easy Using Life Style: Human-Computing Grounded System
- Conclusion
- References
- Early Diagnosis Service for Latent Patients of Incurable Diseases
- Introduction
- Framework of the Proposed System as a Service System
- Proposed Method
- Algorithm of KeyGraph
- Evaluation
- Experimental Procedures
- Experimental Results
- Discussions
- Conclusion
- References
- Innovators Marketplace: Process of Service Innovation with Communication Games
- Introduction
- Innovative Thoughts and Communications
- Innovators Market Game on the Table
- Innovators Marketplace on the Web
- Comparison: IMG on the Table versus IM on the Web
- Conclusions and Future Work
- References
- Multiscale Service Design Method and Its Application to Sustainable Service for Prevention and Recovery from Dementia
- Introduction
- Multiscale Service Model
- Coimagination Method for Prevention and Recovery from Dementia
- Multiscale Service Design Based on Coimagination Method
- Coimagination Support System (Tool)
- Coimagination Program (Event)
- Human Resource Development Program of, by, to the Older Adults (Human)
- Fonobono Research Institute (Network)
- Lifestyle of Lifelong Research (Style)
- Second Social System for Older Adults (Rule)
- Discussion
- Conclusion
- References
- Opinion Exchange Convergence Support System Using RFID Tags
- Introduction
- Configuration of Opinion Exchange Convergence Support System
- Problem Setting
- System Outline
- Input
- Opinion Exchange Phase
- Evaluation Phase
- Output
- Evaluation Experiment: Results of Opinion Exchange Convergence Support System
- Experiment Description
- Experimental Result and Consideration
- Related Research
- Communication Support
- Control Information with RFID Tags
- Conclusion
- References
- Author Index
