Methodologies for Intelligent Systems: 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16 - 19, 1994. ProceedingsThis 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. |
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 |
Other editions - View all
Methodologies for Intelligent Systems: 8th International Symposium, ISMIS ... Zbigniew W. Ras,Maria Zemankova No preview available - 1994 |
Methodologies for Intelligent Systems: 8th International Symposium, ISMIS ... Zbigniew W. Ras,Maria Zemankova No preview available - 1994 |
Common terms and phrases
abstraction action AE logic AE theory agent algorithm application approach Artificial Intelligence associated atoms attributes axioms BDDs belief Case-Based Reasoning causal classical clause complete components Computer Science concept consistent constraints constructed context corresponding database decision rules decision structure default logic defined definition denote described disjunction domain theory evaluation example expert system extension formal formula framework function fuzzy fuzzy logic Genetic Algorithms given graph hierarchy Horn clauses implemented induction inference inference rules International interpretation knowledge base knowledge representation language literals logic programs Machine Learning method modal modal logic module nodes notion object operator paper performance planner planning predicate problem Proceedings proof propositional propositional logic query reasoning reducts relation representation represented ROBDD rough set satisfies schema selected semantics specification Subseries LNAI subset techniques temporal Theorem truth value tuples updating variables