Foundations of Intelligent Systems

This book constitutes the refereed proceedings of the 10th International Symposium on Methodologies for Intelligent Systems, ISMIS'97, held in Charlotte, NC, USA, in October 1997. The 57 revised full papers were selected from a total of 117 submissions. Also included are four invited papers. Among the topics covered are intelligent information systems, approximate reasoning, evolutionary computation, knowledge representation and integration, learning and knowledge discovery, AI-Logics, discovery systems, data mining, query processing, etc.

Goal-oriented multimedia dialogue with variable initiative.- Knowledge-based image retrieval with spatial and temporal constructs (Invited paper).- Verification and validation of AI systems that control deep-space spacecraft.- Data mining and knowledge discovery: The third generation.- Embedding prioritized circumscription in logic programs.- Extending temporal logic for capturing evolving behaviour.- A description logic model for querying knowledge bases for structured documents.- Refining first order theories with neural networks.- A way of increasing both autonomy and versatility of a KDD system.- A comparison of atttribute selection strategies for attribute-oriented generalization.- Boolean reasoning for feature extraction problems.- World model construction in children during physics learning.- Document explorer: Discovering knowledge in document collections.- Well-behaved evaluation functions for numerical attributes.- An improved inductive learning algorithm with a preanalysis of data.- Efficient induction of numerical constraints.- Learning English syllabification for words.- Towards conceptual query answering.- An implementation platform for query-answering in default logics: Theoretical underpinnings.- Automating spoken dialogue systems.- Handwritten digit recognition by local principal components analysis.- From conceptual model to internal model.- Speeding GA-based attribute selection for image interpretation.- Using recurrent selection to improve GA performance.- A coevolutionary approach to concept learning.- Representation of music in a learning classifier system.- On multi-class problems and discretization in inductive logic programming.- Discovering empirical equations from robot-collected data.- Induction of positive and negative deterministic rules based on rough set model.- Autonomous database mining and disorder measures.- KOMET — A system for the integration of heterogeneous information sources.- Towards AI formalisms for legal evidence.- Type extensibility of a knowledge representation system with powersets.- Planning based on view updating in deductive databases.- Generic and fully automatic content based image retrieval architecture.- Program synthesis from examples by theory formation.- Interval approaches for uncertain reasoning.- Qualitative versus quantitative interpretation of the mathematical theory of evidence.- Knowledge discovery from databases with the guidance of a causal network.- From data to knowledge: method-specific transformations.- Generalized rules in incomplete information systems.- An interactive constraint-based system for selective attention in visual search.- Abstraction of representation for interoperation.- TraumaCASE: Exploiting the knowledge base of an existing decision support system to automatically construct medical cases.- An intelligent system dealing with negative information.- On representation-based querying of databases containing ill-known values.- Decision value oriented decomposition of data tables.- A machine learning experiment to determine part of speech from word-endings.- Learning flexible concepts from uncertain data.- Determining attribute relevance in decision trees.- A WordNet based rule generalization engine in meaning extraction system.- Representing and reasoning on SGML documents.- Conceptual modelling of the “meaning” of textual narrative documents.- Intelligent computation of presentation documents.- Flexible database querying based on associations of domain values.- A modal logical framework for security policies.- Completeness for linear regular negation normal form inference systems.- Renaming a set of non-horn clauses.- Constraints, causal rules and minimal change in model-based update.- Knowledge revision for document understanding.