Skip to main content

Protocols for medical procedures and therapies: A provisional description of the PROforma language and tools

  • Protocols and Guidelines
  • Conference paper
  • First Online:
Book cover Artificial Intelligence in Medicine (AIME 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1211))

Included in the following conference series:

Abstract

PROforma is a language for describing the actions, information and decisions required in patient care. It is the basis of a method for defining best-practice guidelines, research protocols and other procedures in a form that can be enacted by a computer to help clinical professionals comply with preferred practice. Use of the method consists of outlining the clinical tasks required by the procedure, and specifying details using standard templates for each class of task. This paper presents a description of the PROforma language, and associated protocol development and enactment software, illustrated with examples. Our aim is to develop PROforma as a possible standard for representing clinical procedures; the present version (1.5) is presented as a basis for discussion and is subject to revision.

This work was carried out as part of the PROMPT project (PROtocols for medical Procedures and Therapies), project number HC1041 in the EU's Healthcare Telematics Programme and in association with the ACTION cluster of projects funded under this programme.

Many people have influenced the development of the concepts and software described here. We would particularly like to thank Subrata Das, David Elsdon, Claude Gierl, Paul Ferguson and Saki Hajnal who made important contributions in earlier projects.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ambler, S „ A categorical approach to the semantics of argumentation“ Mathematical Structures, 1996.

    Google Scholar 

  2. Das S K, Fox J, Krause P J „A unified framework for hypothetical and practical reasoning (1): Theoretical Foundations“ in D M Gabbay and H J Ohlbach, Practical Reasoning, Berlin: Springer 1996.

    Google Scholar 

  3. Fox J, Symbolic Decision Procedures for Knowledge Based Systems, in H Adeli (ed) Knowledge Engineering, volume 2, New York: McGraw Hill, 1990.

    Google Scholar 

  4. Fox J „On the soundness and safety of expert systems“ Artificial Intelligence in Medicine, 5, 159–179, 1993.

    Google Scholar 

  5. Fox J, Glowinski A J, O'Neil M „The Oxford System of Medicine“ Artificial Intelligence in Medicine, 1990.

    Google Scholar 

  6. Fox J, Barber D C and Bardhan KD „A quantitative comparison with rule-based diagnostic inference“ Meth. Inform. Med. 19, 210–215, 1980.

    Google Scholar 

  7. Fox J, Clark DA, Glowinski A J and O'Neil M „Using predicate logic to integrate qualitative reasoning and classical decision theory, IEEE Trans. Systems, Man and Cybernetics, 20(2), 347–357, 1990.

    Google Scholar 

  8. Fox J, Krause P J and Ambler S „Arguments, contradictions and practical reasoning“ in B Neumann (ed) Proc. 10 th Eur. Conf. On AI, 623–627, 1992.

    Google Scholar 

  9. Fox J and Das S K „A unified framework for hypothetical and practical reasoning (2): Lessons from medicine“ in D M Gabbay and H J Ohlbach, Practical Reasoning, Berlin: Springer 1996.

    Google Scholar 

  10. Hammond P, Harris A L, Das S K and Wyatt J „Safety and decision support in oncology“ Meth. Inform. Med., 33 (4), 371–381, 1994.

    Google Scholar 

  11. Heathfield H A and Wyatt J „Philosophies for the design and development of clinical decision support systems“ Meth. Inform. Med, 32, 1–8, 1993.

    Google Scholar 

  12. Hripzsak G, Clayton PD, Pryor TA, Haug P, Wigertz OB and Van der Lei J „The Arden Syntax for Medical Logic Modules“ in Proc 14 th Annual Symposium on Computer Applications in Medical Care, Washington: IEEE Press, 200–204, 1990.

    Google Scholar 

  13. Krause P, Ambler S, Elvang-Goransson M and Fox J „A logic of argumentation for reasoning under uncertainty“ Computational Intelligence, 11(1), 1995.

    Google Scholar 

  14. Musen M A, Tu S W, Das A K and Shahar Y ‘A component based architecture for automation of Protocol-Directed Therapy', in Barahona P, Stefanelli M and Wyatt J (eds) Proc. AIME95, Berlin: Springer, 1995.

    Google Scholar 

  15. O'Neil M and Glowinski A J „Evaluating and validating very large knowledge based systems“ Medical Informatics, 15 (3), 237–251, 1990.

    Google Scholar 

  16. Pradhan M, Henrion M, Provan G, Del Favero B, Huang K „The sensitivity of belief networks to imprecise probabilities: an experimental investigation“ Artificial Intelligence, 85, 363–397, 1996.

    Google Scholar 

  17. Sitter H, Prunte H, Lorenz „A new version of the Programme ALGO for clinical algorithms“ in J Brender et al (eds), Medical Informatics Europe, IOS Press, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Elpida Keravnou Catherine Garbay Robert Baud Jeremy Wyatt

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fox, J., Johns, N., Rahmanzadeh, A. (1997). Protocols for medical procedures and therapies: A provisional description of the PROforma language and tools. In: Keravnou, E., Garbay, C., Baud, R., Wyatt, J. (eds) Artificial Intelligence in Medicine. AIME 1997. Lecture Notes in Computer Science, vol 1211. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029433

Download citation

  • DOI: https://doi.org/10.1007/BFb0029433

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62709-8

  • Online ISBN: 978-3-540-68448-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics