Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Database and Expert Systems Applications (DEXA 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 720))

Included in the following conference series:

  • 118 Accesses

Abstract

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.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alan Borning. Thinglab: A Constraint-Based Simulation Laboratory. PhD thesis, Computer Science Department, Stanford University, 1979.

    Google Scholar 

  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. Ernest Davis. Constraint propagation with interval labels. Artificial Intelligence, 32:281–331, 1987.

    Article  Google Scholar 

  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. Sieger van Denneheuvel. Constraint Solving on Database Systems; University of Amsterdam, department of Mathematics and Information Science, October 1991.

    Google Scholar 

  6. Bjorn N. Freeman-Benson, John Maloney, and Alan Borning. An incremental constraint solver. Communications of the ACM, 33(1):54–63, January 1990.

    Article  Google Scholar 

  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. Wm. Leler. Constraint Programming Languages; Their Specification and Generation. Addison Wesley, 1988.

    Google Scholar 

  9. A.K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8(1):99–118, 1977.

    Article  Google Scholar 

  10. A.K. Mackworth. Constraint satisfaction. In Stuart C. Shapiro, editor, Encyclopedia of AI, pages 205–211. John Wiley & Sons, 1987.

    Google Scholar 

  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. 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. Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge: MA, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Medical Information Science, University of Groningen, PO Box 30.001, 9700, RB Groningen

    Ernest Rotterdam

  2. Syllogic, PO Box 26, 3990, DA Houten

    Sieger van Denneheuvel

  3. Dept. of Aneasthesiology, University Hospital Groningen, PO Box 30.001, 9700, RB Groningen

    Pim Hennis

  4. Dept. of Information Science, University of Amsterdam, Plantage Muidergracht 24, 1018, TV Amsterdam

    Peter van Emde Boas

Authors
  1. Ernest Rotterdam
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sieger van Denneheuvel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Pim Hennis
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Peter van Emde Boas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Vladimír Mařík Jiří Lažanský Roland R. Wagner

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rotterdam, E., van Denneheuvel, S., Hennis, P., van Emde Boas, P. (1993). Resolution of constraint inconsistency with the aim to provide support in anaesthesia. In: Mařík, V., Lažanský, J., Wagner, R.R. (eds) Database and Expert Systems Applications. DEXA 1993. Lecture Notes in Computer Science, vol 720. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57234-1_55

Download citation

  • DOI: https://doi.org/10.1007/3-540-57234-1_55

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57234-3

  • Online ISBN: 978-3-540-47982-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation