Decision support and disease management: a logic engineering approach

IEEE Transactions on Information Technology in Biomedicine

Volumn 2, Issue 4, 1998, Pages 217-228

  Fox, John ^a   Thomson, Richard ^a  

^a IMPERIAL CANCER RESEARCH FUND   (United Kingdom)

Author keywords

Decision support systems; Knowledge engineering; Knowledge representation languages; Logic programming; Medical guidelines

Indexed keywords

DECISION SUPPORT SYSTEMS; DISEASES; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; MEDICAL COMPUTING;

DISEASE MANAGEMENT; MEDICAL GUIDELINES;

COMPUTER AIDED DIAGNOSIS;

ARTICLE; DECISION SUPPORT SYSTEM; DISEASE MANAGEMENT; ECONOMICS; EUROPEAN UNION; EVALUATION; FINANCIAL MANAGEMENT; MEDICAL INFORMATICS;

DECISION SUPPORT SYSTEMS, CLINICAL; DISEASE MANAGEMENT; EUROPEAN UNION; EVALUATION STUDIES; FINANCING, GOVERNMENT; MEDICAL INFORMATICS;

EID: 0032216439     PISSN: 10897771     EISSN: None     Source Type: Journal    
DOI: 10.1109/4233.737577     Document Type: Article

References (45)

