Research article Special Issues

An efficient algorithm of fuzzy reinstatement labelling

  • The fuzzy reinstatement labelling (FRL) puts forward a reasonable method to rewind the acceptable degrees of arguments in fuzzy argumentation frameworks. The fuzzy labelling algorithm (FLAlg) computes the FRL by infinitely approximating the limits of an iteration sequence. However, the FLAlg is unable to provide an exact FRL, and its computation complexity depends on not only the number of arguments but also the accuracy. This brings a quick increase in complexity when higher accuracy is acquired. In this paper, through the in-depth study of the FLAlg, we introduce an effective algorithm for decomposing FRL by strongly connected components. For simple fuzzy frameworks in the form of trees, odd cycles, and even cycles, the new algorithm provides an exact value of the limit. Therefore, by avoiding the infinite approximation process, it is independent of accuracy. And for complex frames, the new algorithm outputs an approximate value to the FLAlg. It is more efficient because the number of arguments in the approximation process is usually reduced.

    Citation: Shuangyan Zhao, Jiachao Wu. An efficient algorithm of fuzzy reinstatement labelling[J]. AIMS Mathematics, 2022, 7(6): 11165-11187. doi: 10.3934/math.2022625

    Related Papers:

    [1] Jianjun Huang, Xuhong Huang, Ronghao Kang, Zhihong Chen, Junhan Peng . Improved insulator location and defect detection method based on GhostNet and YOLOv5s networks. Electronic Research Archive, 2024, 32(9): 5249-5267. doi: 10.3934/era.2024242
    [2] Ye Yu, Zhiyuan Liu . A data-driven on-site injury severity assessment model for car-to-electric-bicycle collisions based on positional relationship and random forest. Electronic Research Archive, 2023, 31(6): 3417-3434. doi: 10.3934/era.2023173
    [3] Min Li, Ke Chen, Yunqing Bai, Jihong Pei . Skeleton action recognition via graph convolutional network with self-attention module. Electronic Research Archive, 2024, 32(4): 2848-2864. doi: 10.3934/era.2024129
    [4] Linan Fang, Ting Wu, Yongxing Qi, Yanzhao Shen, Peng Zhang, Mingmin Lin, Xinfeng Dong . Improved collision detection of MD5 with additional sufficient conditions. Electronic Research Archive, 2022, 30(6): 2018-2032. doi: 10.3934/era.2022102
    [5] Hui Xu, Jun Kong, Mengyao Liang, Hui Sun, Miao Qi . Video behavior recognition based on actional-structural graph convolution and temporal extension module. Electronic Research Archive, 2022, 30(11): 4157-4177. doi: 10.3934/era.2022210
    [6] Lei Pan, Chongyao Yan, Yuan Zheng, Qiang Fu, Yangjie Zhang, Zhiwei Lu, Zhiqing Zhao, Jun Tian . Fatigue detection method for UAV remote pilot based on multi feature fusion. Electronic Research Archive, 2023, 31(1): 442-466. doi: 10.3934/era.2023022
    [7] Chang Yu, Qian Ma, Jing Li, Qiuyang Zhang, Jin Yao, Biao Yan, Zhenhua Wang . FF-ResNet-DR model: a deep learning model for diabetic retinopathy grading by frequency domain attention. Electronic Research Archive, 2025, 33(2): 725-743. doi: 10.3934/era.2025033
    [8] Miao Luo, Yousong Chen, Dawei Gao, Lijun Wang . Inversion study of vehicle frontal collision and front bumper collision. Electronic Research Archive, 2023, 31(2): 776-792. doi: 10.3934/era.2023039
    [9] Tong Li, Lanfang Lei, Zhong Wang, Peibei Shi, Zhize Wu . An efficient improved YOLOv10 algorithm for detecting electric bikes in elevators. Electronic Research Archive, 2025, 33(6): 3673-3698. doi: 10.3934/era.2025163
    [10] Jinjiang Liu, Yuqin Li, Wentao Li, Zhenshuang Li, Yihua Lan . Multiscale lung nodule segmentation based on 3D coordinate attention and edge enhancement. Electronic Research Archive, 2024, 32(5): 3016-3037. doi: 10.3934/era.2024138
  • The fuzzy reinstatement labelling (FRL) puts forward a reasonable method to rewind the acceptable degrees of arguments in fuzzy argumentation frameworks. The fuzzy labelling algorithm (FLAlg) computes the FRL by infinitely approximating the limits of an iteration sequence. However, the FLAlg is unable to provide an exact FRL, and its computation complexity depends on not only the number of arguments but also the accuracy. This brings a quick increase in complexity when higher accuracy is acquired. In this paper, through the in-depth study of the FLAlg, we introduce an effective algorithm for decomposing FRL by strongly connected components. For simple fuzzy frameworks in the form of trees, odd cycles, and even cycles, the new algorithm provides an exact value of the limit. Therefore, by avoiding the infinite approximation process, it is independent of accuracy. And for complex frames, the new algorithm outputs an approximate value to the FLAlg. It is more efficient because the number of arguments in the approximation process is usually reduced.





    [1] P. M. Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artif. Intell., 77 (1995), 321–357. https://dx.doi.org/10.1016/0004-3702(94)00041-X doi: 10.1016/0004-3702(94)00041-X
    [2] J. Ahmmad, T. Mahmood, R. Chinram, A. Lampan, Some average aggregation operators based on spherical fuzzy soft sets and their applications in multi-criteria decision making, AIMS Math., 6 (2021), 7798–7832. https://dx.doi.org/10.3934/math.2021454 doi: 10.3934/math.2021454
    [3] A. Saha, D. Dutta, S. kar, Some new hybrid hesitant fuzzy weighted aggregation operators based on archimedean and dombi operations for multi-attribute decision making, Neural Comput. Appl., 33 (2021), 8753–8776. https://dx.doi.org/10.1007/s00521-020-05623-x doi: 10.1007/s00521-020-05623-x
    [4] P. Baroni, F. Toni, B. Verheij, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games: 25 years later, Argum. Comput., 11 (2020), 1–14. https://dx.doi.org/10.3233/AAC-200901 doi: 10.3233/AAC-200901
    [5] S. P. Ferrando, E. Onaindia, Defeasible-argumentation-based multi-agent planning, Inf. Sci., 411 (2017), 1–22. https://dx.doi.org/10.1016/j.ins.2017.05.014 doi: 10.1016/j.ins.2017.05.014
    [6] X. Li, X. Yang, S. Song, Lyapunov conditions for finite-time stability of time-varying time-delay systems, Automatica, 103 (2019), 135–140. https://dx.doi.org/10.1016/j.automatica.2019.01.031 doi: 10.1016/j.automatica.2019.01.031
    [7] K. Atkinson, T. Bench-Capon, Argumentation schemes in AI and law, Argum. Comput., 12 (2021), 417–434. https://dx.doi.org/10.3233/AAC-200543 doi: 10.3233/AAC-200543
    [8] I. Benedetti, S. Bistarelli, From argumentation frameworks to voting systems and back, Fund. Inform., 150 (2017), 25–48. https://dx.doi.org/10.3233/FI-2017-1459 doi: 10.3233/FI-2017-1459
    [9] J. Janssen, M. De Cock, D. Vermeir, Fuzzy argumentation frameworks, In: Information processing and management of uncertainty in knowledge-based systems, 2008,513–520.
    [10] J. Wu, L. Li, W. Sun, Gödel semantics of fuzzy argumentation frameworks with consistency degrees, AIMS Math., 5 (2020), 4045–4064. https://dx.doi.org/10.3934/math.2020260 doi: 10.3934/math.2020260
    [11] J. Wu, H. Li, N. Oren, T. J. Norman, Gödel fuzzy argumentation frameworks, In: Computational models of argument, IOS Press, 2016,447–458. https://dx.doi.org/10.3233/978-1-61499-686-6-447
    [12] L. Amgoud, J. Ben-Naim, Evaluation of arguments in weighted bipolar graphs, Int. J. Approx. Reason., 99 (2018), 39–55. https://dx.doi.org/10.1016/j.ijar.2018.05.004 doi: 10.1016/j.ijar.2018.05.004
    [13] L. Amgoud, J. Ben-Naim, Weighted bipolar argumentation graphs: Axioms and semantics, In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence Best Sister Conferences, AAAI Press, 2018, 5194–5198. https://dx.doi.org/10.24963/ijcai.2018/720
    [14] L. Amgoud, D. Doder, S. Vesic, Evaluation of argument strength in attack graphs: Foundations and semantics, Artif. Intell., 302 (2022), 103607. https://dx.doi.org/10.1016/j.artint.2021.103607 doi: 10.1016/j.artint.2021.103607
    [15] C. da Costa Pereira, A. G. Tettamanzi, P. Mcburney, Changing ones mind: Erase or rewind? Possibilistic belief revision with fuzzy argumentation based on trust, In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, AAAI Press, 2011,164–171. https://dx.doi.org/10.5591/978-1-57735-516-8/IJCAI11-039
    [16] C. da Costa Pereira, M. Dragoni, A. G. Tettamanzi, S. Villata, Fuzzy labeling for abstract argumentation: An empirical evaluation, In: Scalable uncertainty management, Springer, 2016,126–139. https://doi.org/10.1007/978-3-319-45856-4_9
    [17] L. Amgoud, J. Ben-Naim, D. Doder, S. Vesic, Acceptability semantics for weighted argumentation frameworks, In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017, 56–62. https://dx.doi.org/10.24963/ijcai.2017/9
    [18] P. Dondio, Multi-valued argumentation frameworks, In: Rules on the Web. From theory to applications, Springer, 2014,142–156. https://doi.org/10.1007/978-3-319-09870-8_10
    [19] P. E. Dunne, A. Hunter, P. McBurney, S. Parsons, M. Wooldridge, Weighted argument systems: Basic definitions, algorithms, and complexity results, Artif. Intell., 175 (2011), 457–486. https://dx.doi.org/10.1016/j.artint.2010.09.005 doi: 10.1016/j.artint.2010.09.005
    [20] M. Caminada, On the issue of reinstatement in argumentation, In: Logics in artificial intelligence, Springer, 2006,111–123. https://doi.org/10.1007/11853886_11
    [21] M. Caminada, An algorithm for computing semi-stable semantics, In: Symbolic and quantitative approaches to reasoning with uncertainty, Springer, 2007,222–234. https://doi.org/10.1007/978-3-540-75256-1_22
    [22] S. Dan, S. Majumder, M. B. Kar, K. Samarjit, On type-2 fuzzy weighted minimum spanning tree, Soft Comput., 25 (2021), 14873–14892. https://dx.doi.org/10.1007/s00500-021-06052-1 doi: 10.1007/s00500-021-06052-1
    [23] P. Baroni, M. Romano, F. Toni, M. Aurisicchio, G. Bertanza, Automatic evaluation of design alternatives with quantitative argumentation, Argum. Comput., 6 (2015), 24–49. https://dx.doi.org/10.1080/19462166.2014.1001791 doi: 10.1080/19462166.2014.1001791
    [24] P. Baroni, M. Giacomin, G. Guida, SCC-recursiveness: A general schema for argumentation semantics, Artif. Intell., 168 (2005), 162–210. https://dx.doi.org/10.1016/j.artint.2005.05.006 doi: 10.1016/j.artint.2005.05.006
    [25] F. Cerutti, M. Giacomin, M. Vallati, M. Zanella, A SCC recursive meta-algorithm for computing preferred labellings in abstract argumentation, In: Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, AAAI Press, 2014.
    [26] T. H. Cormen, C. E. Leiserson, R. L. Rivest, C. Stein, Introduction to algorithms, 3 Eds., The MIT Press, 2009.
    [27] X. Xie, T. Wei, X. Li, Hybrid event-triggered approach for quasi-consensus of uncertain multi-agent systems With impulsive protocols, IEEE Trans. Circuits Syst. I. Regul. Pap., 69 (2022), 872–883. https://dx.doi.org/10.1109/TCSI.2021.3119065 doi: 10.1109/TCSI.2021.3119065
    [28] X. Li, P. Li, Input-to-state stability of nonlinear systems: Event-triggered impulsive control, IEEE Trans. Automat. Control, 67 (2022), 1460–1465. https://dx.doi.org/10.1109/TAC.2021.3063227 doi: 10.1109/TAC.2021.3063227
    [29] X. Li, T. Zhang, J. Wu, Input-to-state stability of impulsive systems via event-triggered impulsive control, IEEE Trans. Cybernt., 2021, 1–9. https://dx.doi.org/10.1109/TCYB.2020.3044003 doi: 10.1109/TCYB.2020.3044003
    [30] X. Li, H. Zhu, S. Song, Input-to-state stability of nonlinear systems using observer-based event-triggered impulsive control, IEEE Trans. Syst. Man Cybernt., 51 (2021), 6892–6900. https://dx.doi.org/10.1109/TSMC.2020.2964172 doi: 10.1109/TSMC.2020.2964172
    [31] X. Li, D. Peng, J. Cao, Lyapunov stability for impulsive systems via event-triggered impulsive control, IEEE Trans. Automat. Control, 65 (2020), 4908–4913. https://dx.doi.org/10.1109/TAC.2020.2964558 doi: 10.1109/TAC.2020.2964558
    [32] X. Li, D. W. C. Ho, J. Cao, Finite-time stability and settling-time estimation of nonlinear impulsive systems, Automatica, 99 (2019), 361–368. https://dx.doi.org/10.1016/j.automatica.2018.10.024 doi: 10.1016/j.automatica.2018.10.024
    [33] X. Li, X. Yang, J. Cao, Event-triggered impulsive control for nonlinear delay systems, Automatica, 117 (2020), 108981. https://dx.doi.org/10.1016/j.automatica.2020.108981 doi: 10.1016/j.automatica.2020.108981
    [34] K. Skiba, T. Rienstra, M. Thimm, J. Heyninck, G. Kern-Isberner, Ranking extensions in abstract argumentation, In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, 2047–2053. https://dx.doi.org/10.24963/ijcai.2021/282
    [35] N. Oren, B. Yun, S. Vesic, M. Baptista, The inverse problem for argumentation gradual semantics, arXiv Preprint, 2022. https://doi.org/10.48550/arXiv.2202.00294
    [36] M. G. E. Gonzalez, M. C. D. Budán, G. I. Simari, G. R. Simari, Labeled bipolar argumentation frameworks, J. Artif. Intell. Res., 70 (2021), 1557–1636. https://dx.doi.org/10.1613/jair.1.12394 doi: 10.1613/jair.1.12394
    [37] M. C. D. Budán, G. I. Simari, I. Viglizzo, G. R. Simari, An approach to characterize graded entailment of arguments through a label-based framework, Int. J. Approx. Reason., 82 (2017), 242–269. https://dx.doi.org/10.1016/j.ijar.2016.12.016 doi: 10.1016/j.ijar.2016.12.016
    [38] R. Baumann, Splitting an argumentation framework, In: Logic programming and nonmonotonic reasoning, Springer, 2011, 40–53. https://doi.org/10.1007/978-3-642-20895-9_6
    [39] W. Dvořák, R. Pichler, S. Woltran, Towards fixed-parameter tractable algorithms for abstract argumentation, Artif. Intell., 186 (2012), 1–37. https://dx.doi.org/10.1016/j.artint.2012.03.005 doi: 10.1016/j.artint.2012.03.005
    [40] P. Baroni, M. Giacomin, B. Liao, On topology-related properties of abstract argumentation semantics. A correction and extension to dynamics of argumentation systems: A division-based method, Artif. Intell., 212 (2014), 104–115. https://dx.doi.org/10.1016/j.artint.2014.03.003 doi: 10.1016/j.artint.2014.03.003
    [41] B. Liao, L. Jin, R. C. Koons, Dynamics of argumentation systems: A division-based method, Artif. Intell., 175 (2011), 1790–1814. https://dx.doi.org/10.1016/j.artint.2011.03.006 doi: 10.1016/j.artint.2011.03.006
  • This article has been cited by:

    1. Gregory Roth, Paul L. Salceanu, Sebastian J. Schreiber, Robust Permanence for Ecological Maps, 2017, 49, 0036-1410, 3527, 10.1137/16M1066440
    2. Jude D. Kong, Paul Salceanu, Hao Wang, A stoichiometric organic matter decomposition model in a chemostat culture, 2018, 76, 0303-6812, 609, 10.1007/s00285-017-1152-3
    3. Muhammad Dur-e-Ahmad, Mudassar Imran, Adnan Khan, Analysis of a Mathematical Model of Emerging Infectious Disease Leading to Amphibian Decline, 2014, 2014, 1085-3375, 1, 10.1155/2014/145398
    4. Paul L. Salceanu, Robust uniform persistence in discrete and continuous nonautonomous systems, 2013, 398, 0022247X, 487, 10.1016/j.jmaa.2012.09.005
    5. Azmy S. Ackleh, Robert J. Sacker, Paul Salceanu, On a discrete selection–mutation model, 2014, 20, 1023-6198, 1383, 10.1080/10236198.2014.933819
    6. Mudassar Imran, Muhammad Usman, Muhammad Dur-e-Ahmad, Adnan Khan, Transmission Dynamics of Zika Fever: A SEIR Based Model, 2017, 0971-3514, 10.1007/s12591-017-0374-6
    7. Azmy S. Ackleh, John Cleveland, Horst R. Thieme, Population dynamics under selection and mutation: Long-time behavior for differential equations in measure spaces, 2016, 261, 00220396, 1472, 10.1016/j.jde.2016.04.008
    8. AZMY S. ACKLEH, J. M. CUSHING, PAUL L. SALCEANU, ON THE DYNAMICS OF EVOLUTIONARY COMPETITION MODELS, 2015, 28, 08908575, 380, 10.1111/nrm.12074
    9. Mudassar Imran, Muhammad Usman, Tufail Malik, Ali R. Ansari, Mathematical analysis of the role of hospitalization/isolation in controlling the spread of Zika fever, 2018, 255, 01681702, 95, 10.1016/j.virusres.2018.07.002
    10. Azmy S. Ackleh, Paul L. Salceanu, Competitive exclusion and coexistence in ann-species Ricker model, 2015, 9, 1751-3758, 321, 10.1080/17513758.2015.1020576
    11. Azmy S. Ackleh, Paul Salceanu, Amy Veprauskas, A nullcline approach to global stability in discrete-time predator–prey models, 2021, 27, 1023-6198, 1120, 10.1080/10236198.2021.1963440
    12. Térence Bayen, Henri Cazenave-Lacroutz, Jérôme Coville, Stability of the chemostat system including a linear coupling between species, 2023, 28, 1531-3492, 2104, 10.3934/dcdsb.2022160
    13. Qihua Huang, Paul L. Salceanu, Hao Wang, Dispersal-driven coexistence in a multiple-patch competition model for zebra and quagga mussels, 2022, 28, 1023-6198, 183, 10.1080/10236198.2022.2026342
    14. Hayriye Gulbudak, Paul L. Salceanu, Gail S. K. Wolkowicz, A delay model for persistent viral infections in replicating cells, 2021, 82, 0303-6812, 10.1007/s00285-021-01612-3
    15. J. C. Macdonald, H. Gulbudak, Forward hysteresis and Hopf bifurcation in an Npzd model with application to harmful algal blooms, 2023, 87, 0303-6812, 10.1007/s00285-023-01969-7
  • Reader Comments
  • © 2022 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(1929) PDF downloads(35) Cited by(5)

Article outline

Figures and Tables

Figures(5)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog