Formalisation for decision support in anaesthesiology

Artificial Intelligence in Medicine

Volumn 11, Issue 3, 1997, Pages 189-214

  Renardel de Lavalette, Gerard R ^a   Groenboom, Rix ^a   Rotterdam, Ernest ^b   Van Harmelen, Frank ^c   Ten Teije, Annette ^c   De Geus, Fred ^d  

^a UNIVERSITY OF GRONINGEN   (Netherlands)

^b Syllogic ^*  (Netherlands)

^c VU UNIVERSITY AMSTERDAM   (Netherlands)

^d UNIVERSITY MEDICAL CENTER GRONINGEN   (Netherlands)

Author keywords

Anaesthesiology; Data abstraction; Diagnostic reasoning; Formalisation of knowledge

Indexed keywords

ANESTHESIOLOGY; ARTICLE; ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAM; DATA BASE; DIAGNOSIS; ENGINEERING; INFORMATION PROCESSING; INFORMATION SYSTEM; MEDICAL DOCUMENTATION; PRIORITY JOURNAL; TECHNIQUE;

ANESTHESIOLOGY; ARTIFICIAL INTELLIGENCE; BODY SURFACE AREA; BODY TEMPERATURE; DECISION SUPPORT TECHNIQUES; HEMATOCRIT; HUMANS; MODELS, THEORETICAL;

ARTIFICIAL INTELLIGENCE; COMPUTER AIDED DIAGNOSIS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA STRUCTURES; DECISION SUPPORT SYSTEMS; FORMAL LANGUAGES; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; REAL TIME SYSTEMS;

DIAGNOSTIC REASONING;

ANESTHESIOLOGY;

EID: 0342617530     PISSN: 09333657     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0933-3657(97)00031-6     Document Type: Article

References (26)

1. P. Barahona, A causal and temporal reasoning model and its use in drug therapy applications, Artif. Intell. Med. 6 (1994) 1-27.
2. N. Chomsky, Minimalist Program, MIT Press, 1995.
3. L. Console, P. Torasso, A spectrum of logical definitions of model-based diagnosis, Computational Intell. 7 (1991) 133-141.
4. L.M.G. Feijs, H.B.M. Jonkers, Formal Specification and Design, Vol. 35, of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1992.
5. D. Fensel, The Knowledge Acquisition and Representation Language KARL, Kluwer Academic Publisher, Boston, 1995.
6. D. Fensel, R. Groenboom. MLPM: defining a semantics and axiomatization for specifying the reasoning process of knowledge-based sytems, in: W. Wahlster (Ed.), Proc. 12th European Conf. Artif. Intell. ECAI 96, Budapest, 1996, pp. 423-427.
7. M. Frohlick, M. Werner. daVinci V1.4 user manual. Department of Computer Science, University of Bremen, 1995.
8. F. de Geus, E. Rotterdam. Decision Support in Anaesthesia. Ph.D. thesis, Department of Medical Information Science, Groningen, The Netherlands, 1992.
9. R. Groenboom, E. Saaman, E.P. Rotterdam, G.R. Renardel de Lavalette. Formalizing anaesthesia: a case study in formal specification, in: M.-C. Gaudel, J. Woodcock (Eds.), FME '96: Industrial Benefit and Advances in Formal Methods, Lecture Notes in Computer Science 1051, Springer-Verlag, Berlin, 1996, pp. 120-139.
10. R. Groenboom, G.R. Renardel de Lavalette (Eds.), FAN: Formalizing ANaesthesia - Report on the FAN-project (preliminary version). Computing Science Notes, CSN 9601. University of Groningen, Department of Computing Science, 1996 [http://www.cs.rug.nl/users/rix/FSA/fanreport.html].
11. 2: a formal language for KADS models of expertise. Knowledge Acquisition 4 (1992).
12. F. van Harmelen, R. Lopez de Mantaras, J. Malec, J. Treur, Comparing formal specification languages, in: J. Treur, Th. Wetter (Eds.), Formal Specification of Complex Reasoning Systems, Ellis Horwood, Workshop Series 1993, 257-282.
13. F. van Harmelen, D. Fensel, Formal Methods in Knowledge Engineering, Knowledge Eng. Rev. 10 (1995) 345-360.
14. Units of Measurements: handbook on international standards for units of measurements, International and Organisation and Standardization, ISO, Geneva, 1979.
15. G.F. Karliczek, A.F. de Geus, G. Wiersma, S. Oosterhaven, I. Jenkins, CAROLA, a computer system for automatic documentation in anesthesia, Int. J. Clin. Monit. Comput. 4 (1987) 211-221.
16. E.T. Keravnou, Temporal diagnotistic reasoning based on time-objects, Artif. Intell. Med. 8 (1996) 235-265.
17. P. Lucas, The representation of medical reasoning models in resolution-based theorem provers, Artif. Intell. Med. 5 (1993) 395-414.
18. M.A. Musen, A.Th. Schreiber, Architectures for intelligent systems based on reusable components, Artif. Intell. Med. 7 (1995) 189-199.
19. C. Myers, C. Clack, E. Poon, Programming with Standard ML, Prentice Hall, Englewood Cliffs, 1993.
20. Y. Peng, J.A. Reggia, Plausibility of diagnostic hypotheses: The nature of simplicity, in: Proc. AAAI-86, AAAI, Philadelphia, 1986, pp. 140-145.
21. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object Oriented Modeling and Design, Prentice-Hall, Englewood Cliffs, 1991.
22. G. Schreiber, B. Wielinga, R. de Hoog, H. Akkermans, W. Van de Velde, CommonKADS, a comprehensive methodology for KBS development. IEEE Expert 9, 1994.
23. B. Spyropoulos, G. Papagnounos, A theoretical approach to artificial intelligence systems in medicine, Artif. Intell. Med. 7 (1995) 455-465.
24. A. ten Teije, F. van Harmelen, An extended spectrum of logical definitions for diagnostic systems, in: Proc. of DX-94, the 5th Int. Workshop Principles of Diagnosis, New Paltz, New York, 1994.
25. S. Uckun, B.M. Dawant, D.P. Lindstrom, Model-based diagnosis in intensive care monitoring: The YAQ approach, Artif. Intell. Med. 5 (1993) 31-48.
26. B.J. Wielinga, A.Th. Schreiber, J.A. Breuker, KADS: A modelling approach to knowledge engineering. Knowledge Acquisition 4 (1992).