Coupling Symbolic and Numerical Computing in Expert Systems: Papers from the Workshop on Coupling Symbolic and Numerical Computing in Expert Systems, Bellevue, Washington, 27-29 August 1985, Volume 1Janusz S. Kowalik |
Contents
Preface | 3 |
Reasoning About Assumptions Underlying Mathematical Models | 21 |
On Combining Expert System and Qualitative Reasoning Techniques | 37 |
Copyright | |
21 other sections not shown
Other editions - View all
Common terms and phrases
agents alloy analysis ANLYZ application approach architecture Artificial Intelligence assumptions automated behavior cluster complex components constraints coupled systems Coupling Symbolic data structures database decision defined dependent described determine developed domain environment equations evaluation example expert system FDEX feature vector Figure FORTRAN FRANZ LISP function goal gust front heuristic highest CFV hypotheses implemented induction inference engine input integration interactive interface interpretation J.S. Kowalik editor KAOS knowledge base knowledge representation knowledge sources knowledge-based system language LISP Lisp machine MACLISP MACSYMA mathematical modeling microburst modules MYCIN nodes numerical algorithms Numerical Computing numerical processes object operations OPS5 output parameters performance phase physical possible procedure properties prototype qualitative reasoning radar redesign relationships represented routines rule-based rules sensor shear simulation model solution specific symbolic and numerical task techniques utility values variables velocity wind shear