next up previous contents index
Next: Attaching data to the Up: Constructing new elements from Previous: Constructing new elements from

Example

A simple example involving assignments elements and components is as follows. Suppose that tex2html_wrap_inline35838 are element names, that tex2html_wrap_inline35840 is an assignment including functional indices, and that tex2html_wrap_inline35842 and tex2html_wrap_inline35844 are the names of components summarising many like quantities. A number of declarations are shown in Figure 6.1. These are as follows:

  1. The declaration of two elements, tex2html_wrap_inline35838 (the latter given an expectation of nine; the former having tex2html_wrap_inline35848 by default) gathered into the base G, followed by their variance-covariance matrix.
  2. Functional specifications for variances over the components tex2html_wrap_inline35842 and tex2html_wrap_inline35844 ; covariances between tex2html_wrap_inline35842 and tex2html_wrap_inline35856 , and covariances between tex2html_wrap_inline35844 and tex2html_wrap_inline34520 . All other variance-covariance specifications (for example, between V and W) are to be zero by default.
  3. A functional specification of an expectation for the component tex2html_wrap_inline35842 .
  4. The definition of the recursive assignment tex2html_wrap_inline35840 , together with the definition of the element tex2html_wrap_inline35866 as a termination criterion for the recursive assignment.
  5. The BUILD:  command. When this command is activated, it will be discovered that tex2html_wrap_inline35868 is not an element, and so a check is made to see whether it is an assignment. It is, so D.1 is replaced by the linear combination it represents, and the linear combination to be built is thus tex2html_wrap_inline35870 . Expectations, variances and covariances are now constructed for tex2html_wrap_inline35616 and between tex2html_wrap_inline35616 and tex2html_wrap_inline35838 from the explicit and implicit belief specifications given.

Now consider Figure 6.2. This is exactly the same sequence of commands as in Figure 6.1, except for the insertion of an extra command line building tex2html_wrap_inline35868 explicitly as the penultimate command line. This illustrates the second form of the syntax in that the assignment tex2html_wrap_inline35868 is taken, and the element tex2html_wrap_inline35882 constructed. It also illustrates the forgetfulness property addressed above in that the element tex2html_wrap_inline35616 constructed therafter will have different beliefs to the tex2html_wrap_inline35616 constructed in Figure 6.1, as the component constituents of the assignment tex2html_wrap_inline35868 will have been forgotten in the second case.

  figure7024
Figure 6.1:  Constructing new quantities

  figure7123
Figure 6.2:  Illustrating forgetfulness


next up previous contents index
Next: Attaching data to the Up: Constructing new elements from Previous: Constructing new elements from

David Wooff
Wed Oct 21 15:14:31 BST 1998