Explanatory model for the break of logic equivalence by irrational agents in Elkan's paradox

Authors:
Germano Resconi;Boris Kovalerchuk
Affiliations:
Dept. of Mathematics and Physics, Catholic University, Brescia, Italy;Dept. of Computer Science, Central Washington University, Ellensburg, WA
Venue:
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Year:
2007

Citing 7
Cited 0

Canonical forms of fuzzy truthoods by meta-theory based upon modal logic

Information Sciences: an International Journal
Fuzzy Logic: Misconceptions and Clarifications

Artificial Intelligence Review
The Paradoxical Success of Fuzzy Logic

IEEE Expert: Intelligent Systems and Their Applications
Elkan's Reply: The Paradoxical Controversy over Fuzzy Logic

IEEE Expert: Intelligent Systems and Their Applications
Fuzzy reasoning and the logics of uncertainty

MVL '76 Proceedings of the sixth international symposium on Multiple-valued logic
On Some Alleged Misconceptions about Fuzzy Logic

Artificial Intelligence Review
Logic as a Vector System

Journal of Logic and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.