Abstract
Based on 6-elements linguistic truth-valued lattice implication algebras this paper discusses 6-elements linguistic truth-valued first-order logic system. With some special properties of 6-elements linguistic truth-valued first-order logic, we discussed the satisfiable problem of 6-elements linguistic truth-valued first-order logic and proposed a resolution method of 6-elements linguistic truth-valued first-order logic. Then the resolution algorithm is presented and an example illustrates the effectiveness of the proposed method.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Xu, Y.: Lattice implication algebras. J. Southwest Jiaotong Univ. 89(1), 20–27 (1993)
Martinez, L., Ruan, D., Herrera, F.: Herrera, Computing with words in decision support systems: an overview on models and applications. International Journal of Computational Intelligence Systems 3(4), 382–395 (2010)
Herrera, F., Martinez, L.: A 2-Tuple fuzzy linguistic representation model for computing with words. IEEE Transactions on Fuzzy Systems 8(6), 746–752 (2000)
Xu, Y., Ruan, D., Qin, K.Y., Liu, J.: Lattice-Valued Logic: An alternative approach to treat fuzziness and incomparability. Springer, Heidelberg (2003)
Ho, N.C., Long, N.V.: Fuzziness measure on complete hedge algebras and quantifying semantics of terms in linear hedge algebras. Fuzzy Sets and Systems 158, 452–471 (2007)
Xu, Y., Liu, J., Ruan, D., Lee, T.T.: On the consistency of rule bases based on lattice-valued first-order logic LF(x). International Journal of Intelligent Systems 21, 399–424 (2006)
Xu, Y., Li, X.B., Liu, J., Ruan, D.: Determination of a-resolution for lattice-valued first-order logic based on lattice implication. In: Proc. 2007 International Conference on Intelligent Systems and Knowledge Engineering, pp. 1567–1574 (2007)
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)
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)
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)
Pei, Z.: Fuzzy risk analysis based on linguistic information fusion. ICIC Express Letters 3(3), 325–330 (2009)
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)
He, X.X., Xu, Y., Li, Y.F., Liu, J., Martinez, L., Ruan, D.: α-satisfiability andα-lock resolution for a lattice-valued logic. In: The 5th International Conference on Hybrid Artificial Intelligence Systems, San Sebastian, Spain, pp. 320–327 (2010)
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)
Zou, L., Liu, X., Wu, Z., Xu, Y.: A uniform approach of linguistic truth values in sensor evaluation. International Journal of Fuzzy Optimization and Decision Making 7(4), 387–397 (2008)
Zou, L., Liu, X., Xu, Y.: Resolution method of linguistic truth-valued proposi tional logic. In: Proc. 2005 International Conference on Neural Networks and Brain, ICNN&B 2005, pp. 1996–1999 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zou, L., Liu, D., Wang, Y., Qu, J. (2015). Resolution Method of Six-Element Linguistic Truth-Valued First-Order Logic System. In: Wang, H., et al. Intelligent Computation in Big Data Era. ICYCSEE 2015. Communications in Computer and Information Science, vol 503. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-46248-5_5
Download citation
DOI: https://doi.org/10.1007/978-3-662-46248-5_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-46247-8
Online ISBN: 978-3-662-46248-5
eBook Packages: Computer ScienceComputer Science (R0)