A method for inference in approximate reasoning based on interval-valued fuzzy sets