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.
Author(s): Katashi Nagao (auth.), Ken Satoh, Akihiro Inokuchi, Katashi Nagao, Takahiro Kawamura (eds.)
Series: Lecture Notes in Computer Science 4914 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008
Language: English
Pages: 406
Tags: Artificial Intelligence (incl. Robotics); Data Mining and Knowledge Discovery; Information Storage and Retrieval; Information Systems Applications (incl.Internet); User Interfaces and Human Computer Interaction; Computers and Society
Front Matter....Pages -
Front Matter....Pages 1-1
Overview of Awarded Papers: The 21st Annual Conference of JSAI....Pages 3-4
Modeling Human-Agent Interaction Using Bayesian Network Technique....Pages 5-12
Analysis and Design Methodology for Product-Based Services....Pages 13-25
Consideration of Infants’ Vocal Imitation Through Modeling Speech as Timbre-Based Melody....Pages 26-39
Metrics for Evaluating the Serendipity of Recommendation Lists....Pages 40-46
Moving Sound Source Extraction by Time-Variant Beamforming....Pages 47-53
Video Scene Retrieval Using Online Video Annotation....Pages 54-62
Spatio-temporal Semantic Map for Acquiring and Retargeting Knowledge on Everyday Life Behavior....Pages 63-75
Front Matter....Pages 77-77
Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2007....Pages 79-80
Semantic Heterogeneity in Evidentials....Pages 81-94
Acts of Promising in Dynamified Deontic Logic....Pages 95-108
Dynamic Semantics of Quantified Modal Mu-Calculi and Its Applications to Modelling Public Referents, Speaker’s Referents, and Semantic Referents....Pages 109-122
Inverse Scope as Metalinguistic Quotation in Operational Semantics....Pages 123-134
A Multimodal Type Logical Grammar Analysis of Japanese: Word Order and Quantifier Scope....Pages 135-148
Coordinating and Subordinating Dependencies....Pages 149-159
Left-Peripheral and Sentence-Internal Topics in Japanese....Pages 160-173
Incremental Processing and Design of a Parser for Japanese: A Dynamic Approach....Pages 174-186
Breaking Quotations....Pages 187-200
A Modifier Hypothesis on the Japanese Indeterminate Quantifier Phrase....Pages 201-213
A Presuppositional Analysis of Definite Descriptions in Proof Theory....Pages 214-227
Front Matter....Pages 77-77
Meaning Games....Pages 228-241
Front Matter....Pages 243-243
International Workshop on Risk Informatics (RI2007)....Pages 245-246
Chance Discovery in Credit Risk Management....Pages 247-254
Risk Bias Externalization for Offshore Software Outsourcing by Conjoint Analysis....Pages 255-268
Extracting Failure Knowledge with Associative Search....Pages 269-276
Data Mining Analysis of Relationship Between Blood Stream Infection and Clinical Background in Patients Undergoing Lactobacillus Therapy....Pages 277-288
Discovery of Risky Cases in Chronic Diseases: An Approach Using Trajectory Grouping....Pages 289-302
Front Matter....Pages 303-303
The Fifth Workshop on Learning with Logics and Logics for Learning (LLLL2007)....Pages 305-306
Mining Maximal Flexible Patterns in a Sequence....Pages 307-317
Computing Characteristic Sets of Bounded Unions of Polynomial Ideals....Pages 318-329
Towards a Logical Reconstruction of CF-Induction....Pages 330-343
Front Matter....Pages 345-345
First International Workshop on Juris-Informatics....Pages 347-348
Towards Translation of Legal Sentences into Logical Forms....Pages 349-362
Automatic Consolidation of Japanese Statutes Based on Formalization of Amendment Sentences....Pages 363-376
Characterized Argument Agent for Training Partner....Pages 377-389
Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning....Pages 390-402
Back Matter....Pages -
