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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alan Borning. Thinglab: A Constraint-Based Simulation Laboratory. PhD thesis, Computer Science Department, Stanford University, 1979.
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.
Ernest Davis. Constraint propagation with interval labels. Artificial Intelligence, 32:281–331, 1987.
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.
Sieger van Denneheuvel. Constraint Solving on Database Systems; University of Amsterdam, department of Mathematics and Information Science, October 1991.
Bjorn N. Freeman-Benson, John Maloney, and Alan Borning. An incremental constraint solver. Communications of the ACM, 33(1):54–63, January 1990.
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.
Wm. Leler. Constraint Programming Languages; Their Specification and Generation. Addison Wesley, 1988.
A.K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8(1):99–118, 1977.
A.K. Mackworth. Constraint satisfaction. In Stuart C. Shapiro, editor, Encyclopedia of AI, pages 205–211. John Wiley & Sons, 1987.
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.
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.
Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge: MA, 1989.
Author information
Authors and Affiliations
Editor information
Rights 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