{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T13:32:37Z","timestamp":1777901557095,"version":"3.51.4"},"reference-count":12,"publisher":"SAGE Publications","issue":"4","license":[{"start":{"date-parts":[[1987,10,1]],"date-time":"1987-10-01T00:00:00Z","timestamp":560044800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[1987,10]]},"abstract":"<jats:p>Initial results are presented from a project to develop intelligent expert system tools for the construction and execution of com plex 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 represen tation 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 inconsisten cies as well as making judgments 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 perform ed 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.<\/jats:p>","DOI":"10.1177\/003754978704900404","type":"journal-article","created":{"date-parts":[[2008,3,29]],"date-time":"2008-03-29T13:23:43Z","timestamp":1206797023000},"page":"150-155","source":"Crossref","is-referenced-by-count":11,"title":["A Prolog-based expert system for modeling with partial differential equations"],"prefix":"10.1177","volume":"49","author":[{"given":"Mark F.","family":"Russo","sequence":"first","affiliation":[{"name":"Department of Chemical and Biochemical Engineering and CAIP Center Rutgers University Piscataway, New Jersey 08854"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard L.","family":"Peskin","sequence":"additional","affiliation":[{"name":"Department of Mechanical and Aerospace Engineering and CAIP Center Rutgers University Piscataway, New Jersey 08854"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. Daniel","family":"Kowalski","sequence":"additional","affiliation":[{"name":"Programming Logic Systems 31 Crescent Drive Milford, Connecticut 06460"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[1987,10,1]]},"reference":[{"key":"atypb1","volume-title":"Proceedings of the Seventh International Joint Conference on Artificial Intelligence","author":"Borning, A."},{"key":"atypb2","volume-title":"In 5th Conference on Automated Deduction","author":"Bundy, A."},{"key":"atypb3","volume-title":"Applied Numerical Methods","author":"Carnahan, B.","year":"1969"},{"key":"atypb4","volume-title":"PARLOG: Parallel Programming in Logic.\" Research Report DOC 84\/4","author":"Clark, K.L.","year":"1984"},{"key":"atypb5","volume-title":"Object Oriented Programming, An Evolutionary Approach","author":"Cox, B.J.","year":"1986"},{"key":"atypb6","volume-title":"Objective C Reference Manual (Version 3.1)","author":"Cox, B.J.","year":"1984"},{"key":"atypb7","volume-title":"APES: A User Manual.\" Research Report DOC 82\/9","author":"Hammond, P.","year":"1982"},{"key":"atypb8","unstructured":"Kowalski, R.A. 1982. \"Logic as a Computer Language:' In Logic Programming. (K. L. Clark and S.A. Tarnlund, eds.) Academic Press: 3-16."},{"key":"atypb9","volume-title":"The Extension of Object-Oriented Languages to a Homogeneous, Concurrent Architecture","author":"Lang, C.R.","year":"1982"},{"key":"atypb10","doi-asserted-by":"crossref","unstructured":"Lee, N.S. 1986. \"Programming with P-Shell:' IEEE Expert. IEEE Computer Society (Summer), Yorktown Heights, N.Y. , 50-63.","DOI":"10.1109\/MEX.1986.4306954"},{"key":"atypb11","volume-title":"IFIP WG 2.5 Working Conference 4: Problem solving Environments for Scientific Computing","author":"Lusk, E.L."},{"key":"atypb12","volume-title":"The Finite Difference Method in Partial Differential Equations","author":"Mitchell, A.R.","year":"1980"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/003754978704900404","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/003754978704900404","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:04:37Z","timestamp":1777633477000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/003754978704900404"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,10]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1987,10]]}},"alternative-id":["10.1177\/003754978704900404"],"URL":"https:\/\/doi.org\/10.1177\/003754978704900404","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"value":"0037-5497","type":"print"},{"value":"1741-3133","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,10]]}}}