DynamicWS slide-20

Making a Redux Decision

Reasoning about all elements of operator application (decision making) is based on ATP rules (Epilog from Stanford Logic Group).