All knowledge in MAX agents exists in nested logic frames including the rules and operators. Separating rules and operators integrates a domain theory, in which rules specify actions and actions satisfy rules. With a production memory architecture knowledge is brought to bear on a problem by executing some operator that uses that knowledge, i.e. it adds symbols and it deletes symbols in some logical or rational fashion.
Go to a discussion of this property for multiple architectures.