Skip to main content
SpringerLink
Log in
Book cover

International Conference on AI Logic and Applications

AILA 2022 2022: Artificial Intelligence Logic and Applications pp 79–90Cite as

(α, β) - Colored Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy Logic

  • Conference paper
  • First Online:

  • 258 Accesses

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1657))

Abstract

To improving the \(\left( {\alpha ,\beta } \right)\)-resolution efficiency for linguistic truth-valued intuitionistic fuzzy propositional logic (LTV-IFPL), colored resolution is applied to \(\left( {\alpha ,\beta } \right)\)-resolution. By setting a threshold \(\left( {\alpha ,\beta } \right)\), the set of clauses is divided into two types, the \(\left( {\alpha ,\beta } \right)\)-unsatisfiable clauses are colored as clash electrons, uncolored clauses as clash core, which requires resolution between the two sets, and provides the ordering of the generalized literals. The \(\left( {\alpha ,\beta } \right)\)-colored resolution method is introduced into the linguistic truth-valued intuitionistic fuzzy logic system, and its completeness and reliability are proved. Finally, we provide the steps of the automatic reasoning algorithm based on \(\left( {\alpha ,\beta } \right)\)-colored resolution of the linguistic truth-valued intuitionistic fuzzy logic system, and illustrate the effectiveness of the algorithm by examples.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   84.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Zadeh, L.A.: Fuzzy sets. Information and Control 8(3), 338–353 (1965)

    Article  MathSciNet  MATH  Google Scholar 

  2. Atanassov, K.: Intuitionistic fuzzy sets. Fuzzy Sets and Systems 20(1), 87–96 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  3. Liu, X., Sun, F., Zou, L.: Soft-Resolution Method of Six-Element Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic. Journal of Donghua University (English Edition) 27(02), 135–138 (2010)

    Google Scholar 

  4. Zou, L., Liu, D., Zheng, H.: (α, β)-Generalized Lock Resolution of Intuitionistic Fuzzy Logic. Journal of Frontiers of Computer Science and Technology (2015)

    Google Scholar 

  5. Xu, Y., Li, X., Liu, J., Ruan, D.: Determination of alpha-resolution for lattice-valued first-order logic based on lattice implication algebra. In: Proc. 2007 International Conference on Intelligent Systems and Knowledge Engineering, pp. 1638–1645 (2007)

    Google Scholar 

  6. Pei, Z., Xu, Y., Ruan, D., Qin, K.: Extracting complex linguistic data summaries from personnel database via simple linguistic aggregations. Information Sciences 179, 2325–2332 (2009)

    Article  MATH  Google Scholar 

  7. Pei, Z., Ruan, D., Xu, Y., Liu, J.: Handling linguistic web information based on a Multi-agent system. Int. J. Intelligent Systems 22, 435–453 (2007)

    Article  MATH  Google Scholar 

  8. Chen, S.W., Liu, J., Wang, H., Xu, Y., Augusto, J.C.: A linguistic multi-criteria decision making approach based on logical reasoning. Information Sciences 258, 266–276 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  9. Pei, Z.: Fuzzy risk analysis based on linguistic information fusion. ICIC Express Letters 3(3), 325–330 (2009)

    MathSciNet  Google Scholar 

  10. Pei, Z., Shi, P.: Fuzzy risk anal sis based on linguistic aggregation operators. Int. J. Innovative Computing, Information and Control 7(12), 7105–7118 (2011)

    Google Scholar 

  11. He, X., Xu, Y., Li, Y., Liu, J., Martinez, L., Ruan, D.: α-Satisfiability and α-Lock Resolution for a Lattice-Valued Logic LP(X). In: The 5th International Conference on Hybrid Artificial Intelligence Systems, pp. 320–327. San Sebastian, Spain (2010)

    Google Scholar 

  12. Zou, L., Ruan, D., Pei, Z., Xu, Y.: A linguistic truth-valued reasoning approach in decision making with incomparable information. Journal of Intelligent and Fuzzy Systems 19(4–5), 335–343 (2008)

    MATH  Google Scholar 

  13. Zou, L., Liu, X., Wu, Z., Xu, Y.: A uniform approach of linguistic truth values in sensor evaluation. Int. J. Fuzzy Optimiz. Decision Making 7(4), 387–397 (2008)

    Article  MATH  Google Scholar 

  14. Zou, L., et al.: Linguistic-valued layered concept lattice and its rule extraction. International Journal of Machine Learning and Cybernetics, 1–16 (2021)

    Google Scholar 

  15. Zou, L.: Studies on Lattice-Valued Propositional Logic and its Resolution-Based Automatic Reasoning Based on Linguistic Truth - valued Lattice implication Algebra. Southwest Jiaotong University (2010)

    Google Scholar 

Download references

Acknowledgements

This work is partially supported by the National Natural Science Foundation of P.R. China (Nos. 61772250, 62176142), Foundation of Liaoning Educational Committee (No. LJ2020007) and Special Foundation for Distinguished Professors of Shandong Jianzhu University.

Author information

Authors and Affiliations

  1. School of Computer Science and Technology, Shandong Jianzhu University, Jinan, 250102, China

    Tie Hou & Li Zou

  2. School of Computing and Mathematics, Ulster University, Northern Ireland, BT456DB, UK

    Nan Li

  3. School of Information Engineering, Liaoyang Vocational College of Technology, Liaoyang, 111000, China

    Yanfang Wang

  4. Information Science and Technology College, Dalian Maritime University, Dalian, 116026, China

    Kuo Pang

Authors
  1. Tie Hou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nan Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yanfang Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kuo Pang
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Li Zou
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Li Zou .

Editor information

Editors and Affiliations

  1. East China Normal University, Shanghai, China

    Yixiang Chen

  2. Chinese Academy of Sciences, Beijing, China

    Songmao Zhang

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Hou, T., Li, N., Wang, Y., Pang, K., Zou, L. (2022). (α, β) - Colored Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy Logic. In: Chen, Y., Zhang, S. (eds) Artificial Intelligence Logic and Applications. AILA 2022 2022. Communications in Computer and Information Science, vol 1657. Springer, Singapore. https://doi.org/10.1007/978-981-19-7510-3_6

Download citation

  • DOI: https://doi.org/10.1007/978-981-19-7510-3_6

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-19-7509-7

  • Online ISBN: 978-981-19-7510-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation