A Taxonomy of Reasoning Strategies for Expert Systems