Knowledge-based algorithm construction for real-world engineering PDEs

Work to develop a robust knowledge-base for the automated construction of numerical algorithms is described. The approach adopted is one of synthesis of an algorithm from a library of pre-formed sub-components. The target domain for the system is Finite Element Analysis of incompressible fluid dynamics and heat transfer. The knowledge being used is described and illustrated with numerous examples. A conceptual knowledge representation and inferencing control mechanism employing the blackboard paradigm with autonomous knowledge agents and implemented via a frame-based approach is proposed.