Note: Front Cover -- Artificial Intelligence, Expert Systems and Symbolic Computing -- Copyright Page -- Table of Contents -- Preface -- Contributors -- Part 1: A1 Techniques -- Chapter 1. Modelling Physical Systems -- Abstract -- 1. INTRODUCTION -- 2. SYSTEM OUTLINE -- 3. RELATED WORK -- 4. QUALITATIVE REASONING -- 5. QUALITATIVE CAUSAL NETWORKS -- 6. CONCLUSIONS -- Acknowledgements -- References -- Chapter 2. A Fuzzy Logic Based Technique for Fault Detection in Complex Engineering Systems -- Abstract -- 1. INTRODUCTION -- 2. IDENTIFICATION OF STRUCTURE -- 3. FAULT DETECTION IN FUZZY SYSTEMS -- 4. CONCLUSIONS -- 5. REFERENCES -- 6. ACKNOWLEDGEMENTS -- Chapter 3. The event calculus: a logic-based computational formalism for reasoning about change -- Abstract -- I. INTRODUCTION -- 2. EXAMPLES OF EVENTS AND STATES -- 3. EXAMPLES OF DERIVING STATES FROM EVENTS -- 4 . A GENERAL EVENT CALCULUS RULE FOR DERIVING STATES FROM EVENTS -- 5 . AN HYPOTHETICAL APPLICATION TO COMPUTER-AIDED MANUFACTURING -- 6. CONCLUSION -- ACKNOWLEDGEMENTS -- 7. REFERENCES -- Chapter 4. A relation between isometries and the relative consistency concept in probabilistic logic -- Abstract -- 1. INTRODUCTION -- 2. THE CONSISTENCY AND PROBABILITY CONCEPT -- 3. THE ALGEBRAIC AND GEOMETRIC INTERPRETATION -- 4. THE USE OF THE INFINITE NORM : L∞(x ) = MAX I xi I -- 5. THE USE OF THE LI NORM: L(x)= I Xi I -- 6. THE LI ISOMETRIES -- 7. THE USE OF THE L2 NORM: L2(x) = ( Zxi2 )1/2 -- 8. THE L2 ISOMETRIES -- 9. CONCLUSION -- 10. REFERENCES -- Chapter 5. Dealing with Granularities using Uniform Event Calculus -- Abstract -- 1. Introduction -- 2. Granularity and Grains -- 3. Uniform Event Calculus -- Conclusion -- Acknowledgements -- References -- Part 2: Knowledge Bases -- Chapter 6. A KNOWLEDGE-BASED SIMULATION SERVER -- ABSTRACT -- 1. INTRODUCTION. , 2. SIMULATION SERVER DEFINITION AND STRUCTURE -- 3. IMPLEMENTATION ASPECTS -- 4. COMMUNICATION SYSTEM EXAMPLE -- 5. CONCLUSIONS -- 6. REFERENCES -- Chapter 7. Knowledge acquisition and hierarchical structures for modelling and simulation -- Abstract -- 1. INTRODUCTION -- 2. KNOWLEDGE-BASE REPRESENTATION -- 3. MAIN FEATURES OF KAM -- 4. CONSTRUCTION OF HIERARCHICAL MODELS USING KAM -- 5. CONCLUSIONS -- 6. REFERENCES -- Chapter 8. Acquisition of Application Specific Knowledge for Configuring Monitoring and Diagnosis Systems -- Abstract -- 1. Introduction -- 2. Data Structure of the Application Specific Knowledge Base (ASKB) -- 3. Software Structure of the IDP -- 4. Examples -- 5. Summary -- Acknowledgements -- References -- Part 3: Problem Solving Environments for Scientific Computing -- Chapter 9. Construction of Large-scale Simulation Codes using ALPAL: Generation of a Hydrodynamics Code Module -- Abstract -- 1. INTRODUCTION -- 2. ALPAL AND LARGE SIMULATION CODES -- 3. ALPAL'S INPUT STAGE -- 4. ALPAL OUTPUT AND SIMULATION RESULTS -- 5. CONCLUSIONS -- 7. REFERENCES -- 8. APPENDIX -- Chapter 10. The engineering of modern interfaces for PDE solvers -- Abstract -- 1. INTRODUCTION -- 2. SYSTEM ARCHITECTURE -- 3. PRINCIPAL TECHNICAL CHALLENGES -- 4. REFERENCES -- Chapter 11. Modeling tasks and methods in a knowledge-based PDE solver -- Abstract -- 1. INTRODUCTION -- 2. CLASS-BASED KNOWLEDGE MODELING -- 3. INSTANCE CLASSIFICATION AS A REASONING PROCESS -- 4. METHOD MODELING -- 5. TASK MODELING -- 6. CONCLUSION -- REFERENCES -- Chapter 12. Computational steering in a distributed computer based user interface system -- Abstract -- 1. INTRODUCTION -- 2. A USER VIEW OF SCENE -- 3. COMPUTATIONAL STEERING IN DIFFERENTIAL EQUATION SOLUTION -- 4. USER SPECIFIED FILTERS -- 5. CONCLUSIONS -- 6. REFERENCES -- 7. ACKNOWLEDGMENT. , Chapter 13. A Knowledge-based Modelling Environment for Numerical Simulation -- Abstract -- 1. INTRODUCTION -- 2. SOLUTION PERSPECTIVES FOR NUMERICAL SIMULATION -- 3. KNOWLEDGE REPRESENTATION -- 4. MODEL TRANSFORMATIONS -- 5. IMPLEMENTATION AND CURRENT STATUS -- 6. CONCLUSIONS -- Acknowledgements -- References -- Chapter 14. An Interactive Session with a Knowledge Based System for Mathematical Software Selection -- Abstract -- 1. INTRODUCTION -- 2. THE CONTROL ALGORITHM -- 3. AN INTERACTIVE SESSION WITH SAIVS -- 4. CONCLUSIONS -- 5. REFERENCES -- Chapter 15. XELLPACK: A Distributed Problem Solving Environment for Elliptic Partial Differential Equations -- Abstract -- 1. INTRODUCTION -- 2. XELLPACK -- 3. Distributed XELLPACK -- 4. Preliminary Performance Results -- 5. Conclusions -- 6. REFERENCES -- Chapter 16. A programming environment for distributed memory computers - application to scientific computing -- Abstract -- 1. INTRODUCTION -- 2. GENERAL PROGRAMMING FRAME -- 3. THE SIMULATION MODE AND ITS WORKING -- 4. CONCLUSION -- REFERENCES -- Part 4: Symbolic Computing -- Chapter 17. Algorithms of mixed symbolic-numeric type for rational approximation -- Abstract -- 1 Introduction -- 2 Recursive alogrithms -- 3 Some numerical demonstrations -- References -- Chapter 18. Nonlinear Control System Analysis and Design with Maple -- Abstract -- 1 INTRODUCTION -- 2 LOCAL OBSERVABILITY -- 3 LINEARIZING STATE-FEEDBACK -- 4 NONLINEAR OBSERVER -- 5 THE ZERO DYNAMICS -- 6 CONCLUSIONS -- Acknowledgements -- References -- Chapter 19. Some Applications of Maple to Mathematical, Scientific and Engineering Problems -- Abstract -- 1. INTRODUCTION -- 2. PURE MATHEMATICS - The First Case of Fermât's Last Theorem -- 3. QUANTUM THEORY -- 4. RELATIVITY -- 5. FLUID MECHANICS -- 6. AUDIO ENGINEERING -- 7. ASBESTOS FIBER ANALYSIS - (Fluid and Magneto-Dynamics). , 8· CONCLUSIONS -- ACKNOWLEDGEMENTS -- References -- Chapter 20. ELSA : Coupling numerical and symbolic simulation for avalanche path analysis -- Abstract -- 1. INTRODUCTION -- 2. AVALANCHE PATH ANALYSIS -- 3. FOUR PHENOMENA -- 4. INTEGRATION -- 5. CONCLUSION -- 6. ACKNOWLEDGEMENTS -- 7. REFERENCES -- Chapter 21. Resultant based code generation for the stability analysis of difference schemes with the aid of the REDUCE system -- Abstract -- 1. INTRODUCTION -- 2. REDUCTION OF THE VON NEUMANN STABILITY ANALYSIS TO THE ALGEBRA OF RESULTANTS -- 3. AUTOMATIC GENERATION OF FORTRAN SUBROUTINE -- 4. NUMERICAL COMPUTATION OF THE STABILITY REGION BOUNDARY -- 5. EXAMPLES OF PRACTICAL APPLICATION -- 6. CONCLUSION -- References -- Part 5: Computational Geometry -- Chapter 22. A Computational Geometric Approach to Motion Synthesis -- Abstract -- 1 INTRODUCTION -- 2 THE ORIENTED MAPPING -- 3 INTERPOLATING ROTATIONS -- 4 SPHERICAL KITE MOTION -- 5 DESIGN SYNTHESIS OF A KITE LINKAGE -- CONCLUSIONS -- Acknowledgement -- References -- Chapter 23. Geometry based representations for mechanical design: Creation of optimization shells -- Abstract -- 1 GEOMETRY BASED REPRESENTATIONS -- 2 THE DESIGN PROCESS -- 3 OPTIMIZATION SHELLS -- 4 REFERENCES -- Chapter 24. Scattered Data Fitting Using a Constrained Delaunay Triangulation -- Abstract -- 1. INTRODUCTION -- 2. GRADIENTS AND VALUES AT CONSTRAINT NODES -- 3. APPLICATIONS -- 4. REFERENCES -- Chapter 25. Three-Dimensional Boundary-Constrained Triangulations -- Abstract -- 1 Introduction -- 2 The case of at least one interior mesh vertex -- 3 The case of no interior mesh vertices -- 4 Experimental results -- 5 Acknowledgment -- References -- Chapter 26. Tetrahedral Mesh Generation by a Constrained Delaunay Triangulation -- Abstract -- 1. INTRODUCTION -- 2. CONSTRAINED DELAUNAY TRIANGULATION -- 3. ALGORITHM EFFICIENCY. , 4. POINT PLACEMENT -- 5. DEGENERACIES -- 6. RESULTS -- 7. ACKNOWLEDGMENT -- 8. REFERENCES -- Chapter 27. Automatic Delaunay/Dirichlet Unstructured Mesh Generation for the Solution of Partial Differential Equations -- Abstract -- 1. DELAUNAY/DIRICHLET TESSELLATIONS -- 2. BOUNDARY DEFINITION -- 3. INTERIOR POINT PLACEMENT -- 4. WEIGHT FUNCTIONS -- 5. MESH QUALITY -- References -- Part 6: Computational Vision -- Chapter 28. Invariance and Synthesis of Optimum Image Formation Measurement Computer Systems -- Abstract -- 1. INTRODUCTION -- 2. INVARIANT IMAGE REGISTRATION SYSTEMS -- 3. OPTIMUM MEASUREMENT COMPUTER SYSTEMS -- 4. EXAMPLES OF INVARIANT MEASUREMENT SYSTEMS -- 5, IMPLEMENTATION -- 6. CONCLUSIONS -- 7. REFERENCES -- Chapter 29. Intelligent Image Processing Systems -- Introduction -- 1. INTELLIGENT PERCEPTION -- 2. A MODEL FOR THE INTELLIGENT PERCEPTION -- 3. DATA COMBINATION -- 4. DECISION AND RESPONSE -- 5. A SYSTEM FOR INTELLIGENT PERCEPTION -- AKNOWLEDGMENT -- BIBLIOGRAPHY -- Chapter 30. The classification problem in the reduced pecstral space -- Abstract -- 1. INTRODUCTION -- 2. THE PECSTRAL SPACE -- 3. THE TRANSFORMATION PROCESS -- 4. EXPERIMENTAL PROCEDURE -- 5. CONCLUSIONS -- 6. REFERENCES -- CHAPTER 31. MODELING EXPERTISE IN PLANNING BIOMEDICAL IMAGE INTERPRETATION -- ABSTRACT -- 1. INTRODUCTION AND BACKGROUND -- 2. OBJECT-CENTERED PLANNING FOR RECOGNITION AND ANALYSIS -- 3. MODELING ANATOMICAL OBJECTS -- 4. GENERATINGA PLAN -- 5.CONCLUSIONS -- ACKNOWLEDGMENTS -- References -- Chapter 32. Categorizing Objects in the Environment: A Data Model and Organization for Vision -- Abstract -- 1. INTRODUCTION -- 2. SYSTEM ARCHITECTURE -- 3. DATA MODEL AND ORGANIZATION -- 4. CONCURRENCY -- 5. OBJECT RECOGNITION -- 6. CONCLUSIONS -- 7. REFERENCES -- Chapter 33. Parallel Methods for Recovering Surface Shape from Image Shading -- Abstract. , 1. INTRODUCTION.