Logic Programming as a Paradigm for Financial Modeling

Logic programming is investigated as a vehicle for structuring and implementing decision support systems, with particular attention paid to those dealing with financial modeling. This approach to model building, analyzing, and interfacing is compared to currently popular paradigms such as spreadsheet systems and financial modeling languages. The logic programming approach is shown to subsume these in expressive power and permit the incorporation of important capabilities not currently available. Examples operationalizing some of the concepts using the logic programming language Prolog are given.

[1]  Efraim Turban,et al.  Decision Support and Expert Systems: Managerial Perspectives , 1990 .

[2]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[3]  Barry Fagin.  Issues in Caching Prolog Goals , 1984 .

[4]  Christopher John Hogger,et al.  Introduction to logic programming , 1986, A.P.I.C. Studies in data processing.

[5]  Man Ieee Systems.  Proceedings of the 1984 International Conference on Cybernetics and Society,October 10, 11, & 12 1984, Chateau Halifax, Halifax, Nova Scotia, Canada , 1984 .

[6]  Keith L. Clark,et al.  Micro-Prolog - programming in logic , 1984, Prentice Hall international series in computer science.

[7]  Neil C. Rowe.  Artificial intelligence through Prolog , 1988 .

[8]  Peter Van Roy.  A Prolog Compiler for the PLM , 1984 .

[9]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[10]  Ronald M. Lee,et al.  Information System Semantics (A Logic-Based Approach) , 1984, J. Manag. Inf. Syst..

[11]  Péter Szeredi,et al.  The Application of Prolog to the Development of QA and DBM Systems , 1977, Logic and Data Bases.

[12]  J. C. Higgins,et al.  The Microcomputer as a Tool in Financial Planning and Control: Some Survey Results , 1984 .

[13]  Matthias Jarke,et al.  Coupling Expert Systems with Database Management Systems , 1983 .

[14]  Frederick Hayes-Roth,et al.  Building expert systems , 1983, Advanced book program.

[15]  Ronald M. Lee,et al.  Database inferencing for decision support , 1985, Decis. Support Syst..

[16]  Roger Hui,et al.  Design: a financial modelling system , 1985, APL '85.

[17]  Andrew B. Whinston,et al.  Developments in Decision Support Systems , 1984, Adv. Comput..

[18]  Ralph H. Sprague,et al.  Building Effective Decision Support Systems , 1982 .

[19]  Joseph A. Goguen,et al.  Reasoning and Natural Explanation , 1983, Int. J. Man Mach. Stud..

[20]  T. Naylor,et al.  A Survey of Users of Corporate Planning Models , 1976 .

[21]  Andrew B. Whinston,et al.  Foundations of Decision Support Systems , 1981 .

[22]  Michael D. Poe,et al.  A KWIC (Key Word in Context) Bibliography on Prolog and Logic Programming , 1984, J. Log. Program..

[23]  Leon Sterling,et al.  Logical Levels of Problem Solving , 1984, J. Log. Program..

[24]  Alain Colmerauer,et al.  Opening the Prolog III universe , 1987 .

[25]  K. J. Fordyce.  Looking at worksheet modeling through expert system eyes , 1987 .

[26]  Marinus J. Bouwman.  Human Diagnostic Reasoning by Computer: An Illustration from Financial Analysis , 1983 .

[27]  L Kerschberg,et al.  FINEX—an expert support system for financial analysis , 1987 .

[28]  William J. Clancey,et al.  Strategic Explanations for a Diagnostic Consultation System , 1983, Int. J. Man Mach. Stud..

[29]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[30]  B. Chandrasekaran,et al.  Fuzzy knowledge in rule-based systems , 1987 .

[31]  Alison L. Kidd,et al.  Man-Machine Interface Issues in the Construction and Use of an Expert System , 1985, Int. J. Man Mach. Stud..

[32]  Ben P. Wise,et al.  Self-Explanatory Financial Planning Models , 1984, AAAI.

[33]  Helder Coelho.  PROLOG: A programming tool for logical domain modeling , 1983 .

[34]  Donald A. Waterman,et al.  A Guide to Expert Systems , 1986 .

[35]  Constantin Halatsis,et al.  A RISC prolog machine architecture , 1987, Microprocess. Microprogramming.