An expert system for matrix analysis (ExMat)

摘要

A rule-based expert system (ExMat) for analyzing matrices and systems of linear equation is presented. ExMat allow the user to enter a coefficient matrix and the right-hand side vector of the system. Based on rules derived from the subject area of matrix theory and matrix numerical analysis, ExMat provides an expert analysis of the system. The analysis includes solvability of the systems, and the calculations of the proper inverse and solution of the system. The procedural knowledge of ExMat consists of a list of action rules determining the needed numerical procedure. The inference engine will consult the rule-based knowledge, the procedural knowledge, and then take the specified action. ExMat provides a significant improvement over standard numerical libraries in the sense that it uses its built-in analysis to select the appropriate numerical method.