Explanatory Model for the Break of Logic Equivalence by Irrational Agents in Elkan’s Paradox
Fuzzy logic breaks logic equivalence of statements such as (A∧B)∨(¬A∧B)∨(A∧ ¬B) and A∨B. It breaks the symmetry of use of such logically equivalent statements. There is a controversy about this property. It is called a paradox (Elkan’s paradox) and interpreted as a logical weakness of fuzzy logic. In the opposite view, it is not a paradox but a fundamental postulate of fuzzy logic and one of the sources of its success in applications. There is no explanatory model to resolve this controversy. This paper provides such a model using a vector/matrix logic of rational and irrational agents that covers scalar classical and fuzzy logics. It is shown that the classical logic models rational agents, while fuzzy logic can model irrational agents. Rational agents do not break logic equivalence in contrast with irrational agents. We resolve the paradox by showing that the classical and fuzzy logics have different domains of rational and irrational agents.
KeywordsFuzzy logic classical logic explanatory model logic equivalence irrational agent inconsistent agent rational agent paradox
Unable to display preview. Download preview PDF.
- 3.Resconi, G., Kovalerchuk, B.: The Logic of Uncertainty with irrational Agents. JCIS (2006)Google Scholar
- 4.Resconi, G.: Agents and Lattice, ISKE (2006)Google Scholar
- 5.Resconi, G., Türkşen, I.B.: Truthoods based on an Additive Semantic Measure with Break of Global Symmetry in model Logic. IJF (2006)Google Scholar
- 6.Elkan, C.: The Paradoxical Success of Fuzzy Logic. IEEE Expert with fifteen responses 3(8), 9–46 (1994)Google Scholar
- 7.Elkan, C.: The Paradoxical Controversy over Fuzzy Logic. IEEE Expert, 47–49 (1994)Google Scholar
- 8.Resconi, G., Jain, L.C.: Intelligent Agents, Theory and Applications. In: Studies in Fuzziness and Soft Computing, vol. 155, Springer, Heidelberg (2004)Google Scholar
- 10.Gaines, B.R.: Fuzzy reasoning and the logics of uncertainty, Multiple-Valued Logic. In: Proceedings of the sixth international symposium on Multiple-valued logic, Logan, Utah, pp. 179–188 (1976)Google Scholar
- 11.Kovalerchuk, B.: Analysis of Gaines’s logic of uncertainty. In: Turksen, I.V. (ed.) A Quarter Century of Fuzziness, Approximate Reasoning and Knowledge Engineering. In: Proc. of NAFIPS 1990 conference, Toronto, vol. 2, pp. 293–295 (1990)Google Scholar
- 12.Kovalerchuk, B., Resconi, R.: Break of Logic Symmetry by Self-conflicting Agents: Descriptive vs. Prescriptive Rules. In: IEEE Intern. Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 2007, Boston, pp. 348–353 (2007)Google Scholar