Advertisement

Symbolic computation in RL/1

  • S. van Denneheuvel
  • K. L. Kwast
  • P. van Emde Boas
  • F. de Geus
  • E. Rotterdam
Conference paper

Abstract

This article discusses the use of RL/1 to build quantitative models and the application of these models to assist in decision making. A set of constraints constitutes a model. Constraint models can be extended and modified easily and the representation of model knowledge is separated from its use. The model knowledge is used by means of a constraint solver. This allows the application of the same knowledge for different purposes. In addition the knowledge representation allows the user to analyze relationships between variables ar’.d to infer new relationships that hold in special circumstances.

Keywords

Cardiac Output Stroke Volume Central Venous Pressure Systemic Vascular Resistance Respiratory Quotient 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Annejet P. Meyler, Automation in Anesthesia, a Relief ?; evaluation of a data acquisition and display system, thesis of the university of Eindhoven, The Netherlands, ISBN 90–9001441–1, (1986).Google Scholar
  2. [2]
    van Denneheuvel, S. and van Emde Boas, P., The rule language RL/1, A. M. Tjoa and R. Wagner (eds.), Database and Expert Systems Applications, Proc. of the International Conference, Vienna, Austria, Aug 1990, Springer Verlag Wien, 381–387, (1990).Google Scholar
  3. [3]
    Jaffar, J. and Michaylov, S., Methodology and Implementation of a CLP System, Logic Programming, Proc. of the Fourth Int. Conf., Ed. Jean-Louis Lassez, 196–218, (1987).Google Scholar
  4. [4]
    Karliczek, G. F., Gens, F. A., Wiersma, G., Oosterhaven, S. and Jenkins, I., Carola, a computer system for automatic documentation in anesthesia, Int. J. Clin. Monitoring and Computing 4, 211–221, (1987).Google Scholar
  5. [5]
    Leler, Win., Constraint Programming Languages: Their Specification and Generation, Addison-Wesly Series in Computer Science, Addison-Wesly, (1988).Google Scholar
  6. [6]
    Van Emde Boas, P., RL, a Language for Enhanced Rule Bases Database Processing, Working Document, Rep IBM Research, RI 4869 (51299), (1986).Google Scholar
  7. [7]
    Van Emde Boas, P., A semantical model for the integration and modularization of rules, Proceedings MFCS 12, Bratislava, Springer Lecture Notes in Computer Science 233, 78–92, (1986).MathSciNetCrossRefGoogle Scholar
  8. [8]
    Van Emde Boas, H. and van Emde Boas, P., Storing and Evaluating Horn-Clause Rules in a Relational Database, IBM J. Res. Develop. 30 (1), 80–92, (1986).Google Scholar
  9. [9]
    Wolfram, S., Mathematica, A System for Doing Mathematics by Computer, Addison-Wesly, (1988).Google Scholar

Copyright information

© Springer-Verlag Wien 1991

Authors and Affiliations

  • S. van Denneheuvel
    • 1
  • K. L. Kwast
    • 1
  • P. van Emde Boas
    • 1
  • F. de Geus
    • 2
  • E. Rotterdam
    • 2
  1. 1.Department of Mathematics and Computer ScienceUniversity of AmsterdamThe Netherlands
  2. 2.Department of Medical Information ScienceUniversity of GroningenThe Netherlands

Personalised recommendations