Resolution of constraint inconsistency with the aim to provide support in anaesthesia

  • Ernest Rotterdam
  • Sieger van Denneheuvel
  • Pim Hennis
  • Peter van Emde Boas
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 720)


We have investigated the possibilities to use constraints to provide decision support in Anaesthesia. It became apparent that concepts are required to deal with inconsistency due to three causes: differences between defaults and specific information, imprecision in measurements or knowledge, and incompatibility of different preferences. Differences between defaults and specific knowledge can be resolved by attaching priorities to constraints. Imprecision in measurements or in knowledge can be resolved by using intervals instead of point values. For resolution of inconsistency due to incompatibility of preferences, next to priorities and intervals, relaxation is required. Thus, the constraint satisfaction system must support three concepts for inconsistency resolution: priorities, intervals and relaxation.

For constraint-satisfaction a number of methods has been developped: local propagation, relaxation, constraint propagation, backtracking, and symbolic rewriting. For each of these methods we investigated which of the concepts required for inconsistency resolution they can support. Furthermore it was investigated how different constraint satisfaction methods can be combined such that two or all three of the forementioned concepts can be supported.


Constraint Satisfaction Expert Systems Architecture Medical Information Systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Alan Borning. Thinglab: A Constraint-Based Simulation Laboratory. PhD thesis, Computer Science Department, Stanford University, 1979.Google Scholar
  2. [2]
    Alan Borning, Robert Duisberg, Bjorn Freeman-Benson, Axel Kramer, and Michael Woolf. Constraint hierarchies. In Norman Meyrowitz, editor, Proc. OOPSLA-87, pages 48–60, New York: NY, 1987. ACM Press.Google Scholar
  3. [3]
    Ernest Davis. Constraint propagation with interval labels. Artificial Intelligence, 32:281–331, 1987.CrossRefGoogle Scholar
  4. [4]
    S. van Denneheuvel, K.L. Kwast, P. van Emde Boas, F. de Geus, and E. Rotterdam. Symbolic computation in RL/1. In Proc. DEXA-91, pages 559–564, Berlin, 1991. Springer Verlag.Google Scholar
  5. [5]
    Sieger van Denneheuvel. Constraint Solving on Database Systems; University of Amsterdam, department of Mathematics and Information Science, October 1991.Google Scholar
  6. [6]
    Bjorn N. Freeman-Benson, John Maloney, and Alan Borning. An incremental constraint solver. Communications of the ACM, 33(1):54–63, January 1990.CrossRefGoogle Scholar
  7. [7]
    A. Fred de Geus and Ernest P. Rotterdam. Decision Support in Anaesthesia. PhD thesis, State University of Groningen, Faculty of Medicine, The Netherlands, December 1992.Google Scholar
  8. [8]
    Wm. Leler. Constraint Programming Languages; Their Specification and Generation. Addison Wesley, 1988.Google Scholar
  9. [9]
    A.K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8(1):99–118, 1977.CrossRefGoogle Scholar
  10. [10]
    A.K. Mackworth. Constraint satisfaction. In Stuart C. Shapiro, editor, Encyclopedia of AI, pages 205–211. John Wiley & Sons, 1987.Google Scholar
  11. [11]
    Peter van Emde Boas. RL, a language for enhanced rule based database processing, working document. RJ 4869 (51299), IBM Research Laboratory, San Jose: CA 95193, 1985.Google Scholar
  12. [12]
    Peter van Emde Boas. A semantical model for integration and modularization of rules. In Proc. MFCS 12 Bratislava, pages 78–92, Berlin, August 1986. Springer Verlag.Google Scholar
  13. [13]
    Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge: MA, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Ernest Rotterdam
    • 1
  • Sieger van Denneheuvel
    • 2
  • Pim Hennis
    • 3
  • Peter van Emde Boas
    • 4
  1. 1.Dept. of Medical Information ScienceUniversity of GroningenRB Groningen
  2. 2.SyllogicDA Houten
  3. 3.Dept. of AneasthesiologyUniversity Hospital GroningenRB Groningen
  4. 4.Dept. of Information ScienceUniversity of AmsterdamTV Amsterdam

Personalised recommendations