Effort and demand logic in medical decision making

G. William Moore, Grover M. Hutchins

    Research output: Contribution to journalArticlepeer-review


    Medical decisions, including diagnosis, prognosis, and disease classification, must often be made on the basis of incomplete or unsatisfactory information. Data which are essential to the care of one patient may be unobtainable for technical or ethical reasons in another patient. For this reason the principles of controlled experimentation may be impossible to satisfy in human studies. In this paper, some formal aspects of medical decision making are discussed. Special operators for the intuitive concepts of 'certainty', 'demand', and 'effort', akin to the operators of modal logic, are used to accommodate the technical and ethical limitations on human studies. Theorems are stated and proved which show how this system handles incomplete information. The embryogenesis of the human heart is presented as a sample problem in classification.

    Original languageEnglish (US)
    Pages (from-to)277-303
    Number of pages27
    Issue number3
    StatePublished - Oct 1980


    • Computer diagnosis
    • Congenital heart disease
    • Embryogenesis
    • Medical decision making
    • Modal logic
    • Sutton's Law
    • Symbolic logic

    ASJC Scopus subject areas

    • Social Sciences (miscellaneous)
    • Public Health, Environmental and Occupational Health


    Dive into the research topics of 'Effort and demand logic in medical decision making'. Together they form a unique fingerprint.

    Cite this