Abstract
Automatic reasoning based on propositional logic is considered as an important tool in machine learning, and intuitionistic fuzzy sets have turned out to deal with vague and uncertain information effectively in real world. In this paper, a novel plausible reasoning based on intuitionistic fuzzy propositional logic is proposed. On the basis of it, the categories of intuitionistic fuzzy logic proposition (IFLP) formula are discussed both considering the true degree and the false degree at the same time. Some basic operational laws and inference rules of IFLPs on the basis of closely-reasoned scientific proofs are put out. Then, we develop two classification methods of IFLPs, i.e., truth table and figure of equivalence, respectively. After that, the reasoning theory of IFLPs is introduced and three reasoning methods are further established including direct proof method, additional premise proof method and reduction to absurdity method, respectively. Finally, a case study about strategy initiatives of HBIS GROUP on Supply-side Structural Reform is presented and some discussions are provided to validate the proposed methods. As a result, the proposed methods based on the plausible reasoning offer sound structure and can improve the efficiency of logic programming.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Atanassov, K. T. (1986). Intuitionistic fuzzy sets. Fuzzy Sets and Systems,20, 87–96.
Atanassove, K. (2012). On intuitionistic fuzzy sets theory (Vol. 283). Berlin: Springer.
Bao, T. T., Xie, X. L., Long, P. Y., & Wei, Z. K. (2017). MADM method based on prospect theory and evidential reasoning approach with unknown attribute weights under intuitionistic fuzzy environment. Expert Systems with Applications,88, 305–317.
Bartoli, J. A., & Lemoigne, J. L. (1994). Qualitaitve reasoning and complex symbol processing. Mathematics and Computers in Simulation,36(2), 129–136.
Damaj, I., Saade, J., Al-Faisal, H., & Diab, H. (2018). Fuzzy inference procedure for intelligent and automated control of refrigerant charging. International Journal of Fuzzy Systems,20(6), 1790–1807.
Dempster, A. P. (1967). Upper and lower probabilities induced by a multivalued mapping. Annals of Mathematical Statistics,38(2), 325–339.
Derrac, J., & Schockaert, S. (2015). Inducing semantic relations from conceptual spaces: A data-driven approach to plausible reasoning. Artificial Intelligence,228, 66–94.
Dubois, D., & Prade, H. (1980). Fuzzy sets and systems: Theory and applications. New York: Kluwer.
Lawry, J. (1997). An inductive method for inexact reasoning. International Journal of Approximate Reasoning,16(2), 205–221.
McAbee, S. T., Landis, R. S., & Burke, M. I. (2017). Inductive resoning: The promise of big data. Human Resource Management Review,27(2), 277–290.
Melin, P., & Castillo, O. (2014). A review on type-2 fuzzy logic applications in clustering, classification and pattern recognition. Applied Soft Computing,21, 568–577.
Pang, Q., Wang, H., & Xu, Z. S. (2016). Probabilistic linguistic term sets in multi-attribute group decision making. Information Sciences,369, 128–143.
Parsons, S. (1996). Current approaches to handling imperfect information in data and knowledge bases. IEEE Transaction on Knowledge and Data Engineering,8(3), 353–372.
Peng, H., Wang, J., Perez-Jimenez, M. J., Wang, H., Shao, J., & Wang, T. (2013). Fuzzy reasoning spiking neural P system for fault diagnosis. Information Sciences,235, 106–116.
Rodriguez, R. M., Martinez, L., & Herrera, F. (2012). Hesitant fuzzy linguistic term sets for decision making. IEEE Transactions on Fuzzy Systems,20, 109–119.
Sandewall, E. (2011). From systems to logic in the early development of nonmonotonic reasoning. Artificial Intelligence,175(1), 416–427.
Sun, L., & Wang, Y. Z. (2018). A multi-attribute fusion approach extending Dempster–Shafer theory for combinatorial-type evidences. Expert Systems with Applications,96, 218–229.
Weigert, T. J., Tsai, J. P., & Liu, X. H. (1993). Fuzzy operator logic and fuzzy resolution. Journal of Automated Reasoning,10(1), 59–78.
Xu, Z. S. (2007). Intuitionistic preference relations and their application in group decision making. Information Sciences,177(11), 2363–2379.
Xu, Y., Liu, J., Ruan, D., & Li, X. D. (2011). Determination of α-resolution in lattice-valued first-order logic LF(x). Inforamtion Sciences,181(10), 1836–1862.
Zadeh, L. A. (1965). Fuzzy sets. Information and Control,8, 338–353.
Zadeh, L. A. (1996). Fuzzy logic = computing with words. IEEE Transactions on Fuzzy Systems,4, 103–111.
Zdanowicz, P., & Petrovic, D. (2018). New mechanisms for reasoning and impacts accumulation for rule-based fuzzy cognitive maps. IEEE Transactions on Fuzzy Systems,26(2), 543–555.
Zou, L., Li, X. N., Pan, C., & Liu, X. (2017). (α, β)-Ordered linear resolution of intuitionistic fuzzy propositional logic. Information Sciences,414, 329–339.
Acknowledgements
The work was supported by the National Natural Science Foundation of China (Nos. 71571123, 71771155 and 71801174) the Fundamental Research Funds for the Central Universities under Grant YJ202015.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Wang, X., Xu, Z. & Gou, X. A novel plausible reasoning based on intuitionistic fuzzy propositional logic and its application in decision making. Fuzzy Optim Decis Making 19, 251–274 (2020). https://doi.org/10.1007/s10700-020-09319-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10700-020-09319-8