Symbolic decision support in medical care

Symbolic decision procedures offer a flexible alternative to classical quantitative procedures for decision making, particularly when precise parameters (such as probabilities) are hard to estimate. One such procedure, based on a logic of argumentation, is described. Specifications of inference methods for such functions as proposing and refining decision options, deducing and inheriting arguments for and against options, and selecting among alternatives are presented. These exploit declarative models for patient data, domain and task knowledge. A simple method for translating the specifications into executable Prolog is described. A practical and efficient toolset for using the procedure in a wide range of clinical environments is being developed within the DILEMMA project of the European Commission's Advanced Informatics in Medicine research programme.