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.
Author(s): William J. Campbell, Nicholas M. Short Jr. (auth.), Zbigniew W. Raś, Maria Zemankova (eds.)
Series: Lecture Notes in Computer Science 869 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1994
Language: English
Pages: 622
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages
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
