Foundations of Intelligent Systems: 11th International Symposium, ISMIS'99, Warsaw, Poland, June 8-11, 1999, ProceedingsZbigniew Raś, Andrzej Skowron Springer Science & Business Media, 1999 - 676 pages This book constitutes the refereed proceedings of the 11th International Symposium on Methodologies for Intelligent Systems, ISMIS '99, held in Warsaw, Poland, in June 1999. The 66 revised full papers presented together with five invited papers were carefully reviewed and selected from a total of 115 submissions. The volume is divided into topical sections on logics for AI, intelligent information retrieval, intelligent information systems, learning and knowledge discovery, computer vision, knowledge representation, and evolutionary computation. |
Contents
Applications and Research Problems of Subgroup Mining | xi |
A Definition and Applications | 14 |
Semantic Ontology Tools in IS Design | 28 |
Heterogeneous Agent Systems Extended Abstract | 44 |
Information Systems that Really Support Decisionmaking | 54 |
A Class of Stratified Programs in Autoepistemic Logic of Knowledge and Belief | 65 |
OnLine Estimation of Matching Complexity in First Order Logic | 74 |
Implementing Prioritized Logic Programming | 83 |
Rough Sets as a Tool for Audio Signal Classification | 363 |
Experiments with Rough Sets Approach to Speech Recognition | 372 |
A System for Understanding A Mechanical Assembly Instruction Manual Using Virtual Space | 381 |
Perceptual Convergence of Discrete Clamped Fractal Operator | 391 |
Modified OjaRLS Algorithm Stochastic Convergence Analysis and Application for Image Compression | 398 |
The AQ18 Approach | 407 |
Learning English Grapheme Segmentation Using the Iterated Version Space Algorithm | 416 |
Limited Syntax Knowledge Representation System Based on Natural Language | 426 |
Extending Description Logics with Generalized Quantification | 92 |
The WISDOM System | 101 |
Concept Based Retrieval by Minimal Term Sets | 112 |
Querying Document Bases by Content Structure and Properties | 121 |
Total Knowledge and Partial Knowledge in Logical Models of Information Retrieval | 131 |
Towards a Theoretical Foundation for Cooperating Knowledge Based Systems | 142 |
A System for Cataloguing Searching and Annotating Electronic Documents in Digital Libraries | 152 |
Externalization of Human Idea and Problem Description for Automatic Programming | 161 |
Rough Set Based Data Exploration Using ROSE System | 170 |
Towards an Intelligent System Dealing with Nuanced Information Expressed in Affirmative or Negative Forms | 179 |
Logic Programs for Intelligent Web Search | 188 |
Representing Document Content via an ObjectOriented Paradigm | 197 |
A Learning Server for Inducing User Classification Rules in a Digital Library Service | 206 |
A Better Fitness Measure of a TextDocument for a Given Set of Keywords | 215 |
CONCERTO An Environment for the Intelligent Indexing Querying and Retrieval of Digital Documents | 224 |
Text Classification Using Lattice Machine | 233 |
Discovering Semantic Proximity for Web Pages | 240 |
A Declarative Language Bias for Levelwise Search of FirstOrder Regularities | 249 |
The More We Learn the Less We Know? On Inductive Learning from Examples | 258 |
Computing MPMA Updates Using Dijkstras Semantics | 267 |
Several Extensions of Truth Values in Fuzzy Logic | 278 |
Phase Transitions in the Regular Random 3SAT Problem | 288 |
Improving Backtrack Search for SAT by Means of Redundancy | 297 |
Decomposition of Task Specification Problems | 306 |
The Design of a RealTime Control Expert System | 315 |
A Statistical Approach to Rule Selection in Semantic Query Optimisation | 326 |
Representing and Reasoning on Conceptual Queries Over Image Databases | 336 |
An Experiment with Rule Induction and Statistics | 345 |
Reasoning and Acquisition of Knowledge in a System for Hand Wound Diagnosis and Prognosis | 354 |
A Fuzzy Measure of Similarity for InstanceBased Learning | 435 |
Computation of Minimal Cost Reducts | 444 |
Rough Set Data Mining of Diabetes Data | 453 |
Selection of a Relevant Feature Subset for Induction | 462 |
A Data Structure for SubsumptionBased Tabling in TopDown Resolution Engines for DataIntensive Logic Applications | 471 |
Modelling and Reasoning about Multidimensional Information | 480 |
An Interpretation for the Conditional Belief Function in the Theory of Evidence | 490 |
Artificial Neural Networks Aid the Design of Noncarcinogenic Azo Dyes | 499 |
Evolving in a Changing World | 508 |
HighPerformance Data Mining on Networks of Workstations | 516 |
VirusEnhanced Genetic Algorithms Inspired by DNA Computing | 525 |
Evolutionary Approach to Nonstationary Optimisation Tasks | 534 |
2D Case | 543 |
Multicriteria DecisionMaking Approach | 552 |
Machine Learning Method for Software Quality Model Building | 561 |
Discovery of Generalized Patterns | 570 |
Incomplete Database Issues for Representative Association Rules | 579 |
A Dynamic Integration Algorithm for an Ensemble of Classifiers | 588 |
A Computer System for Decision Trees Induction | 597 |
Preterm Birth Risk Assessed by a New Method of Classification Using Selective Partial Matching | 608 |
The GDTRS Methodology and Algorithms | 617 |
Cluster Evolution Strategies for Constrained Numerical Optimization | 626 |
Evolutionary Algorithms as Fitness Function Debuggers | 635 |
Solving RealLife TimeTabling Problems | 644 |
On Measures of Search Features | 653 |
Genetic Algorithms in Constructive Induction | 661 |
Author Index | 671 |
Common terms and phrases
AELB agent analysis application approach Artificial Intelligence association rules atoms attributes Bayesian network Choquet integral classification clause complexity Computer Science concept consistent constraints data mining data set database decision class decision tree defined definition denoted described description logic document domain dynamic elements evaluation evolution strategies evolutionary evolutionary algorithms example experiments extraction formula function fuzzy set genetic algorithms given graphemes hB-Tree hypothesis IEEE implementation induction information systems instances interface International interval truth values Kleene algebra knowledge base Knowledge Discovery knowledge representation language linguistic literals logic programs Machine Learning matching measure methods node objects ontology operator optimization paper parameters performance problem Proceedings properties query reducts relation representation represented retrieval Rough Sets satisfy selection semantic specific structure subgroup subset Table task techniques template theory truth values UIB-IK variables vector