Foundations of Intelligent Systems: 9th International Symposium, ISMIS'96, Zakopane, Poland, June (9-13), 1996. ProceedingsThis book constitutes the refereed proceedings of the 9th International Symposium on Methodologies for Intelligent Systems, ISMIS '96, held in Zakopane, Poland, in June 1996. The 53 revised full papers presented were selected from a total of 124 submissions; also included are 10 invited papers by leading experts surveying the state of the art in the area. The volume covers the following areas: approximate reasoning, evolutionary computation, intelligent information systems, knowledge representation and integration, learning and knowledge discovery, and AI logics. |
Contents
Putting Objects to Work on a Massive Scale | 1 |
From Theory to Practice | 19 |
Cooperative Information Systems Engineering | 34 |
Towards a Worldwide Knowledge Base Extended Abstract | 50 |
Data Mining and Knowledge Discovery in Business Databases | 56 |
A First Step | 68 |
Comparison of Conceptual Graphs for Modelling Knowledge of Multiple Experts | 78 |
Semantical Considerations for Knowledge Base Updates | 88 |
KnowledgeBased Fuzzy Neural Networks | 346 |
Coevolutionary Game Theoretic MultiAgent Systems | 356 |
Searching for Features Defined by Hyperplanes | 366 |
Inductive Database Design | 376 |
Enhancing Query Processing of Information Systems | 386 |
Structuring and Retrieval of the Complex Predicate Arguments Proper to the NKRL Conceptual Language | 398 |
From Null Values to Possibility Distributions | 408 |
Modified Component Valuations in Valuation Based Systems as a Way to Optimize Query Processing | 418 |
Partial Evaluation in Constraint Logic Programming | 98 |
The AQ17DCI System for DataDriven Constructive Induction and Its Application to the Analysis of World Economics | 108 |
Induction of Classification Rules from Imperfect Data | 118 |
Induction of Expert System Rules from Databases Based on Rough Set Theory and Resampling Methods | 128 |
Mining Patterns at Each Scale in Massive Data | 139 |
On Evolving Intelligence | 149 |
Intelligent Mutation Rate Control in Canonical Genetic Algorithms | 158 |
A FineGrained Parallel Evolutionary Program for Concept Induction | 168 |
Evolutionary Exploration of Search Spaces | 178 |
One Project Many Directions | 189 |
Operational Semantics and Applications Extended Abstract | 202 |
Automating Proofs of Integrity Constraints in Situation Calculus | 212 |
Towards Programming in Default Logic | 223 |
A Sound and Complete Fuzzy Logic System Using Zadchs Implication Operator | 233 |
On the Formal Specification of Temporal Deontic Constraints | 243 |
Validity Queries and Completeness Queries | 253 |
Explanation for Cooperative Information Systems | 264 |
Toward Intelligent Representation of Database Content | 274 |
Reducing Information Systems with Uncertain Attributes | 285 |
Object and Dependency Oriented Programming in FLO | 295 |
Knowledge Simplification | 305 |
A ModelBased Approach to ConsistencyChecking | 315 |
ResourceBased vs TaskBased Approaches for Scheduling Problems | 325 |
A Fuzzy Behaviorist Approach to SensorBased Robot Control | 335 |
The FRD Approach and a Comparative Study | 428 |
The Application of Rough SetsBased Data Mining Technique to Differential Diagnosis of Meningoenchepahlitis | 438 |
A Rough Set Framework for Data Mining of Prepositional Default Rules | 448 |
An Empirical Study on the Incompetence of Attribute Selection Criteria | 458 |
Locally Finite Proper and Complete Operators for Refining Datalog Programs | 468 |
Forest Fire Management with Negoplan | 479 |
An Architecture for a Deductive Fuzzy Relational Database | 491 |
A MultiStep Process for Discovering Managing and Refining Strong Functional Relations Hidden in Databases | 501 |
An Architecture and Methodology for the Design and Development of Technical Information Systems | 511 |
Explaining Explanation Closure | 521 |
PACLearning Logic Programs under the ClosedWorld Assumption | 531 |
Planning Truth Criteria and the Systematic Approach to Action and Change | 541 |
Automated Inductive Reasoning as a Support of Deductive Reasoning in a UserIndependent Automation of Inductive Theorem Proving | 551 |
Semantic Query Optimization for BottomUp Evaluation | 561 |
An AgentOriented View to Modeling Intelligent Information Systems | 572 |
A MultiLayer Architecture for KnowledgeBased System Synthesis | 582 |
An Architecture for Multiple Reasoning | 593 |
Heterogeneous View Integration via Sketches and Equations | 603 |
A Declarative Language Bias Formalism | 613 |
Knowledge Discovery in Databases and Data Mining | 623 |
Learning with Noise in Engineering Domains | 633 |
Hierarchical Conceptual Clustering in a First Order Representation | 643 |
Rule Discovery from Databases with Decision Matrices | 653 |
Other editions - View all
Common terms and phrases
a-cut Abstract action agent application approach Artificial Intelligence atom attributes automated axioms behavior classification clause complete components concept condition Constraint Logic Programming constraints construct corresponding crossover data mining database Datalog decision trees default logic default theory defined definition denoted described distributed DLAB domain evolutionary evolutionary algorithms Evolutionary Computation example experts expressed finite formal formula framework function fuzzy set Genetic Algorithms given goal graph implemented Information Systems integration intensional intensional definition knowledge base Knowledge Discovery Knowledge Representation language lemma logic programming Machine Learning method mutation rate neural networks node null unfoldings objects operators optimization parameter partial evaluation patterns possible predicates problem Proc Proceedings proof query reasoning recursive relation relevant representation represented Rough Sets schema selection semantics specific strategy structure subset Table task tree tuples update variables