New Frontiers in Artificial Intelligence

The technology of arti?cial intelligence is increasing its importance thanks to the rapid growth of the Internet and computer technology. In Japan, the annual conference series of JSAI (The Japanese Society for Arti?cial Intelligence) has been playing a leading role in promoting AI research, and selected papers of the annual conferences have been published in the LNAI series since 2003. This book consists of award papers from the 21st annual conference of JSAI (JSAI 2007) and selected papers from the four co-located workshops. Seven papers were awarded among more than 335 presentations in the conference and 24 papers were selected from a total of 48 presentations in the co-located workshops: Logic and Engineering of Natural Language Semantics 2007 (LENLS 2007), the International Workshop on Risk Informatics (RI 2007), the 5th Wo- shop on Learning with Logics and Logics for Learning (LLLL 2007), and the 1st International Workshop on Juris-informatics (JURISIN 2007). The award papers from JSAI 2007 underwent a rigorous selection process. Firstly, recommendations were made from three people (Session Chair, session commentator and one PC member) in each session, and then recommended - pers were carefully reviewed and voted for by PC members for ?nal selection.

Awarded Papers.- Overview of Awarded Papers: The 21st Annual Conference of JSAI.- Modeling Human-Agent Interaction Using Bayesian Network Technique.- Analysis and Design Methodology for Product-Based Services.- Consideration of Infants' Vocal Imitation Through Modeling Speech as Timbre-Based Melody.- Metrics for Evaluating the Serendipity of Recommendation Lists.- Moving Sound Source Extraction by Time-Variant Beamforming.- Video Scene Retrieval Using Online Video Annotation.- Spatio-temporal Semantic Map for Acquiring and Retargeting Knowledge on Everyday Life Behavior.- Logic and Engineering of Natural Language Semantics.- Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2007.- Semantic Heterogeneity in Evidentials.- Acts of Promising in Dynamified Deontic Logic.- Dynamic Semantics of Quantified Modal Mu-Calculi and Its Applications to Modelling Public Referents, Speaker's Referents, and Semantic Referents.- Inverse Scope as Metalinguistic Quotation in Operational Semantics.- A Multimodal Type Logical Grammar Analysis of Japanese: Word Order and Quantifier Scope.- Coordinating and Subordinating Dependencies.- Left-Peripheral and Sentence-Internal Topics in Japanese.- Incremental Processing and Design of a Parser for Japanese: A Dynamic Approach.- Breaking Quotations.- A Modifier Hypothesis on the Japanese Indeterminate Quantifier Phrase.- A Presuppositional Analysis of Definite Descriptions in Proof Theory.- Meaning Games.- Risk Informatics.- International Workshop on Risk Informatics (RI2007).- Chance Discovery in Credit Risk Management.- Risk Bias Externalization for Offshore Software Outsourcing by Conjoint Analysis.- Extracting Failure Knowledge with Associative Search.- Data Mining Analysis of Relationship Between Blood Stream Infectionand Clinical Background in Patients Undergoing Lactobacillus Therapy.- Discovery of Risky Cases in Chronic Diseases: An Approach Using Trajectory Grouping.- Learning with Logics and Logics for Learning.- The Fifth Workshop on Learning with Logics and Logics for Learning (LLLL2007).- Mining Maximal Flexible Patterns in a Sequence.- Computing Characteristic Sets of Bounded Unions of Polynomial Ideals.- Towards a Logical Reconstruction of CF-Induction.- Juris-Informatics.- First International Workshop on Juris-Informatics.- Towards Translation of Legal Sentences into Logical Forms.- Automatic Consolidation of Japanese Statutes Based on Formalization of Amendment Sentences.- Characterized Argument Agent for Training Partner.- Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning.