Description: Methodologies for Intelligent Systems by Zbigniew W. Ras, Maria Zemankova 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. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description 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. Notes This volume contains the papers selected for presentation at a symposium on methodologies for intelligent systems. The main topics were approximate reasoning, expert systems, intelligent databases, knowledge representation, learning and adaptive systems, and logic for artificial intelligence. Table of Contents 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 toimprove 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. Promotional Springer Book Archives Description for Sales People This volume contains the papers selected for presentation at a symposium on methodologies for intelligent systems. The main topics were approximate reasoning, expert systems, intelligent databases, knowledge representation, learning and adaptive systems, and logic for artificial intelligence. Details ISBN3540545638 Short Title METHODOLOGIES FOR INTELLIGENT Language English ISBN-10 3540545638 ISBN-13 9783540545637 Media Book Format Paperback Series Number 542 Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K Place of Publication Berlin Country of Publication Germany Edited by Zbigniew W. Ras Author Maria Zemankova Pages 646 Illustrations X, 646 p. Subtitle 6th International Symposium, ISMIS 91, Charlotte, N.C., USA October 16-19, 1991. Proceedings DOI 10.1007/b41181;10.1007/978-3-540-38466-3;10.1007/3-540-54563-8 Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Edition Description 1991 ed. Year 1991 Edition 1991st Publication Date 1991-09-25 DEWEY 004 Audience Postgraduate, Research & Scholarly Series Lecture Notes in Artificial Intelligence We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96278060;
Price: 220.33 AUD
Location: Melbourne
End Time: 2025-01-07T01:49:43.000Z
Shipping Cost: 29.38 AUD
Product Images
Item Specifics
Restocking fee: No
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 30 Days
ISBN-13: 9783540545637
Book Title: Methodologies for Intelligent Systems
Number of Pages: 646 Pages
Language: English
Publication Name: Methodologies for Intelligent Systems: 6th International Symposium, ISMIS '91, Charlotte, N.C., USA October 16-19, 1991. Proceedings
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Publication Year: 1991
Subject: Computer Science
Item Height: 233 mm
Item Weight: 2020 g
Type: Textbook
Author: Maria Zemankova, Zbigniew W. Ras
Item Width: 155 mm
Format: Paperback
