Process knowledge expressed in the form of rules and use symbolic reasoning to solve problems in narrow domain.
Provide a clear separation of knowledge from its processing.
Trace the rules fired during a problem-solving session and explain how a particular conclusion was reached and why specific data was needed.