A Prolog-based expert system for modeling with partial differential equations
Article Abstract:
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 meta-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 judgement about suitable algorithms for stable numerical solutions. The symbolic equations, along with boundary and initial conditions, are represented 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. (Reprinted with permission of the publisher.)
Publication Name: SIMULATION
Subject: Engineering and manufacturing industries
ISSN: 0037-5497
Year: 1987
User Contributions:
Comment about this article or add new information about this topic:
LMI Offers LM-PROLOG--An Advanced Fifth-Generation Programming Language
Article Abstract:
LISP Machines will be the sole distributor of LM- PROLOG, a version of the logic programming language, PROLOG. LM-PROLOG runs on LISP Machines' LISP computers and is used in intelligent databases, natural language interfaces, and expert systems technology. LM-PROLOG is priced at $1500 for educational institutions and $18,000 for commercial customers.
Publication Name: SIMULATION
Subject: Engineering and manufacturing industries
ISSN: 0037-5497
Year: 1984
User Contributions:
Comment about this article or add new information about this topic:
- Abstracts: A prototype knowledge-based simulation support system. Visual interactive fitting of bounded Johnson distributions
- Abstracts: An expert simulator for allocating the quality assurance effort in software development. A rule-based simulator for modeling Just-in-Time manufacturing systems (JITSAI)
- Abstracts: An integrated framework for knowledge-based modeling and simulation of natural systems. PKDEMO - a pharmacokinetic demonstration simulation program
- Abstracts: Analog is not dead. How to automate analog IC designs. Designing analog systems: concept to components
- Abstracts: Cache memory design: an evolving art. PC Jr.: misreading the market. Matrix printer: no pulleys, belts, or screws