Abstract
This paper deals with the problem of synthesizing by conjunction a finite set of rules \(\mu_{i} \longrightarrow(1\leq i \leq n)\) into a single one \(\mu_{1} . \mu{2}...\mu{n} \longrightarrow \sigma_{1} . \sigma{2}...\sigma{n}\), and depending on the conditional’s representation. It is proven that, among the usual five types of fuzzy conditionals, the problem is only solved by the Mamdani-Larsen’s type min-conditionals.
This paper is partially supported by the Foundation for the Advancement of Soft Computing (Asturias, Spain), and CICYT (Spain) under grant TIN2008-06890-C02-01.
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
Whitehead, A., Russell, B.: Principia Mathematica. Cambridge University Press (1912)
Sowa, J.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing (2000)
Birkhoff, G.: Lattice Theory. American Mathematical Society Colloquium Publications (1967)
Beran, L.: Orthomodular Lattices. D. Reidel Pubs (1985)
Trillas, E., Renedo, E., Alsina, C.: On three laws typical of Booleanity. In: Proceedings NAFIPS 2004, vol. 2 (2004)
Trillas, E., Alsina, C., Pradera, A.: On a class of Fuzzy Set Theories. In: Proc. FUZZ-IEEE 2007, London, pp. 1–5 (2007)
Pradera, A., Trillas, E., Guadarrama, S., Renedo, E.: On fuzzy set theories. In: Wang, P., Ruan, D., Kerre, E. (eds.) Fuzzy Logic. A spectrum of Theoretical and Practical Issues. Studies in Fuzziness and Soft Computing, vol. 215, pp. 15–47. Springer, Heidelberg (2007)
Nguyen, H., Walker, E.: A First Course in Fuzzy Logic. Chapman & Hall/CRC (2000)
Cordón, O., Herrera, F., Peregr´ın, A.: Applicability of the fuzzy operators in the design of fuzzy logic controllers. Fuzzy Sets and Systems 86(1), 15–41 (1997)
Trillas, E., Mas, M., Monserrat, M., Torrens, J.: On the representation of fuzzy rules. International Journal of Approximate Reasoning 48(2), 583–597 (2008)
Campo, C., Trillas, E.: On Mamdani-Larsen’s type fuzzy implications. In: Proc. Int. Conf. on Information Processing and Management of Uncertainty in Knowlegge-based Systems, IPMU 2000, Madrid, vol. 2, pp. 712–716 (July 2000)
Alsina, C., Frank, M.J., Schweizer, B.: Associative Functions. Triangular Norms and Copulas. World Scientific, Singapore (2006)
Moraga, C., Trillas, E., Guadarrama, S.: Multiple-valued logic and artificial intelligence: Fundamentals of fuzzy control revisited. Artif. Intell. Rev. 20(3-4), 169–197 (2003)
Türksen, I., Kreinovich, V., Yager, R.: A new class of fuzzy implications. Axioms of fuzzy implication revisited. Fuzzy Sets and Systems 100(1-3), 267–272 (1998)
Trillas, E., Alsina, C., Pradera, A.: On mpt-implication functions for fuzzy logic. Rev. R. Acad. Cien. Serie A. Mat. 98(1), 259–271 (2004)
Trillas, E., Alsina, C.: On the law [p ∧ q → r] = [(p → r) ∨ (q → r)]. IEEE Transactions on Fuzzy Systems 10(1), 84–88 (2002)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Trillas, E., Alsina, C. (2012). From Leibniz’s Shinning Theorem to the Synthesis of Rules through Mamdani-Larsen Conditionals. In: Trillas, E., Bonissone, P., Magdalena, L., Kacprzyk, J. (eds) Combining Experimentation and Theory. Studies in Fuzziness and Soft Computing, vol 271. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24666-1_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-24666-1_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24665-4
Online ISBN: 978-3-642-24666-1
eBook Packages: EngineeringEngineering (R0)