fuzzy reasoning models and fuzzy truth value based inference