On Some Applications of h-generated Fuzzy Implications

In this paper we apply the h-generated fuzzy implications to prove a number of results which are of fundamental importance to the theory of fuzzy and vague functional and multivalued dependencies defined on given scheme. Our research is motivated by the fact that some analogous results already hold true for the families of f- and g-generated fuzzy implications, and the fact that these three collections of implications share many similar mutual properties. While some of the aforementioned implications are introduced in order to be applied in approximate reasoning, the results derived in this paper represent the main tool in the process of automation and are also used to complement the resolution principle. More precisely, the main result of this research states that the fact that some fuzzy (vague) relation instance r, |r| = 2, satisfies some fuzzy (vague) functional or fuzzy (vague) multivalued dependency c /∈ C (under assumption that r satisfies some set C of fuzzy (vague) functional and fuzzy (vague) multivalued dependencies), yields that the fuzzy formula attached to c is valid whenever all of the fuzzy formulas attached to the elements of C are valid. What is more important is that the opposite claim is also proven. Its importance stems from the fact that the verification by hand, which means purely theoretical verification, that C implies c is not required anymore. Now, in order to prove that some C yields some c, it is enough to make the use of the resolution principle, and automatically verify whether or not the set of the attached fuzzy formulas yields the fuzzy formula attached to c. In the case of affirmative answer, the desired dependency follows. The research conducted in this paper represent a natural generalization of our previous research since it includes and considers both, fuzzy and vague theories.