Methodologies for Intelligent Systems: 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16 - 19, 1994. Proceedings

Front Cover
Springer Science & Business Media, Sep 28, 1994 - Computers - 613 pages
This volume contains the revised versions of the papers presented at the Eighth International Symposium on Methodologies for Intelligent Systems (ISMIS '94), held in Charlotte, North Carolina, USA in October 1994.
Besides four invited contributions by renowned researchers on key topics, there are 56 full papers carefully selected from more than 120 submissions. The book presents the state of the art for methodologies for intelligent systems; the papers are organized in sections on approximate reasoning, evolutionary computation, intelligent information systems, knowledge representation, methodologies, learning and adaptive systems, and logic for AI.
 

Selected pages

Contents

Distributed Earth Science Validation Centers for Mission to Planet Earth
1
Causal understanding in reasoning about the world
13
How to Make Intelligent Digital Libraries
21
Some Methodology and Representation Problems for the Semantics of Prosaic Application Domains
33
Recognizing Credible Experts in Inaccurate Databases
40
A CLARIFICATION
50
via Rough Sets and Topology
59
Signed Formulas and Fuzzy Operator Logics
69
Automatic Programming for Scientific Subroutine Libraries
320
an ILP Theory Revision System
330
Dynamic Reducts as a Tool for Extracting Laws from Decisions Tables
338
Learning First Order Theories
348
RuleSets in a Genetic Algorithm Learning Environment for Classification Tasks
358
Traps and Pitfalls when Learning Logical Definitions from Relations
368
A Rough Set Based Knowledge Discovery System
378
Restructuring rule bases to improve performance
388

Rough Mereology
79
A New Rule for Updating Evidence
89
A Global Measure of Ambiguity for Classification
99
A Decision Theoretic Approach
108
Formal Models of Selection in Genetic Algorithms
118
Problem
128
On the Weakening of Fuzzy Relational Queries
138
Schema to an Object Schema A Prototype Based on Flogic
148
Casebased Reasoning Applied To A Force Generation Decision Aid
168
A CaseBased Reasoning Approach for Associative Query Answering
177
Efficient Execution of Recursive Queries Through Controlled Binding Propagation
187
Towards a Dynamic MultiAgent Organization
197
a Planning Architecture with Parallel Actions Resources and Constraints
207
An Intelligent System for Computer Aided Education
217
Its Goal Architecture and Current Results
227
a general purpose manager of temporal information
249
Understanding a story with causal relationships
259
Dealing with Qualitative and Quantitative Temporal Information concerning Periodic Events
269
Distributed Multiagent Probabilistic Reasoning With Bayesian Networks
279
Turning an Action Formalism Into a Planner Essentials of a Case Study
299
Towards Refinement of Definite Logic Programs
309
Learning Heuristics for Ordering Plan Goals through Static Operator Analysis
398
The AQDT2 System
408
Integration With a Neural Information Language
419
a Restricted Form of Knowledge Derived From Regularities
429
A DataDriven Approach to Feature Construction
440
Conditionals
450
The Semantics of Propositional Contexts
460
The Generalized Logic of only Knowing GOL that Covers the Notion of Epistemic Specifications
470
from logical formalization to operational definition
480
Classical Methods in Nonmonotonic Reasoning
492
Partial Evaluation and Relevance for Approximations of the Stable Semantics
503
A Fluent Logic for Reasoning about Action and Change
513
A New Approach to Inconsistency Handling
523
BDDs and Automated Deduction
533
A PossibilityBased Propositional logic of Conditionals
543
Relations
553
On the Relationship between Assumptionbased Framework and Autoepistemic Logic
563
Beliefs and Bilattices
586
Logics
596
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information