A problem-solving system using a rule-based architecture consisting of a knowledge base of rules and general facts, a working memory of facts concerning the current case, and an inference engine for manipulating both. It is a type of expert system or knowledge-based system.