IDEAS home Printed from https://ideas.repec.org/a/inm/oropre/v29y1981i2p263-281.html
   My bibliography  Save this article

A Generalized Decision Support System Using Predicate Calculus and Network Data Base Management

Author

Listed:
  • Robert H. Bonczek

    (Purdue University, West Lafayette, Indiana)

  • Clyde W. Holsapple

    (University of Illinois, Urbana, Illinois)

  • Andrew B. Whinston

    (Purdue University, West Lafayette, Indiana)

Abstract

In view of the growing prominence of corporate modeling, an important area of research concerns techniques for facilitating the design and utilization of models. In this paper we show how first-order predicate calculus can be used as a language for formally stating modeling knowledge. Furthermore, knowledge stated in this manner can be subjected to the resolution principle. The result is that application specific modeling knowledge need not be embedded in a computer program. Rather, it can be stored in a data base and utilized as needed by a problem processing system employing resolution techniques. Advantages of a decision support system taking an approach of this sort are considerable modeling flexibility, capacity for automating the model formulation and execution processes, and compatibility with a high-level user interface language.

Suggested Citation

  • Robert H. Bonczek & Clyde W. Holsapple & Andrew B. Whinston, 1981. "A Generalized Decision Support System Using Predicate Calculus and Network Data Base Management," Operations Research, INFORMS, vol. 29(2), pages 263-281, April.
    • Handle: RePEc:inm:oropre:v:29:y:1981:i:2:p:263-281
    DOI: 10.1287/opre.29.2.263
    as

    Download full text from publisher

    File URL: http://dx.doi.org/10.1287/opre.29.2.263
    Download Restriction: no
    File URL: https://libkey.io/10.1287/opre.29.2.263?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Xingyu Xiao & Jingang Liang & Jiejuan Tong & Haitao Wang, 2024. "Emergency Decision Support Techniques for Nuclear Power Plants: Current State, Challenges, and Future Trends," Energies, MDPI, vol. 17(10), pages 1-35, May.
    2. Eom, Sean B., 1998. "Relationships between the decision support system subspecialities and reference disciplines: An empirical investigation," European Journal of Operational Research, Elsevier, vol. 104(1), pages 31-45, January.

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:inm:oropre:v:29:y:1981:i:2:p:263-281. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Chris Asher (email available below). General contact details of provider: https://edirc.repec.org/data/inforea.html .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.