Approximate reasoning in a system combining prototypical knowledge with case-based reasoning