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.
Author(s): Alan W. Biermann, Ronnie W. Smith (auth.), Z. W. Ras, M. Zemankova (eds.)
Series: Lecture Notes in Computer Science 542
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1991
Language: English
Pages: 646
Tags: Information Systems and Communication Service
An architecture for pragmatic voice interactive systems....Pages 1-15
A logic of relative desire....Pages 16-31
Methodologies for data/knowledge/information engineering: Will the twain meet?....Pages 32-34
Personal learning apprentices....Pages 35-37
The roles of artificial intelligence in information systems....Pages 38-51
Integrating variables and operations into rule-based forward chaining systems....Pages 52-61
The multi-player version of minimax displays game-tree pathology....Pages 62-71
Generalization handling in a dynamic case memory....Pages 72-81
Knowledge based semantic query optimization....Pages 82-91
Combining knowledge bases consisting of first order theories....Pages 92-101
User profiles for information retrieval....Pages 102-111
An approach to deriving object hierarchies from database schema and contents....Pages 112-121
Multilevel interface to a distributed database system....Pages 122-131
Efficient evaluation of linear recursions with function symbols in deductive databases....Pages 132-141
Synthesizing efficient agents from partial programs....Pages 142-151
Knowledge extraction from databases: Design principles of the INLEN system....Pages 152-161
Stable model semantics for probabilistic deductive databases....Pages 162-171
Towards implementing valuation based systems with relational databases....Pages 172-182
On the representation of continuous causal relationships....Pages 183-192
Process transition networks: A formal graphical knowledge representation tool....Pages 193-202
Using normal deduction graphs in default reasoning....Pages 203-212
A model of information sharing for fault-tolerant flexible manufacturing systems....Pages 213-225
On interval-based temporal planning: An IQ strategy....Pages 226-235
Percept conceptualizations and their knowledge representation schemes....Pages 236-245
Combining time points and time intervals in a hybrid knowledge representation formalism....Pages 246-255
An analysis of property-flow view vs individual-flow view of inheritance....Pages 256-265
Semantic extensions to text retrieval....Pages 266-275
Updates with equality: Beyond the Herbrand universe assumption....Pages 276-285
Using genetic algorithms to improve the performance of classification rules produced by symbolic inductive methods....Pages 286-295
Learning quantitative features in a symbolic environment....Pages 296-305
Automatic acquisition of proper noun meanings....Pages 306-315
Investigating the relationships between abduction and inverse resolution in propositional calculus....Pages 316-325
Explanation-based learning helps acquire knowledge from natural language texts....Pages 326-337
Hybrid pattern recognition system capable of self-modification....Pages 338-347
Towards an adaptive information retrieval system....Pages 348-357
Improving the comprehensibility, accuracy, and generality of reactive plans....Pages 358-367
On the unknown attribute values in learning from examples....Pages 368-377
A new system for inductive learning in attribute-based spaces....Pages 378-388
Generation of classification rules....Pages 389-398
Distance metrics for instance-based learning....Pages 399-408
A study of crossover operators in genetic programming....Pages 409-418
Input understanding as a basis for multistrategy task-adaptive learning....Pages 419-428
Automated discovery of empirical equations from data....Pages 429-440
Constructing models of hidden structure....Pages 441-449
Amalgamated logic programming and non-monotonic reasoning....Pages 450-458
WF 3 : A semantics for negation in normal disjunctive logic programs....Pages 459-468
Representation of mathematical knowledge....Pages 469-478
Graded logics: A framework for uncertain and defeasible knowledge....Pages 479-489
The strong semantics for logic programs....Pages 490-499
Static Parallel Arc Consistency in constraint satisfaction....Pages 500-509
Towards a theory of inductive logic programming....Pages 510-519
Another view of autoepistemic logic and truth maintenance system....Pages 520-529
Dynamic autoepistemic logic....Pages 530-539
Nonmonotonic temporal reasoning: Persistence, justified causation and event minimization....Pages 540-549
Novelty revisited....Pages 550-559
Typicality constants and range defaults: Some pros and cons of a cognitive model of default reasoning....Pages 560-569
Resolution and path dissolution in multiple-valued logics....Pages 570-579
How well are non-horn clauses handled?....Pages 580-588
Fully deadline-coupled planning: One step at a time....Pages 589-599
Completeness for propositional logic programs with negation....Pages 600-609
Disjunctive logic programs and constraint processing....Pages 610-619
Note on resolution circuits....Pages 620-629
A semantic analysis of monotonic inheritance with roles and relations....Pages 630-644
