Application of mathematical constraint resolution to decision support system

Feng-Tyan Lin, Jie Yong Juang, Der Tsai Lee

Research output: Contribution to journalConference article

Abstract

It is shown how a mathematical constraint resolution (MATHCORE) system can be used to design a better decision support system. MATHCORE not only has the flexibility of expressing mathematical equations within a logic programming paradigm in a natural way, but also has an ability to deal with systems of nonlinear equations, regression analysis, and optimization problems. While most existing constraint logic programming systems try to devise their own constraint solvers and are confined to systems of linear equations and simple nonlinear functions, the MATHCORE removes this limitation by directly taking advantage of well-developed numerical methods available in the mathematical libraries. With MATHCORE, complex decision optimization models can be embedded in a rule-based decision support system. Using this methodology, it is demonstrated that the interactions among various economic factors in a housing market can be stated in the program body, while various (optimization) goals of social welfare can be expressed as queries.

Original languageEnglish
Pages (from-to)685-692
Number of pages8
JournalProceedings - IEEE Computer Society's International Computer Software & Applications Conference
Publication statusPublished - 1989 Dec 1
EventProceedings of the Thirteenth Annual International Computer Software & Applications Conference - COMPSAC 89 - Orlando, FL, USA
Duration: 1989 Sep 201989 Sep 22

Fingerprint

Decision support systems
Logic programming
Linear equations
Nonlinear equations
Regression analysis
Numerical methods
Economics

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

Cite this

@article{6a5a1330c85041998a81a40f68b41855,
title = "Application of mathematical constraint resolution to decision support system",
abstract = "It is shown how a mathematical constraint resolution (MATHCORE) system can be used to design a better decision support system. MATHCORE not only has the flexibility of expressing mathematical equations within a logic programming paradigm in a natural way, but also has an ability to deal with systems of nonlinear equations, regression analysis, and optimization problems. While most existing constraint logic programming systems try to devise their own constraint solvers and are confined to systems of linear equations and simple nonlinear functions, the MATHCORE removes this limitation by directly taking advantage of well-developed numerical methods available in the mathematical libraries. With MATHCORE, complex decision optimization models can be embedded in a rule-based decision support system. Using this methodology, it is demonstrated that the interactions among various economic factors in a housing market can be stated in the program body, while various (optimization) goals of social welfare can be expressed as queries.",
author = "Feng-Tyan Lin and Juang, {Jie Yong} and Lee, {Der Tsai}",
year = "1989",
month = "12",
day = "1",
language = "English",
pages = "685--692",
journal = "Proceedings - IEEE Computer Society's International Computer Software and Applications Conference",
issn = "0730-6512",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

Application of mathematical constraint resolution to decision support system. / Lin, Feng-Tyan; Juang, Jie Yong; Lee, Der Tsai.

In: Proceedings - IEEE Computer Society's International Computer Software & Applications Conference, 01.12.1989, p. 685-692.

Research output: Contribution to journalConference article

TY - JOUR

T1 - Application of mathematical constraint resolution to decision support system

AU - Lin, Feng-Tyan

AU - Juang, Jie Yong

AU - Lee, Der Tsai

PY - 1989/12/1

Y1 - 1989/12/1

N2 - It is shown how a mathematical constraint resolution (MATHCORE) system can be used to design a better decision support system. MATHCORE not only has the flexibility of expressing mathematical equations within a logic programming paradigm in a natural way, but also has an ability to deal with systems of nonlinear equations, regression analysis, and optimization problems. While most existing constraint logic programming systems try to devise their own constraint solvers and are confined to systems of linear equations and simple nonlinear functions, the MATHCORE removes this limitation by directly taking advantage of well-developed numerical methods available in the mathematical libraries. With MATHCORE, complex decision optimization models can be embedded in a rule-based decision support system. Using this methodology, it is demonstrated that the interactions among various economic factors in a housing market can be stated in the program body, while various (optimization) goals of social welfare can be expressed as queries.

AB - It is shown how a mathematical constraint resolution (MATHCORE) system can be used to design a better decision support system. MATHCORE not only has the flexibility of expressing mathematical equations within a logic programming paradigm in a natural way, but also has an ability to deal with systems of nonlinear equations, regression analysis, and optimization problems. While most existing constraint logic programming systems try to devise their own constraint solvers and are confined to systems of linear equations and simple nonlinear functions, the MATHCORE removes this limitation by directly taking advantage of well-developed numerical methods available in the mathematical libraries. With MATHCORE, complex decision optimization models can be embedded in a rule-based decision support system. Using this methodology, it is demonstrated that the interactions among various economic factors in a housing market can be stated in the program body, while various (optimization) goals of social welfare can be expressed as queries.

UR - http://www.scopus.com/inward/record.url?scp=0024926498&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0024926498&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:0024926498

SP - 685

EP - 692

JO - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

JF - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

SN - 0730-6512

ER -