A Prolog-based expert system for modeling with partial differential equations

Journal Article · Thu Oct 01 00:00:00 EDT 1987 · Simulation; (United States)

DOI:https://doi.org/10.1177/003754978704900404· OSTI ID:5495664

Russo, M F; Peskin, R L; Kowalski, A D

Initial results are presented from a project to develop intelligent expert system tools for the construction and execution of complex mathematical models which employ partial differential equations. This paper reports on that portion of the system, the expert system front end, which is concerned with the representation and execution of metal-level knowledge about the model building process itself. The current problem domain is restricted to models involving linear as well as a limited class of nonlinear partial differential equations of up to second order. The system is capable of examining the user's input model for inconsistencies as well as making judgments about suitable algorithms for stable numerical solutions. The symbolic equations, along with boundary and initial conditions, are presented in the form of Prolog clauses. The input model is analyzed by the expert system for equation type as well as appropriate boundary and initial conditions. Discrete approximation of equation terms is performed symbolically and the results are then expanded and simplified into an efficiently computable form. Prolog clauses from the discrete approximation phase are then automatically combined with an appropriate solution stepping scheme to arrive at a fully executable algorithm for numerical solution. The algorithm may then be executed serially for testing or further processed into a form suitable for passing to a separate high-speed processor.

• Research Organization: Dept. of Chemical and Biochemical Engineering, and CAIP Center, Rutgers Univ., Piscataway, NJ 08854
• OSTI ID: 5495664
• Journal Information: Simulation; (United States), Vol. 49:4
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
EXPERT SYSTEMS
PARTIAL DIFFERENTIAL EQUATIONS
COMPUTERIZED SIMULATION
ALGORITHMS
ARTIFICIAL INTELLIGENCE
EFFICIENCY
NUMERICAL SOLUTION
PROLOG
DIFFERENTIAL EQUATIONS
EQUATIONS
MATHEMATICAL LOGIC
PROGRAMMING LANGUAGES
SIMULATION
990230* - Mathematics & Mathematical Models- (1987-1989)
990210 - Supercomputers- (1987-1989)