Artificial Intelligence, Expert Systems, and Symbolic Computing

by Houstis, E. N.; Rice, John R.

• ISBN13: 9780444897039
• ISBN10: 0444897038
• Format: Hardcover
• Copyright: 1992-11-01
• Publisher: Elsevier Science Ltd

Summary

This volume contains papers in the areas of artificial intelligence, expert systems, symbolic computing and applications to scientific computing. Together, they provide an excellent overview of the dynamic state of these closely related fields. They reveal a future where scientific computation will increasingly involve symbolic and artificial intelligence tools as these software systems become more sophisticated; also a future where systems of computational science and engineering will be problem solving environments created with components from numerical analysis, computational geometry, symbolic computing and artificial intelligence.

Table of Contents

Preface
Contributors
Modelling Physical Systems	p. 1
A Fuzzy Logic Based Technique for Fault Detection in Complex Engineering Systems	p. 13
The Event Calculus: A Logic-Based Computational Formalism for Reasoning About Change	p. 22
A Relation Between Isometries and the Relative Consistency Concept in Probabilistic Logic	p. 27
Dealing With Granularities Using Uniform Event Calculus	p. 37
A Knowledge-Based Simulation Server	p. 50
Knowledge Acquisition and Hierarchical Structures for Modelling and Simulation	p. 60
Acquisition of Application Specific Knowledge for Configuring Monitoring and Diagnosis Systems	p. 70
Construction of Large-Scale Simulation Codes Using ALPAL: Generation of a Hydrodynamics Code Module	p. 82
The Engineering of Modern Interfaces for PDE Solvers	p. 89
Modeling Tasks and Methods in a Knowledge-Based PDE Solver	p. 95
Computational Steering in a Distributed Computer Based User Interface System	p. 104
A Knowledge-Based Modelling Environment for Numerical Simulation	p. 114
An Interactive Session With a Knowledge Based System for Mathematical Software Selection	p. 123
XELLPACK: A Distributed Problem Solving Environment for Elliptic Partial Differential Equations	p. 130
A Programming Environment for Distributed Memory Computers - Application to Scientific Computing	p. 136
Algorithms of Mixed Symbolic-Numeric Type for Rational Approximation	p. 145
Nonlinear Control System Analysis and Design With Maple	p. 155
Some Applications of Maple to Mathematical, Scientific and Engineering Problems	p. 165
ELSA: Coupling Numerical and Symbolic Simulation for Avalanche Path Analysis	p. 177
Resultant Based Code Generation for the Stability Analysis of Difference Schemes With the Aid of the REDUCE System	p. 185
A Computational Geometric Approach to Motion Synthesis	p. 193
Geometry Based Representations for Mechanical Design: Creation of Optimaztion Shells	p. 203
Scattered Data Fitting Using a Constrained Delaunay Triangulation	p. 208
Three-Dimensional Boundary-Constrained Triangulations	p. 215
Tetrahedral Mesh Generation by a Constrained Delaunay Triangulation	p. 223
Automatic Delaunay/Dirichlet Unstructured Mesh Generation for the Solution of Partial Differential Equations	p. 235
Invariance and Synthesis of Optimum Image Formation Measurement Computer Systems	p. 243
Intelligent Image Processing Systems	p. 253
The Classification Problem in the Reduced Pecstral Space	p. 263
Modeling Expertise in Planning Biomedical Image Interpretation	p. 270
Categorizing Objects in the Environment: A Data Model and Organization for Vision	p. 278
Parallel Methods for Recovering Surface Shape From Image Shading	p. 288
Mathematical Foundations of Optimal Interpolative Neural Networks	p. 303
Modeling Concepts for Telecommunications Network Planning	p. 320
Mathematical Background of Self-Learning Pole Placement Via Non-Recursive Linear Models	p. 331
Automatic Generation of Natural Language Documentation for SLAM II Programs	p. 343
Computer-Aided Heuristic and Qualitative Reasoning in Fluid Mechanics	p. 351
A Global Reordering Algorithm in Dynamic Flowsheeting	p. 365
Using Artificial Intelligence Tools Computer-Based Instruction: Bridging the Gap Between Instructional Design Knowledge and Domain Knowledge	p. 375
On the Nonlinear Model for the Synaptic Basis of Neuronal Memory	p. 385
Application of "Pandore," an Expert System in Stochastic Control, to Portfolio Selection Problems	p. 389
EMSY - An Extended Modeling System - Using Object-Oriented Representation in Ecosystem Modeling	p. 399
ACONS: A System of Distributed Constraint Satisfaction for Configuration Tasks	p. 408
The EQUATOR Runtime System Architecture for Time Dependent Reasoning	p. 416
Development and Validation Tools for Temporal Information Processing Systems	p. 426
AMPL - A Mathematical Programming Language	p. 436
Numerical and Syntactic Tools for Diagnosis Purposes Provided With the TOPMUSS	p. 446
Author Index	p. 456
Table of Contents provided by Blackwell. All Rights Reserved.