Four methods of approximate reasoning with interval-valued fuzzy sets