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 journalArticle

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 - Jan 1 1985

Keywords

  • Databases
  • Decision Support Systems
  • First-order Logic
  • Information Systems

ASJC Scopus subject areas

  • Management Information Systems
  • Information Systems
  • 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