Definition and formulation of backward-reasoning with fuzzy if... then... rules | IEEE Conference Publication | IEEE Xplore