On the use and internal structure of logic-based decision support systems

Michael C. Chen, Lawrence Joseph Henschen*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

13 Scopus citations

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 languageEnglish (US)
Pages (from-to)205-219
Number of pages15
JournalDecision Support Systems
Volume1
Issue number3
DOIs
StatePublished - 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

Fingerprint

Dive into the research topics of 'On the use and internal structure of logic-based decision support systems'. Together they form a unique fingerprint.

Cite this