Abstract
A general decision support system based on first-order logic with desirable characteristics (for example, being semistructured, supporting, descriptive, effective, and evolutionary) will be presented. The proposed system improves the existing frameworks of Sprague and Bonczek, Holsapple, and Whinston in terms of flexibility and efficiency. A tool called the connection graph is used as a basis for pre-compiling queries for efficient response as well as for modifying pre-compiled queries in response to assumption analyses (such as handling "what-if" questions). Techniques for modifying existing programs derived from the connection graph are described. The notion of determined variables is extended to include the case of process literals. The class of allowable formulas is extended to include condition literals, which may include existential quantifiers.
Original language | English (US) |
---|---|
Pages (from-to) | 205-219 |
Number of pages | 15 |
Journal | Decision Support Systems |
Volume | 1 |
Issue number | 3 |
DOIs | |
State | Published - Sep 1985 |
Funding
We would like to acknowledget he financial support from the National Science Foundation under grant number: MCS-8306637( 1983-1984). Early investigationo f this researchw as done while the first author was with Honeywell Corporate ComputerS ciencesC enters( summer1 983).
Keywords
- Databases
- Decision Support Systems
- First-order Logic
- Information Systems
ASJC Scopus subject areas
- Management Information Systems
- Information Systems
- Developmental and Educational Psychology
- Arts and Humanities (miscellaneous)
- Information Systems and Management