Bienvenue chez nous!
Logo Ex Libris

Methodologies for Intelligent Systems

  • Couverture cartonnée
  • 660 Nombre de pages
(0) Donner la première évaluation
Évaluations
(0)
(0)
(0)
(0)
(0)
Afficher toutes les évaluations
This volume contains the papers selected for presentation at the Sixth International Symposium on Methodol- ogies for Intelligent ... Lire la suite
CHF 154.00
Impression sur demande - l'exemplaire sera recherché pour vous.

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.

Contenu

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.

Informations sur le produit

Titre: Methodologies for Intelligent Systems
Éditeur:
Code EAN: 9783540545637
ISBN: 3540545638
Format: Couverture cartonnée
Genre: Logiciels utilisateurs
nombre de pages: 660
Poids: 982g
Taille: H235mm x B155mm x T35mm
Année: 1991
Auflage: 1991.

Évaluations

Vue d’ensemble

Mes évaluations

Évaluez cet article