1. M. Johnstone, K. B. Langton, B. Haynes, and A. Matheu, "Effects of computer-based clinical decision support systems on clinician performance and patient outcome. A critical appraisal of research," Ann. Internal Med.. vol. 120, pp. 135-142, 1994.
2. R. S. Evans et al., "A computer-assisted management program for antibiotics and other anti-infective agents," New England J. Med., vol. 338, no. 4, Jan. 22, 1998.
3. G. Hripcsak, P. Ludemann, T. A. Pruor, O. B. Wigertz, and P. B. Clayton, "Rationale for the Arden Syntax," Comput. Biomed. Res., vol. 27, pp. 291-324, 1994.
4. http://dsg.harvard.edu/public/intermed/glif_overview.html: "Introduction to the InterMed common guideline model and guideline interchange format (GLIF)."
5. M. A. Musen, S. W. Tu, A. K. Das, and Y. Shahar, "A component based architecture for automation of Protocol-directed therapy," in Proc. 5th Conf. Artificial Intell. Europe. Berlin, Germany: Springer, 1995.
6. J. Fox, N. Johns, and C. Lyons etal., "PRO/orma: A general technology for clinical decision support systems," Comput. Methods Programs Biomed., vol. 54, pp. 59-67, 1998.
7. F. T. De Dombal, "Computer-assisted diagnosis of abdominal pain," in Adv. Med. Comput., Proc. 3rd Int. Symp. Comput. Med., J. Rose and J. H. Mitchell, Eds. 1975.
8. I. N. Purves, "PRODIGY: Implementing clinical guidance using computers, editorial," British J. General Practice, to be published.
9. M. van Wijk, M. Mosseveldt, and J. van der Lei, "The impact of guideline-based decision support on general practitioners' test ordering: A randomized control trial," in Proc. EPRIMP, Int. Working Conf. Electron. Patient Records Med. Practice, Rotterdam, Oct. 8-10, 1998.
10. J. Spivey, The Z Notation. A Reference Manual. London, U.K.: Prentice-Hall, 1988.
11. C. B. Jones, Systematic Software Development using VDM. London, U.K.: Prentice-Hall, 1986.
12. F. van Harmelen and J. R. Balder, "(ML)2 : A formal language for KADS models of expertise," Knowl. Acquisition, vol. 4 no. 1, pp. 127-161, 1992.
13. F. M. T. Brazier, B. Dunin Repliez, N. Jennings, and J. Treur, "DESIRE: Modeling multi-agent systems in a compositional formal framework," Int. J. Cooperative Inf. Syst., vol. 6, pp. 67-94, 1997.
14. F. Redmill and T. Anderson, Safety-Critical Systems. London, U.K.: Chapman & Hall, 1993.
15. J. Fox, "On the soundness and safety of expert systems," Artif. Intell. Med., vol. 5, pp. 159-179, 1993.
16. D. Robertson and P. J. Krause, Knowl. Eng. Rev., vol. 12, no. 3, Sept. 1997.
17. P. Hammond, A. L. Harris, S. K. Das, and J. Wyatt, "Safety and decision support in oncology," Methods Inf. Med., vol. 33, pp. 371-381, Apr. 1994.
18. P. Krause, J. Fox, M. O'Neil, and A. Glowinski, "Can we formally specify a medical decision support system," IEEE Expert Mag., pp. 56-61, June 1993.
19. J. Fox and S. Das, "Artificial intelligence in hazardous applications," submitted for publication.
20. J. Fox and A. Rector, HYPERLINK mailto:A@Expert "Expert systems for primary medical care," Automedica, vol. 4, pp. 123-130, 1984.
21. J. Fox, A. Glowinski, C. Gordon, S. Hajnal, and M. O'Neil, "Logic engineering for knowledge engineering: Design and implementation of the Oxford system of medicine," Artif. Intell. Med., vol. 2, pp. 323-339, Dec 1990.
22. J. Fox, D. A. Clark, A. J. Glowinski, and M. J. O'Neil, "Using predicate logic to integrate qualitative reasoning and classical decision theory," IEEE Trans. Syst., Man, Cybern., vol. 20, pp. 347-357, Mar. 1990.
23. P. Barahona, "A causal-functional model for medical knowledge representation," in E. Keravnou, Ed., Deep Models for Medical Knowledge Engineering. New York: Elsevier, 1992.
24. P. Lagouarde, R. Thomson, and J. L. Renaud-Salis et al, "The PROMPT electronic health care record," in Medical Informatics Europe '96, J. Brender et al., Eds. Amsterdam, The Netherlands: IOS, pp. 1055-1059.
25. R. Thomson, "DILEMMA: Decision support in primary care, oncology and shared care," in Health in the New Communications Age, M. F. Laires et ai, Eds. Amsterdam, The Netherlands: IOS, 1995.
26. P. Barahona, "A causal and temporal reasoning model and its use in drug therapy applications," Artif. Intell. Med., vol. 6, no. 1, pp. 1-27, 1994.
27. J. Huang, N. R. Jennings, and J. Fox, "An agent-based approach to healthcare management," Int. J. Appl. Artif. Intell., vol. 9, no. 4, 1995.
28. P. Taylor, "Computer aids for decision making in diagnostic radiology ± a literature review," Br. J. Radial, vol 68, pp. 945-957, Sept. 1995.
29. P. Taylor, J. Fox, and A. Todd-Pokropek, "A model for integrating image processing into decision aids for diagnostic radiology," Artif. Intell. Med., vol. 9, pp. 205-225, 1997.
30. T. Finin et al., "Specification of the KQML agent-communication language," DARPA Knowledge Sharing Initiative, External Interfaces Working Group Working Paper, July 1993.
31. J. Wyatt and D. Spiegelhalter, Eds., Special Issue Med. Inform. Validation Testing Med. Decision Aids, vol. 15, no. 3, Sept. 1990.
32. M. O'Neil and A. Glowinski, "Evaluating and validating very large knowledge-based systems," Med. Inform., vol. 15, no. 3, pp. 237-251, Sept. 1990.
33. J. Fox, D. Barber, and K. D. Bardhan, "Alternatives to Bayes? A quantitative comparison with rule-based diagnostic inference," Methods Inform. Med., vol. 19, no. 4, pp. 210-215, Oct. 1980.
34. T. Chard, "Qualitative probability versus quantitative probability in clinical diagnosis: A study using a computer simulation," Med. Decision Making, vol. 11, pp. 38-11, 1991.
35. M. Pradhan et al., "The sensitivity of belief networks to imprecise probabilities: An experimental investigation," Artif. Intell., vol. 85, pp. 365-397, 1996.
36. R. Wallon et al., "Evaluation of computer support for prescribing (CAPSULE) using simulated cases," Br. Med. J., vol. 317, Sept. 27, 1997.
37. P. Taylor, J. Fox, and A. Todd-Pokropek, "Evaluation of a decision aid for the classification of microcalcifications," in Proc. 4th Int. Workshop Digital Mamm. New York: Elsevier, 1998.
38. _, "The development and evaluation of CADMIUM: A prototype system to assist in the interpretation of mammograms," Med. Image Anal., to be published.
39. S. K. Das, J. Fox, D. Elsdon, and P. Hammond, "A flexible architecture for autonomous agents," J. Experimental Theoretical Artif. Intell., vol. 9, pp. 407-440, 1997.
40. J. Fox, P. Krause, and S. Ambler, "Arguments, contradictions and practical reasoning," in ECAI '92, Proc. 10th Eur. Conf. AI, B. Neumann, Ed. pp. 623-627.
41. J. Fox and S. Parsons, "Arguing about beliefs and actions," in Applications of Uncertainty Formalisms, A. Hunter and S. Parsons, Eds. Berlin, Germany: Springer-Verlag, 1998.
42. D. Gabbay, "Labeled deductive systems." Oxford, U.K.: Oxford Univ. Press, 1996.
43. P. Krause., S. Ambler, M. Elvang-Goransson, and J. Fox, "A logic of argumentation for reasoning under uncertainty," in Computat. Intell, vol. 11, no. 1, pp. 113-131, 1995.
44. http://www.infermed.com.
45. J. Fox, N. Johns, and A. Rahmanzadeh, "Disseminating medical knowledge: The PROforma approach," Artif. Intell. Med., vol. 14, pp. 157-181, 1998.