Strategies for Hypothesis-Driven Recognition in Rule-Based Systems