Abstract
This chapter deals with specific way of inferences possible in the framework of Compensatory Fuzzy Logic (CFL). It introduces new and useful inference systems based on CFL. They will be called Compensatory Inference Systems (CIS). It is a generalization of the deduction like in mathematical logic, with implication operators found in the literature regarding fuzzy logic. CIS is a combination of one Compensatory Logic and an implication operator. Every CIS is a logically rigorous inference system with easy application. In addition CIS may be coherently associated with the methods of deduction of the mathematical logic. The theoretical basis of this association is proved in this chapter. Valid formulas and right deductive structures according CFL are the new concepts introduced here. The formulas of the propositional calculus are valid in the bivalent logic if and only if they are valid according CFL. The same result is introduced for deductive right structures. The relevance of these results for approximate reasoning and knowledge discovery are illustrated. Further more, probabilistic properties expressed in a theorem allow applying statistical inference in the framework of CFL. This theorem expresses that the universal proposition over a sample can be a statistic estimator of the corresponding universal proposition over the entire universe. Thus CFL joins logical and statistical inferences and gives logical models of automated learning with properties of a statistical estimator.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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
Buchanan, B.G., Shortliffe, E.H.: Knowledge Engineering. Rule-Based Expert Systems –The MYCIN Experiments of the Stanford Heuristic Programming Project. In: Buchanan, B.G., Shortliffe, E.H. (eds.) Reading, pp. 147–158. Addison-Wesley, Massachusetts (1984)
Detyniecki, M.: Mathematical aggregation operators and their application to video querying. Paris, University of Paris VI. Ph.D. Thesis (2001)
Dubois, D., et al.: In: Gabbay, D.M., Woods, J. (eds.) Fuzzy-Set Based Logic- An History -Oriented Presentation of their Main Developments Handbook of the History of Logic, pp. 325–449. North-Holland, Elsevier BV (2007)
Espin, R., et al.: Un sistema lógico para el razonamiento y la toma de decisio-nes: la Lógica Difusa Compensatoria Basada en la Media Geométrica (A logic system for reasoning and decision making: Compensatory Fuzzy Logic on Geometric Mean). Revista Investigación Operacional 32, 230–245 (2011) (in Spanish)
Gallier, J.H.: Logic for Computer Science: Foundations of Automatic Theorem Proving. Harper & Row Publishers (1986)
Jang, J.-S., et al.: Neuro-fuzzy and soft computing: a computational approach to learning and machine intelligence. Prentice-Hall, Inc., Upper Saddle River (1997)
Jayaram, B.: On the Law of Importation in Fuzzy Logic. IEEE Transactions on Fuzzy Systems 16, 130–144 (2008)
Mitrinovic, D.S., et al.: Classical and New Inequalities in Analysis. Kluwer Academic Publishers, Dordrecht (1993)
Mizumoto, M.: Pictorial Representations of Fuzzy Connectives: Part II. Cases of Compensatory Operators and Self-Dual Operators. Fuzzy Sets and Systems 32, 45–79 (1989)
Nóvak, V., Dvorák, A.: Research Report No.125: Fuzzy Logic: A powerful Tool for Modeling of Vagueness. Ostrava, University of Ostrava (2008)
Novák, V.: Reasoning about mathematical fuzzy logic and its future. Fuzzy Sets and Systems 192, 25–44 (2012)
Rosete, A., et al.: A General Method for Knowledge Discovery Using Compensatory Fuzzy Logic and Metaheuristics. In: Espin, R., Marx, J., Racet, A. (eds.) Toward a Trans-Disciplinary Technology for Business Intelligence, pp. 240–268. Shaker Verlag (2011)
Zadeh, L.: Some reflections on soft computing, granular computing and their roles in the conception, design and utilization of information/intelligent systems. Soft Computing 2, 23–25 (1998)
Zadeh, L.: From computing with numbers to computing with words –from manipulation of measurements to manipulation of perceptions. International Journal of Applied Mathematics and Computational Sciences 3, 307–324 (2002)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Andrade, R.A.E., González, E., Fernández, E., Alonso, M.M. (2014). Compensatory Fuzzy Logic Inference. In: Espin, R., Pérez, R., Cobo, A., Marx, J., Valdés, A. (eds) Soft Computing for Business Intelligence. Studies in Computational Intelligence, vol 537. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-53737-0_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-53737-0_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-53736-3
Online ISBN: 978-3-642-53737-0
eBook Packages: EngineeringEngineering (R0)