An Expert System for Control and Signal Processing with Automatic Fortran Program Generation
University of Maryland College Park United States
Pagination or Media Count:
A prototype expert system for the treatment of stochastic control and nonlinear signal processing problems is described with several illustrative examples. The system is written in MACSYMA, LISP, and PROLOG. It accepts user input in natural language or symbolic form it carries out the basic analysis of the users problem in symbolic form e.g., computing the Bellman dynamic programming equation for stochastic control problems or the Zakai equation and the estimation Lie algebra or likelihood ratio for nonlinear filtering problems and it produces output in the form of automatically generated FORTRAN code for the final numerical reduction of the problem. The system also has a module using PROLOG which can check the well-posedness existence and uniqueness of certain classes of linear and nonlinear partial differential equations specified in symbolic form by computing a natural Sobolev space for the solutions and verifying classical existence and uniqueness criteria for the given equation using MACSYMA for the computations and PROLOG for the logical analysis. Sample sessions with three of the modules of the system are presented to illustrate its operation. The status of the system and plans for its further development are described.
- Computer Programming and Software