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.
Author(s): Alan W. Biermann, Curry Guinn, Michael S. Fulkerson (auth.), Zbigniew W. Raś, Andrzej Skowron (eds.)
Series: Lecture Notes in Computer Science 1325 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1997
Language: English
Pages: 634
Tags: Artificial Intelligence (incl. Robotics); Information Systems Applications (incl.Internet); Multimedia Information Systems; Information Storage and Retrieval
Goal-oriented multimedia dialogue with variable initiative....Pages 1-16
Knowledge-based image retrieval with spatial and temporal constructs ( Invited paper )....Pages 17-34
Verification and validation of AI systems that control deep-space spacecraft....Pages 35-47
Data mining and knowledge discovery: The third generation....Pages 48-49
Embedding prioritized circumscription in logic programs....Pages 50-59
Extending temporal logic for capturing evolving behaviour....Pages 60-71
A description logic model for querying knowledge bases for structured documents....Pages 72-83
Refining first order theories with neural networks....Pages 84-93
A way of increasing both autonomy and versatility of a KDD system....Pages 94-105
A comparison of atttribute selection strategies for attribute-oriented generalization....Pages 106-116
Boolean reasoning for feature extraction problems....Pages 117-126
World model construction in children during physics learning....Pages 127-136
Document explorer: Discovering knowledge in document collections....Pages 137-146
Well-behaved evaluation functions for numerical attributes....Pages 147-156
An improved inductive learning algorithm with a preanalysis of data....Pages 157-166
Efficient induction of numerical constraints....Pages 167-176
Learning English syllabification for words....Pages 177-186
Towards conceptual query answering....Pages 187-196
An implementation platform for query-answering in default logics: Theoretical underpinnings....Pages 197-206
Automating spoken dialogue systems....Pages 207-216
Handwritten digit recognition by local principal components analysis....Pages 217-226
From conceptual model to internal model....Pages 227-236
Speeding GA-based attribute selection for image interpretation....Pages 237-246
Using recurrent selection to improve GA performance....Pages 247-256
A coevolutionary approach to concept learning....Pages 257-266
Representation of music in a learning classifier system....Pages 267-276
On multi-class problems and discretization in inductive logic programming....Pages 277-286
Discovering empirical equations from robot-collected data....Pages 287-297
Induction of positive and negative deterministic rules based on rough set model....Pages 298-307
Autonomous database mining and disorder measures....Pages 308-317
KOMET — A system for the integration of heterogeneous information sources....Pages 318-327
Towards AI formalisms for legal evidence....Pages 328-337
Type extensibility of a knowledge representation system with powersets....Pages 338-347
Planning based on view updating in deductive databases....Pages 348-359
Generic and fully automatic content based image retrieval architecture....Pages 360-369
Program synthesis from examples by theory formation....Pages 370-380
Interval approaches for uncertain reasoning....Pages 381-390
Qualitative versus quantitative interpretation of the mathematical theory of evidence....Pages 391-400
Knowledge discovery from databases with the guidance of a causal network....Pages 401-410
From data to knowledge: method-specific transformations....Pages 411-420
Generalized rules in incomplete information systems....Pages 421-430
An interactive constraint-based system for selective attention in visual search....Pages 431-440
Abstraction of representation for interoperation....Pages 441-455
TraumaCASE: Exploiting the knowledge base of an existing decision support system to automatically construct medical cases....Pages 456-466
An intelligent system dealing with negative information....Pages 467-476
On representation-based querying of databases containing ill-known values....Pages 477-486
Decision value oriented decomposition of data tables....Pages 487-496
A machine learning experiment to determine part of speech from word-endings....Pages 497-506
Learning flexible concepts from uncertain data....Pages 507-518
Determining attribute relevance in decision trees....Pages 519-528
A WordNet based rule generalization engine in meaning extraction system....Pages 529-539
Representing and reasoning on SGML documents....Pages 540-549
Conceptual modelling of the “meaning” of textual narrative documents....Pages 550-559
Intelligent computation of presentation documents....Pages 560-569
Flexible database querying based on associations of domain values....Pages 570-578
A modal logical framework for security policies....Pages 579-589
Completeness for linear regular negation normal form inference systems....Pages 590-599
Renaming a set of non-horn clauses....Pages 600-608
Constraints, causal rules and minimal change in model-based update....Pages 609-618
Knowledge revision for document understanding....Pages 619-628
