A MECHANISM OF FUNCTIONAL ASSOCIATION BETWEEN VARIABLE VALUES: THE ROI DE RATS Available to Purchase

The notion of Roi de rats corresponds to a functional association between values of variables. The causality relations between the more diversified properties of objects (concrete on abstract objects) can be easily represented and automatically dealt with. It was first introduced in the framework of the production rules system, ARGOS‐II; this notion is also implemented in TLISP. After preliminary remarks about variables, evaluation and assignment, we define direct variables and partitioned/tied variables and we give some examples of Roi de rats. Then the implementation of the Roi de rats by the TLISP interpreter is briefly described. We present three types of applications: Updating process of a data‐basis, checking of a variable and definition of a generator variable. In concluding remarks we observe that the RDR mechanism can be naturally expressed in PLASMA.