---

＜電子ブック＞
Methodologies for Intelligent Systems : 6th International Symposium, ISMIS '91, Charlotte, N.C., USA October 16-19, 1991. Proceedings / edited by Zbigniew W. Ras, Maria Zemankova
(Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 542)

版	1st ed. 1991.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1991
本文言語	英語
大きさ	X, 646 p : online resource
著者標目	Ras, Zbigniew W editor Zemankova, Maria editor SpringerLink (Online service)
件　名	LCSH:Artificial intelligence LCSH:Computer networks  FREE:Artificial Intelligence FREE:Computer Communication Networks
一般注記	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 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 HTTP:URL=https://doi.org/10.1007/3-540-54563-8

 類似資料