Abstract
This paper presents a parameterized reasoning approach with uncertainty based on a lattice-valued logic system. In this uncertain reasoning approach, some parameters are used to represent uncertainty arising from different sources, which is a common phenomenon in rule-based systems. In our system, reasoning with different parameter values means reasoning with different levels of belief and consistency. Some methods are presented for selecting appropriate parameter values during the uncertain reasoning process which allow us to find suitable parameter values to meet the diverse practical and theoretical requirements.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Benferhat, S., Sossai, C.: Reasoning with Multiple-Source Information in a Possibilistic Logic Framework. Information Fusion 7, 80–96 (2006)
Chen, S.W., Xu, Y.: Uncertainty Reasoning Based on Lattice-Valued First-Order Logic L vfl . In: IEEE 2004 International Conference on Systems, Man, and Cybernetics, pp. 2237–2242. IEEE Press, New York (2004)
Chen, S., Xu, Y., Ma, J.: A Linguistic Truth-Valued Uncertainty Reasoning Model Based on Lattice-Valued Logic. In: Wang, L., Jin, Y. (eds.) FSKD 2005. LNCS (LNAI), vol. 3613, pp. 276–284. Springer, Heidelberg (2005)
Cignoli, R., D’Ottaviano, I., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Kluwer, Dordrecht (2000)
Gottwald, S.: A Treatise on Many-Valued Logics. In: Studies in Logic and Computation, vol. 9. Research Studies Press Ltd., Baldock (2001)
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1998)
Larsen, H.L., Yager, R.R.: A Framework for Fuzzy Recognition Technology. IEEE Trans. Syst. Man Cybern. Part C 30, 65–76 (2000)
Novak, V., Perfilieva, I., Mojckojr, J.: Mathematical Principles of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1999)
Pavelka, J.: On Fuzzy Logic I: Many-Valued Rules of Inference, II: Enriched Residuated Lattices and Semantics of Propositional Calculi, III: Semantical Completeness of Some Many-Valued Propositional Calculi. Zeitschr. F. Math. Logik und Grundlagend. Math. 25, 45–52, 119–134, 447–464 (1979)
Prado, R.P., Garcia-Galan, S., Munoz Exposito, J.E., Yuste, A.J.: Knowledge Acquisition in Fuzzy-Rule-Based Systems with Particle-Swarm Optimization. IEEE Trans. Fuzzy Syst. 18, 1083–1097 (2010)
Priest, G.: An Introduction to Non-Classical Logic, 2nd edn. Cambridge University Press, Cambridge (2008)
Sottara, D., Mello, P., Proctor, M.: A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information. IEEE Trans. Knowledge and Data Engineering 22, 1535–1548 (2010)
Turunen, E.: Algebraic Structures in Fuzzy Logic. Fuzzy Sets Syst. 52, 181–188 (1992)
Xu, Y., Ruan, D., Liu, J.: Approximate Reasoning Based on Lattice-Valued Propositional Logic L vpl . In: Ruan, D., Kerre, E.E. (eds.) Fuzzy Sets Theory and Applications, pp. 81–105. Kluwer Academic Publishers, Dordrecht (2000)
Xu, Y., Ruan, D., Qin, K.Y., Liu, J.: Lattice-Valued Logic: An Alternative Approach to Treat Fuzziness and Incomparability. Springer, Berlin (2003)
Xu, Y., Chen, S.W., Ma, J.: Linguistic Truth-Valued Lattice Implication Algebra and Its Properties. In: IMACS 2006 Multiconference on “Computational Engineering in Systems Applications”, pp. 1413–1418. IEEE Press, New York (2006)
Xu, Y., Chen, S.W., Liu, J., Ruan, D.: Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic. In: Melin, P., Castillo, O., Aguilar, L.T., Kacprzyk, J., Pedrycz, W. (eds.) IFSA 2007. LNCS (LNAI), vol. 4529, pp. 358–366. Springer, Heidelberg (2007)
Xu, Y., Liu, J., Ruan, D., Li, X.B.: Determination of α-Resolution in Lattice-Valued First-Order Logic LF(X). Inform. Sci. 181, 1836–1862 (2011)
Zadeh, L.A.: The Concepts of a Linguistic Variable and Its Applications to Approximate Reasoning, Part I, II, III. Inform. Sci. 8, 199–249, 301–357 (1975); 9, 43–80
Zhou, H.J., Wang, G.J., Zhou, W.: Consistency Degrees of Theories and Methods of Graded Reasoning in n-Valued R 0-Logic (NM-logic). Int. J. Approximate Reasoning 43, 117–132 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, S., Liu, J., Wang, H., Augusto, J.C. (2011). Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic. In: Liu, W. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2011. Lecture Notes in Computer Science(), vol 6717. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22152-1_49
Download citation
DOI: https://doi.org/10.1007/978-3-642-22152-1_49
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22151-4
Online ISBN: 978-3-642-22152-1
eBook Packages: Computer ScienceComputer Science (R0)