Approximate Reasoning and Prototypical Knowledge