Methodologies for intelligent systems : 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991 : proceedings / Z.W. Ras, M. Zemankova, eds.

Includes bibliographical references.

Use copy Restrictions unspecified star MiAaHDL

Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2012. MiAaHDL

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL

http://purl.oclc.org/DLF/benchrepro0212

digitized 2012 HathiTrust Digital Library committed to preserve pda MiAaHDL

Print version record.

This volume contains the papers selected for presentation at the Sixth International Symposium on Methodol- ogies for Intelligent Systems held in Charlotte, North Carolina, in October 1991. The symposium was hosted by UNC-Charlotte and sponsored by IBM-Charlotte, ORNL/CESAR and UNC-Charlotte. The papers discuss topics in the following major areas: - Approximate reasoning, - Expert systems, - Intelligent databases, - Knowledge representation, - Learning and adaptive systems, - Logic for artificial intelligence. The goal of the symposium was to provide a platform for a useful exchange and cross-fertilization of ideas between theoreticians and practitioners in these areas.

An architecture for pragmatic voice interactive systems -- A logic of relative desire -- Methodologies for data/knowledge/information engineering: Will the twain meet? -- Personal learning apprentices -- The roles of artificial intelligence in information systems -- Integrating variables and operations into rule-based forward chaining systems -- The multi-player version of minimax displays game-tree pathology -- Generalization handling in a dynamic case memory -- Knowledge based semantic query optimization -- Combining knowledge bases consisting of first order theories -- User profiles for information retrieval -- An approach to deriving object hierarchies from database schema and contents -- Multilevel interface to a distributed database system -- Efficient evaluation of linear recursions with function symbols in deductive databases -- Synthesizing efficient agents from partial programs -- Knowledge extraction from databases: Design principles of the INLEN system -- Stable model semantics for probabilistic deductive databases -- Towards implementing valuation based systems with relational databases -- On the representation of continuous causal relationships -- Process transition networks: A formal graphical knowledge representation tool -- Using normal deduction graphs in default reasoning -- A model of information sharing for fault-tolerant flexible manufacturing systems -- On interval-based temporal planning: An IQ strategy -- Percept conceptualizations and their knowledge representation schemes -- Combining time points and time intervals in a hybrid knowledge representation formalism -- An analysis of property-flow view vs individual-flow view of inheritance -- Semantic extensions to text retrieval -- Updates with equality: Beyond the Herbrand universe assumption -- Using genetic algorithms to improve the performance of classification rules produced by symbolic inductive methods -- Learning quantitative features in a symbolic environment -- Automatic acquisition of proper noun meanings -- Investigating the relationships between abduction and inverse resolution in propositional calculus -- Explanation-based learning helps acquire knowledge from natural language texts -- Hybrid pattern recognition system capable of self-modification -- Towards an adaptive information retrieval system -- Improving the comprehensibility, accuracy, and generality of reactive plans -- On the unknown attribute values in learning from examples -- A new system for inductive learning in attribute-based spaces -- Generation of classification rules -- Distance metrics for instance-based learning -- A study of crossover operators in genetic programming -- Input understanding as a basis for multistrategy task-adaptive learning -- Automated discovery of empirical equations from data -- Constructing models of hidden structure -- Amalgamated logic programming and non-monotonic reasoning -- WF 3: A semantics for negation in normal disjunctive logic programs -- Representation of mathematical knowledge -- Graded logics: A framework for uncertain and defeasible knowledge -- The strong semantics for logic programs -- Static Parallel Arc Consistency in constraint satisfaction -- Towards a theory of inductive logic programming -- Another view of autoepistemic logic and truth maintenance system -- Dynamic autoepistemic logic -- Nonmonotonic temporal reasoning: Persistence, justified causation and event minimization -- Novelty revisited -- Typicality constants and range defaults: Some pros and cons of a cognitive model of default reasoning -- Resolution and path dissolution in multiple-valued logics -- How well are non-horn clauses handled? -- Fully deadline-coupled planning: One step at a time -- Completeness for propositional logic programs with negation -- Disjunctive logic programs and constraint processing -- Note on resolution circuits -- A semantic analysis of monotonic inheritance with roles and relations.