Coupling Symbolic and Numerical Computing in Expert Systems, II: Papers from the Workshop on Coupling Symbolic and Numerical Computing in Expert Systems, Bellevue, Washington, U.S.A., 20-22 July, 1987Janusz S. Kowalik, Charles T. Kitzmiller Mathematics of Computing -- Numerical Analysis. |
Contents
Preface | 3 |
Solving Large Scale Interdependent ConstraintSatisfaction Problems | 15 |
F Frayman | 22 |
Copyright | |
15 other sections not shown
Other editions - View all
Common terms and phrases
algorithm analysis programs application approach architecture Artificial Intelligence behavior blackboard ce(i coefficients complex components Computing in Expert conceptual entities constraint satisfaction problem constraint violations coupled systems Coupling Symbolic data structures defined described determine domain Elsevier Science Publishers Engineous entities at level environment evaluation example expert system expression fault fget Figure finite difference FORTRAN Franz Lisp fundamental frequency goal harmonic set heuristic HTEX hypothesis implemented inference inference engine input integration interaction interface J.S. Kowalik knowledge base knowledge representation knowledge-based system lac repressor language layer Lisp MACSYMA mathematical Module Frames numeric methods numerical analysis Numerical Computing numerical stability object operation optimization output parameters peak perform primitives problem solving procedural Prolog protein structures Publishers B. V. North-Holland qualitative characterizations quantitative reasoning represented routines rule-based schema Science Publishers B. V. semantic slot solution specific subproblems symbolic and numeric task techniques temperature variables