The description of information can be
to give expressions which indicate what the
information is. For example,
position(light,104.5,205.8,0.2)
might be an expression which captures the
idea that information about the position of
a light is transmitted or stored by a module.
Thus expressions can contain symbols and also
numbers.
In addition, one can use numbers to represent
the strength of a given signal or the clarity
of the information or an associated probability.
Thus, we might want
to use an expression like
message(position(light,104.5,205.8,0.2),strength(0.8),prob(0.5))
Similarly, rules which represent the processing of
information will typically have the form
set of left hand side patterns -> computation, right hand side forms
The computation can be an arbitrary function which
can be a complicated computation on the strengths and
probabilities of stored data.
Thus the abstract logical modeling approach
includes ordinary mathematical functions on real numbers etc.
back to systems page
back to cs286 page
back to teaching page
back to home page