An Approach to Inference in Approximate Reasoning