Methodologies for Intelligent Systems: 8th International Symposium, Ismis '94, Charlotte, North Carolina, USA, October 16 - 19, 1994. Proceedings (Lecture Notes in Computer Science)

"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."--PUBLISHER'S WEBSITE Distributed Earth science validation centers for Mission to Planet Earth....Pages 1-12 Causal understanding in reasoning about the world....Pages 13-26 How to make intelligent digital libraries....Pages 27-38 “Some methodology and representation problems for the semantics of prosaic application domains”....Pages 39-45 Recognizing credible experts in inaccurate databases....Pages 46-55 Fuzzy logic or lukasiewicz logic: A clarification....Pages 56-64 Logic systems for approximate reasoning: via rough sets and topology....Pages 65-74 Signed formulas and fuzzy operator logics....Pages 75-84 Rough mereology....Pages 85-94 A new rule for updating evidence....Pages 95-104 A global measure of ambiguity for classification....Pages 105-113 Meta-level control of approximate reasoning: A decision theoretic approach....Pages 114-123 Formal models of selection in genetic algorithms....Pages 124-133 Genetic algorithms for the 0/1 knapsack problem....Pages 134-143 On the weakening of fuzzy relational queries....Pages 144-153 Transforming queries from a relational schema to an object schema: A prototype based on F-logic....Pages 154-163 Knowledge discovery in databases: A rule-based attribute-oriented approach....Pages 164-173 Case-based reasoning applied to a force generation decision aid....Pages 174-182 A case-based reasoning approach for associative query answering....Pages 183-192 Efficient execution of recursive queries through controlled binding propagation....Pages 193-202 Towards a dynamic multi-agent organization....Pages 203-212 parc Plan: a planning architecture with parallel actions, resources and constraints....Pages 213-222 GAITS II: An intelligent system for computer-aided education....Pages 223-232 The GLS discovery system: Its goal, architecture and current results....Pages 233-244 Declarative semantics for contradictory modular logic programs....Pages 245-254 LaTeR: a general purpose manager of temporal information....Pages 255-264 Understanding a story with causal relationships....Pages 265-274 Dealing with qualitative and quantitative temporal information concerning periodic events....Pages 275-284 Distributed multi-agent probabilistic reasoning with Bayesian networks....Pages 285-294 Building bridges between knowledge representation and algebraic specification....Pages 295-304 Turning an action formalism into a planner — Essentials of a case study....Pages 305-314 Towards refinement of definite logic programs....Pages 315-325 Amphion: Automatic programming for scientific subroutine libraries....Pages 326-335 RUTH: an ILP theory revision system....Pages 336-345 Dynamic reducts as a tool for extracting laws from decisions tables....Pages 346-355 Learning first order theories....Pages 356-365 Evaluation and enhancement of Bayesian rule-sets in a genetic algorithm learning environment for classification tasks....Pages 366-375 Traps and pitfalls when learning logical definitions from relations....Pages 376-385 DBROUGH: A rough set based knowledge discovery system....Pages 386-395 Restructuring rule bases to improve performance....Pages 396-405 Learning heuristics for ordering plan goals through static operator analysis....Pages 406-415 Learning problem-oriented decision structures from decision rules: The AQDT-2 system....Pages 416-426 Towards full automation of the discovery of heuristics in a nuclear engineering project: Integration with a neural information language....Pages 427-436 Concept hierarchies: a restricted form of knowledge derived from regularities....Pages 437-447 A data-driven approach to feature construction....Pages 448-457 Reasoning about action and time with epistemic conditionals....Pages 458-467 The semantics of propositional contexts....Pages 468-477 The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications....Pages 478-487 Reasoning about the safety of information: from logical formalization to operational definition....Pages 488-499 Classical methods in nonmonotonic reasoning....Pages 500-510 Partial evaluation and relevance for approximations of the stable semantics....Pages 511-520 Circumscribing features and fluents: A fluent logic for reasoning about action and change....Pages 521-530 Paraconsistency and beyond: A new approach to inconsistency handling....Pages 531-540 BDDs and automated deduction....Pages 541-550 A possibility-based propositional logic of conditionals....Pages 551-560 Incremental processing of logic database relations....Pages 561-570 On the relationship between assumption-based framework and autoepistemic logic....Pages 571-583 Computing queries from prioritized default theories....Pages 584-593 Beliefs and bilattices....Pages 594-603 Fast termination of the deductive process in resolution proof systems for non-classical logics....Pages 604-613 Annotation 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 Success of recent U.S. environmental initiatives depends upon increasing the availability of data to the scientific community who will be interpreting space-based observations about ozone depletion and greenhouse effects, land vegetation and ocean productivity, and desert/vegetation patterns to name a few. Zbigniew W. Raś, Maria Zemankova, (eds.). Includes Bibliographical References.