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.)

Engineering, Expert systems, Simulation, Continuous Simulation, technical

---

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.

Marketing, Programming languages, Companies, Programming Language, Fifth Generation, Distributors, Distribution Agreements, Lisp Machines Inc.

---

Similar abstracts:

• 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

This website is not affiliated with document authors or copyright owners. This page is provided for informational purposes only. Unintentional errors are possible.