purpose:
the superstructure provides a library of new kinds of materials for building models;
these are developed in abstraction from particular applications in order to maximise re-usability of the materials and associated methods
|
|
modules:
generalise mathematical theories and subroutine/object libraries, providing new kinds of entities together with operations or methods which perform computations, transformations, inference and problem solving with these new entities
|
|
automation:
the emphasis is on logically sound automation, providing efficient brute computation, symbolic transformation, automatic inference, and intelligent problem solving in a modular integrated environment |
|