6e2416c9-404b-4e11-bc3a-46374eb4462d20210319044148786wseamdt@crossref.orgMDT DepositWSEAS TRANSACTIONS ON SYSTEMS AND CONTROL1991-876310.37394/23203http://wseas.org/wseas/cms.action?id=4073220202022020201510.37394/23203.2020.15http://wseas.org/wseas/cms.action?id=23195On Some Applications of h-generated Fuzzy ImplicationsDzenanGusicUniversity of Sarajevo, Faculty of Sciences and Mathematics, Department of Mathematics, Sarajevo, BOSNIA AND HERZEGOVINAAdisAlihodzicUniversity of Sarajevo, Faculty of Sciences and Mathematics, Department of Mathematics, Sarajevo, BOSNIA AND HERZEGOVINASanelaNesimovicUniversity of Sarajevo, Faculty of Educational Sciences, Sarajevo, BOSNIA AND HERZEGOVINAIn 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.10520201052020490507https://www.wseas.org/multimedia/journals/control/2020/b985103-036.pdf10.37394/23203.2020.15.49https://www.wseas.org/multimedia/journals/control/2020/b985103-036.pdf10.1016/j.ins.2003.04.001R. R. Yager, On some new classes of implication operators and their role in approximate reasoning, Inform. Sci.167, 2004, pp. 193–216.10.1016/s0165-0114(00)00027-0J. Vilar and M. A. Sanz-Bobi, Semantic analysis of fuzzy models, application to Yager models,in: Mastorakis N. (ed.) Advances in Fuzzy Systems and Evolutionary Computation, Proc. 2ndWSEAS International Conference on Fuzzy Sets and Fuzzy Systems (FSFS 2001), Puerto de laCruz, Tenerife 2001, pp. 82–87.10.1016/j.fss.2006.03.015B. Jayaram, Contrapositive symmetrization of fuzzy implications - revisited,Fuzzy Sets andSystems157, 2006, pp. 2291–2310.10.1016/j.ins.2006.08.006B. Jayaram, Yager’s new class of implications Jfand some classical tautologies,Inform. Sci.177,2007, pp. 930–946.J. D. Ullman, Principles of Database Systems, Computer Science Press, Rockville, 1982C. Giardina, I. Sack, and D. Sinha, Fuzzy Field Relational Database Tech. Report 8332, Elect Engng. and Computer Science Dept., Stevens Institute of Technology, Hoboken, 198310.1016/s1474-6670(17)61997-9J. F. Baldwin, Knowledge engineering using a fuzzy relational inference language, in: Proc. IFAC Conf. on Fuzzy Information, Knowledge Representation, and Decision Processes, Marseille, France, 1983, pp. 15–23.10.1016/0306-4379(84)90014-0H. Prade, The connection between Lipski’s approach to incomplete information data bases and Zadeh’s Possibility Theory, in: Proc. Int. Conf. System Meth., 1982, pp. 402–408.10.1016/0306-4379(84)90014-0H. Prade, Lipski’s approach to incomplete information databases restated and generalized in the setting of Zadeh’s Possibility Theory, Inform. Systems 9, 1984, pp. 27–42.10.1016/0165-0114(82)90052-5H. Prade and C. Testemale, Generalizing database relational algebra for the treatment of incomplete/uncertain informations and vaguequeries, in: 2nd NAFIP Workshop, 1983.[11] B. P. Buckles and F. E. Petry, A fuzzy representation of data for relational databases,Fuzzy Sets and Systems7, 1982, pp. 213–216.B. P. Buckles and F. E. Petry, Fuzzy databases and their applications,Fuzzy Inform. DecisionProcess2, 1982, pp. 361–371.B. P. Buckles and F. E. Petry, Uncertainty models in information and database systems, J. In-form. Sci.11, 1985, pp. 77–87.L. A. Zadeh, Similarity relations and fuzzy orderings, Inform. Sci.3, 1970, pp. 177–200.10.1016/s0165-0114(98)00152-3M. Sozat and A. Yazici, A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations,Fuzzy Sets and Systems 117, 2001, pp. 161–181.10.1051/matecconf/201929201001Dz. Gusic, Soundness and Completeness of Inference Rules for New Vague Functional Dependencies, in: N. Mastorakis, V. Mladenov and A. Bulucea (eds.) MATEC Web of Conferences,Vol. 292, 23rd International Conference on Circuits, Systems, Communications and Computers (CSCC 2019), Athens 2019, pp. 1–9.10.1051/matecconf/201929201002Dˇz. Guˇsi ́c, Soundness of Inference Rules forNew Vague Multivalued Dependencies, in: N.Mastorakis, V. Mladenov and A. Bulucea (eds.)MATEC Web of Conferences, Vol. 292, 23rdInternational Conference on Circuits, Systems,Communications and Computers (CSCC 2019),Athens 2019, pp. 1–7.Dz. Gusic, Completeness of Inference Rules for New Vague Multivalued Dependencies, WSEAS Trans. on Mathematics18, 2019, pp. 295–306.10.1109/iccairo47923.2019.00036Dz. Gusic, On Completeness of Inference Rules for Vague Functional and Vague Multivalued Dependencies in two-element Vague Relation Instances, WSEAS Trans. on Systems and Con-trol14, 2019, pp. 232–238.Dz. Gusic, Vague Functional Dependencies and Resolution Principle, WSEAS Trans. on Mathematics18, 2019, pp. 288–294.Dz. Gusic, Vague Multivalued Dependencies and Resolution Principle, WSEAS Trans. on Mathematics 18, 2019, pp. 257–263.Dz. Gusic and S. Nesimovic, New Vague Dependencies as a Result of Automatization, WSEAS Trans. on Systems and Control 14, 2019, pp. 419–436.N. Dukic, Dz. Gusic, A. Muratovic-Ribic, A. Al-ihodzic, E. Tabak, and H. Dukic, From fuzzy dependences to fuzzy formulas and vice versa, for Kleene-Dienes fuzzy implication operator, WSEAS Trans. on Systems and Control 13, 2018, pp. 285–297.10.1007/978-3-540-30464-7_21A. Lu and W. Ng, Managing Merged Data by Vague Functional Dependencies, in: P. Atzeni, W. Chu, H. Lu, S. Zhou, T.-W. Ling (eds.) ER2004 LNCS, vol. 3288, Springer-Verlag, Berlin Heidelberg 2004, pp. 259–272.10.1016/s0020-0255(98)10083-xD. H. Hong and C. Kim, A note on Similarity Measures Between Vague Sets and Between Elements,Information Sciences115, 1999, pp. 83–96.F. Li and Z. Xu, Measures of Similarity Between Vague Sets, Journal of Software12, 2001, pp. 922–927. R. C. T. Lee, Fuzzy Logic and the Resolution Principle, J. Assoc. Comput. Mach.19, 1972,pp. 109–119.Y. Shi, A Deep Study of Fuzzy Implications, Ph.D. dissertation, Faculty of Science, Ghent University, Ghent, 2009.M. Baczy ́nski and B. Jayaram,Fuzzy Implications,Berlin–Heidelberg, Springer–Verlag, 2008M. Baczy ́nski and B. Jayaram, Yager’s classes of fuzzy implications: some properties and intersections, Kybernetika43, 2007, pp. 157–182.10.1109/iccairo47923.2019.00033S. Nesimovi ́c and Dz. Gusic, Klir-Yuan Fuzzy Implication in Fuzzy Relations, in: 3rd International Conference on Control, Artificial Intelligence, Robotics and Optimization (ICCAIRO), Athens, Greece, 2019, pp. 163–169.10.1109/iccairo47923.2019.00036Dz. Gusic, Z.Sabanac, and S. Nesimovic, On Soundness of Various Inference Rules for Vague Functional Dependencies, in: 3rd International Conference on Control, Artificial Intelligence,Robotics and Optimization (ICCAIRO), Athens,Greece, 2019, pp. 182–188.10.1109/iccairo47923.2019.00038Dz. Gusic, Z.ˇSabanac, and S. Nesimovic, On Certain Properties of Vague Relation Databases,in: 3rd International Conference on Control, Artificial Intelligence, Robotics and Optimization (ICCAIRO), Athens, Greece, 2019, pp. 195–201.