Progress in Discovery Science

This book documents the scientific outcome and constitutes the final report of the Japanese reseach project on discovery science. During three years more than 60 scientists participated in the project and developed a wealth of new methods for knowledge discovery and data mining.The 52 revised full papers presented were carefully reviewed and span the whole range of knowledge discovery from logical foundations and inductive reasoning to statistical inference and computational learning. A broad variety of advanced applications are presented including knowledge discovery and data mining in very large databases, knowledge discovery in network environments, text mining, information extraction, rule mining, Web mining, image processing, and pattern recognition.

Inhalt

Searching for Mutual Exclusion Algorithms Using BDDs.- Reducing Search Space in Solving Higher-Order Equations.- The Structure of Scientific Discovery: From a Philosophical Point of View.- Ideal Concepts, Intuitions, and Mathematical Knowledge Acquisitions in Husserl and Hilbert.- Theory of Judgments and Derivations.- Efficient Data Mining from Large Text Databases.- A Computational Model for Children's Language Acquisition Using Inductive Logic Programming.- Some Criterions for Selecting the Best Data Abstractions.- Discovery of Chances Underlying Real Data.- Towards the Integration of Inductive and Nonmonotonic Logic Programming.- EM Learning for Symbolic-Statistical Models in Statistical Abduction.- Refutable/Inductive Learning from Neighbor Examples and Its Application to Decision Trees over Patterns.- Constructing a Critical Casebase to Represent a Lattice-Based Relation.- On Dimension Reduction Mappings for Approximate Retrieval of Multi-dimensional Data.- Rule Discovery from fMRI Brain Images by Logical Regression Analysis.- A Theory of Hypothesis Finding in Clausal Logic.- Efficient Data Mining by Active Learning.- Data Compression Method Combining Properties of PPM and CTW.- Discovery of Definition Patterns by Compressing Dictionary Sentences.- On-Line Algorithm to Predict Nearly as Well as the Best Pruning of a Decision Tree.- Finding Best Patterns Practically.- Classification of Object Sequences Using Syntactical Structure.- Top-Down Decision Tree Boosting and Its Applications.- Extraction of Primitive Motion and Discovery of Association Rules from Human Motion Data.- Algorithmic Aspects of Boosting.- Automatic Detection of Geomagnetic Jerks by Applying a Statistical Time Series Model to Geomagnetic Monthly Means.- Application of Multivariate Maxwellian Mixture Model to Plasma Velocity Distribution.- Inductive Thermodynamics from Time Series Data Analysis.- Mining of Topographic Feature from Heterogeneous Imagery and Its Application to Lunar Craters.- Application of Neural Network Technique to Combustion Spray Dynamics Analysis.- Computational Analysis of Plasma Waves and Particles in the Auroral Region Observed by Scientific Satellite.- A Flexible Modeling of Global Plasma Profile Deduced from Wave Data.- Extraction of Signal from High Dimensional Time Series: Analysis of Ocean Bottom Seismograph Data.- Foundations of Designing Computational Knowledge Discovery Processes.- Computing Optimal Hypotheses Efficiently for Boosting.- Discovering Polynomials to Fit Multivariate Data Having Numeric and Nominal Variables.- Finding of Signal and Image by Integer-Type Haar Lifting Wavelet Transform.- In Pursuit of Interesting Patterns with Undirected Discovery of Exception Rules.- Mining from Literary Texts: Pattern Discovery and Similarity Computation.- Second Difference Method Reinforced by Grouping: A New Tool for Assistance in Assignment of ComplexMolecular Spectra.- Discovery of Positive and Negative Knowledge in Medical Databases Using Rough Sets.- Toward the Discovery of First Principle Based Scientific Law Equations.- A Machine Learning Algorithm for Analyzing String Patterns Helps to Discover Simple and Interpretable Business Rules from Purchase History.- Constructing Inductive Applications by Meta-Learning with Method Repositories.- Knowledge Discovery from Semistructured Texts.- Packet Analysis in Congested Networks.- Visualization and Analysis of Web Graphs.- Knowledge Discovery in Auto-tuning Parallel Numerical Library.- Extended Association Algorithm Based on ROC Analysis for Visual Information Navigator.- WWW Visualization Tools for Discovering Interesting Web Pages.- Scalable and Comprehensible Visualization for Discovery of Knowledge from the Internet.- Meme Media for Re-editing and Redistributing Intellectual Assets and Their Application to Interactive Virtual Information Materialization.