• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
Advanced Search
Liu Wen, Mi Jusheng, Sun Yan. Axiomatic Characterization of New Hesitant Fuzzy Rough Approximation Operators[J]. Journal of Computer Research and Development, 2021, 58(9): 2062-2070. DOI: 10.7544/issn1000-1239.2021.20200517
Citation: Liu Wen, Mi Jusheng, Sun Yan. Axiomatic Characterization of New Hesitant Fuzzy Rough Approximation Operators[J]. Journal of Computer Research and Development, 2021, 58(9): 2062-2070. DOI: 10.7544/issn1000-1239.2021.20200517

Axiomatic Characterization of New Hesitant Fuzzy Rough Approximation Operators

Funds: This work was supported by the National Natural Science Foundation of China (62076088, 61502144), the Natural Science Foundation of Hebei Province (F2018205196, F2019205295), the Natural Science Foundation of Higher Education Institutions of Hebei Province (BJ2019014), the Postdoctoral Advanced Programs of Hebei Province (B2016003013), and the Training Funds for 333 Talents Project in Hebei Province (A2017002112).
More Information
  • Published Date: August 31, 2021
  • In order to reveal the deeper essential characteristics of hesitant fuzzy rough approximation operators and further study the relationship between hesitant fuzzy rough approximation spaces and hesitant fuzzy topological spaces, it is of great significance to study the axiomatic characterizations of hesitant fuzzy rough approximation operators. In most of the existing results, the axioms used to describe hesitant fuzzy approximation operators contain multiple axioms. Since the axiomatic characterization of approximation operator is a key method in the research of the mathematical structure of rough set theory, it is a fundamental problem in axiomatic method to find the minimum set of abstract axioms. In view of the above problems, this paper focuses on the study of characterization by using single axiom. The number of axioms in the axiom set is simplified to unique axiom for the first time, and a new axiom description is proposed. First of all, the axiomatic characterizations of classical hesitant fuzzy rough approximation operators are given. Then, we study the problem of the axiomatization of hesitant fuzzy rough approximation operators generated by serial, reflexive, symmetric, transitive and equivalent hesitant fuzzy relations, respectively. Finally, it is proved that the hesitant fuzzy rough approximation space can induce a hesitant fuzzy topological space.
  • Related Articles

    [1]Fu Liguo, Pang Jianmin, Wang Jun, Zhang Jiahao, Yue Feng. Formal Model of Correctness and Optimization on Binary Translation[J]. Journal of Computer Research and Development, 2019, 56(9): 2001-2011. DOI: 10.7544/issn1000-1239.2019.20180513
    [2]Zhou Zhibin, Wang Guojun, Liu Qin, Jia Weijia. A RFID Anonymous Grouping Proof Protocol Using Dual-Layer Verification[J]. Journal of Computer Research and Development, 2018, 55(12): 2674-2684. DOI: 10.7544/issn1000-1239.2018.20170787
    [3]Fu Yanyan, Zhang Min, Chen Kaiqu, Feng Dengguo. Proofs of Data Possession of Multiple Copies[J]. Journal of Computer Research and Development, 2014, 51(7): 1410-1416.
    [4]Li Tao, Zhang Jingzhong. Machine Proofs in Geometry Based on Complex Number Method[J]. Journal of Computer Research and Development, 2013, 50(9): 1963-1969.
    [5]Ma Yanfang, Zhang Min, Chen Yixiang. Formal Description of Software Dynamic Correctness[J]. Journal of Computer Research and Development, 2013, 50(3): 626-635.
    [6]Wang Yong, Fang Juan, Ren Xingtian, and Lin Li. Formal Verification of TCG Remote Attestation Protocols Based on Process Algebra[J]. Journal of Computer Research and Development, 2013, 50(2): 325-331.
    [7]Wang Changjing. Verifying the Correctness of Loop Optimization Based on Extended Logic Transformation System μTS[J]. Journal of Computer Research and Development, 2012, 49(9): 1863-1873.
    [8]Jing Shuxu, He Fazhi, Cai Xiantao, Cheng Yuan. A Method for Object Reference in Collaborative Modeling System[J]. Journal of Computer Research and Development, 2011, 48(11): 2031-2038.
    [9]Si Tiange, Tan Zhiyong, and Dai Yiqi. A Security Proof Method for Multilevel Security Models[J]. Journal of Computer Research and Development, 2008, 45(10): 1711-1717.
    [10]Wang Guilin, Qing Sihan. Security Notes on Two Cheat-Proof Secret Sharing Schemes[J]. Journal of Computer Research and Development, 2005, 42(11): 1924-1927.

Catalog

    Article views (388) PDF downloads (152) Cited by()

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return