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

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.

Distributed Earth science validation centers for Mission to Planet Earth.- Causal understanding in reasoning about the world.- How to make intelligent digital libraries.- “Some methodology and representation problems for the semantics of prosaic application domains”.- Recognizing credible experts in inaccurate databases.- Fuzzy logic or lukasiewicz logic: A clarification.- Logic systems for approximate reasoning: via rough sets and topology.- Signed formulas and fuzzy operator logics.- Rough mereology.- A new rule for updating evidence.- A global measure of ambiguity for classification.- Meta-level control of approximate reasoning: A decision theoretic approach.- Formal models of selection in genetic algorithms.- Genetic algorithms for the 0/1 knapsack problem.- On the weakening of fuzzy relational queries.- Transforming queries from a relational schema to an object schema: A prototype based on F-logic.- Knowledge discovery in databases: A rule-based attribute-oriented approach.- Case-based reasoning applied to a force generation decision aid.- A case-based reasoning approach for associative query answering.- Efficient execution of recursive queries through controlled binding propagation.- Towards a dynamic multi-agent organization.- parcPlan: a planning architecture with parallel actions, resources and constraints.- GAITS II: An intelligent system for computer-aided education.- The GLS discovery system: Its goal, architecture and current results.- Declarative semantics for contradictory modular logic programs.- LaTeR: a general purpose manager of temporal information.- Understanding a story with causal relationships.- Dealing with qualitative and quantitative temporal information concerning periodic events.- Distributed multi-agent probabilistic reasoning withBayesian networks.- Building bridges between knowledge representation and algebraic specification.- Turning an action formalism into a planner — Essentials of a case study.- Towards refinement of definite logic programs.- Amphion: Automatic programming for scientific subroutine libraries.- RUTH: an ILP theory revision system.- Dynamic reducts as a tool for extracting laws from decisions tables.- Learning first order theories.- Evaluation and enhancement of Bayesian rule-sets in a genetic algorithm learning environment for classification tasks.- Traps and pitfalls when learning logical definitions from relations.- DBROUGH: A rough set based knowledge discovery system.- Restructuring rule bases to improve performance.- Learning heuristics for ordering plan goals through static operator analysis.- Learning problem-oriented decision structures from decision rules: The AQDT-2 system.- Towards full automation of the discovery of heuristics in a nuclear engineering project: Integration with a neural information language.- Concept hierarchies: a restricted form of knowledge derived from regularities.- A data-driven approach to feature construction.- Reasoning about action and time with epistemic conditionals.- The semantics of propositional contexts.- The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications.- Reasoning about the safety of information: from logical formalization to operational definition.- Classical methods in nonmonotonic reasoning.- Partial evaluation and relevance for approximations of the stable semantics.- Circumscribing features and fluents: A fluent logic for reasoning about action and change.- Paraconsistency and beyond: A new approach to inconsistency handling.- BDDs and automated deduction.- A possibility-basedpropositional logic of conditionals.- Incremental processing of logic database relations.- On the relationship between assumption-based framework and autoepistemic logic.- Computing queries from prioritized default theories.- Beliefs and bilattices.- Fast termination of the deductive process in resolution proof systems for non-classical logics.