Claude Gomez, J. Quadrat, Agnès Sulem, G. Blankenship, P. Kumar, Anthony LaVigna, D. MacEnany, K. Paul, I. Yan
{"title":"An expert system for control and signal processing with automatic Fortran code generation","authors":"Claude Gomez, J. Quadrat, Agnès Sulem, G. Blankenship, P. Kumar, Anthony LaVigna, D. MacEnany, K. Paul, I. Yan","doi":"10.1109/CDC.1984.272104","DOIUrl":null,"url":null,"abstract":"A prototype expert system for the treatment of stochastic control and nonlinear filtering problems is described with several illustrative examples. The system is written in MACSYMA and Lisp. It accepts user input in natural language or symbolic form; it carries out the basic analysis of the user's problem in symbolic form; and it produces FORTRAN code for the numerical reduction of the problem. The system has a module using PROLOG to check the well-posedness of linear and nonlinear partial differential equations specified in symbolic form. Sample sessions with the system are presented to illustrate its operation.","PeriodicalId":269680,"journal":{"name":"The 23rd IEEE Conference on Decision and Control","volume":"22 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1984-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"The 23rd IEEE Conference on Decision and Control","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CDC.1984.272104","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 7
Abstract
A prototype expert system for the treatment of stochastic control and nonlinear filtering problems is described with several illustrative examples. The system is written in MACSYMA and Lisp. It accepts user input in natural language or symbolic form; it carries out the basic analysis of the user's problem in symbolic form; and it produces FORTRAN code for the numerical reduction of the problem. The system has a module using PROLOG to check the well-posedness of linear and nonlinear partial differential equations specified in symbolic form. Sample sessions with the system are presented to illustrate its operation.