Methodologies for Intelligent Systems: 6th International Symposium, ISMIS '91 Charlotte, N. C., USA, October 16–19, 1991 Proceedings

"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."--PUBLISHER'S WEBSITE. 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

this Volume Contains The Revised Versions Of The Papers Presented At The Eighth International Symposium On Methodologies For Intelligent Systems (ismis '94), Held In Charlotte, North Carolina, Usa In October 1994.
besides Four Invited Contributions By Renowned Researchers On Key Topics, There Are 56 Full Papers Carefully Selected From More Than 120 Submissions. The Book Presents The State Of The Art For Methodologies For Intelligent Systems; The Papers Are Organized In Sections On Approximate Reasoning, Evolutionary Computation, Intelligent Information Systems, Knowledge Representation, Methodologies, Learning And Adaptive Systems, And Logic For Ai.