Abstract: An autonomous controller, comprised of a state knowledge manager, a control executor, hardware proxies and a statistical estimator collaborates with a goal elaborator, with which it shares common models of the behavior of the system and the controller. The elaborator uses the common models to generate from temporally indeterminate sets of goals, executable goals to be executed by the controller. The controller may be updated to operate in a different system or environment than that for which it was originally designed by the replacement of shared statistical models and by the instantiation of a new set of state variable objects derived from a state variable class. The adaptation of the controller does not require substantial modification of the goal elaborator for its application to the new system or environment.

Abstract: An autonomous controller, comprised of a state knowledge manager, a control executor, hardware proxies and a statistical estimator collaborates with a goal elaborator, with which it shares common models of the behavior of the system and the controller. The elaborator uses the common models to generate from temporally indeterminate sets of goals, executable goals to be executed by the controller. The controller may be updated to operate in a different system or environment than that for which it was originally designed by the replacement of shared statistical models and by the instantiation of a new set of state variable objects derived from a state variable class. The adaptation of the controller does not require substantial modification of the goal elaborator for its application to the new system or environment.

Abstract: Techniques for integrating rules into imperative object-oriented languages such as C++. C++ is extended to permit definition of rules as members of classes. When a rule is defined as a member of a class, a preprocessor receives the declaration of the rule's class and of any other class involved in the rule and generates additional data members and member functions for the classes. The additional members of the classes permit a complete implementation of the rule. No additional rule interpreter or decision network is required. The rule definition defines collections of objects linked by interobject pointers to which the rule applies. A rule is evaluated only if there is a change in a value mentioned in the rule in an object belonging to a collection of objects for the rule. The rule's condition is a sequence of bindings and tests. The bindings define a path through a collections of objects to which the rule applies, and the path is followed during evaluation. The rules thus implement access-limited logic.