Difference between revisions of "Charles Elkan"

From Chessprogramming wiki
Jump to: navigation, search
(Created page with "'''Home * People * Charles Elkan''' FILE:CElkan.jpg|border|right|thumb|link=http://cseweb.ucsd.edu/~elkan/| Charles Elkan <ref>[http://cseweb.ucsd.edu/~e...")
 
 
Line 12: Line 12:
 
[[FILE:Venn1011.svg|border|right|thumb|240px|Implication]]
 
[[FILE:Venn1011.svg|border|right|thumb|240px|Implication]]
  
In 1993 Elkan identified a ''paradox'' that [https://en.wikipedia.org/wiki/Fuzzy_logic#Fuzzy_logic_operators fuzzy logic equivalents] (min, max, 1-x) of the equivalence of two re-expressions of the [https://en.wikipedia.org/wiki/Material_implication_(rule_of_inference) material implication] a → b
+
In 1993 Elkan identified a ''paradox'' that [https://en.wikipedia.org/wiki/Fuzzy_logic#Fuzzy_logic_operators fuzzy logic operators] (min, max, 1-x) applied to the equation of two re-expressions of the [https://en.wikipedia.org/wiki/Material_implication_(rule_of_inference) material implication] a → b
 
   ~(a & ~b) = (~a & ~b) | b
 
   ~(a & ~b) = (~a & ~b) | b
 
that is  
 
that is  
 
  1 - max(a, 1-b) = max(min(1-a, 1-b), b)
 
  1 - max(a, 1-b) = max(min(1-a, 1-b), b)
is not true for a < b < 0.5.
+
is not true if a < b < 0.5.
  
 
=Selected Publications=
 
=Selected Publications=
Line 34: Line 34:
 
==2000 ...==
 
==2000 ...==
 
* [[Charles Elkan]] ('''2001'''). ''The Foundations of Cost-Sensitive Learning''. [[Conferences#IJCAI|IJCAI 2001]]
 
* [[Charles Elkan]] ('''2001'''). ''The Foundations of Cost-Sensitive Learning''. [[Conferences#IJCAI|IJCAI 2001]]
* [[Charles Elkan]] ('''2001'''). ''Paradoxes of fuzzy logic, revisited''. [https://dblp.uni-trier.de/db/journals/ijar/ijar26.html International Journal of Approximate Reasoning, Vol. 26], No. 2], [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.7605 CiteSeerX]
+
* [[Charles Elkan]] ('''2001'''). ''Paradoxes of fuzzy logic, revisited''. [https://dblp.uni-trier.de/db/journals/ijar/ijar26.html International Journal of Approximate Reasoning, Vol. 26], No. 2, [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.7605 CiteSeerX]
 
* [[Mathematician#ETrillas|Enric Trillas]], [[Mathematician#CAlsina|Claudi Alsina]] ('''2001'''). ''Comments to "Paradoxes of fuzzy logic, revisited"''. [https://dblp.uni-trier.de/db/journals/ijar/ijar26.html International Journal of Approximate Reasoning, Vol. 26], No. 2, [https://core.ac.uk/download/pdf/82697342.pdf pdf]
 
* [[Mathematician#ETrillas|Enric Trillas]], [[Mathematician#CAlsina|Claudi Alsina]] ('''2001'''). ''Comments to "Paradoxes of fuzzy logic, revisited"''. [https://dblp.uni-trier.de/db/journals/ijar/ijar26.html International Journal of Approximate Reasoning, Vol. 26], No. 2, [https://core.ac.uk/download/pdf/82697342.pdf pdf]
 
* [[Mathematician#ETrillas|Enric Trillas]], [[Mathematician#CAlsina|Claudi Alsina]] ('''2001'''). ''Elkan's theoretical argument, reconsidered''. [https://dblp.uni-trier.de/db/journals/ijar/ijar26.html International Journal of Approximate Reasoning, Vol. 26], No. 2, [https://core.ac.uk/download/pdf/81951492.pdf pdf]
 
* [[Mathematician#ETrillas|Enric Trillas]], [[Mathematician#CAlsina|Claudi Alsina]] ('''2001'''). ''Elkan's theoretical argument, reconsidered''. [https://dblp.uni-trier.de/db/journals/ijar/ijar26.html International Journal of Approximate Reasoning, Vol. 26], No. 2, [https://core.ac.uk/download/pdf/81951492.pdf pdf]

Latest revision as of 21:33, 20 July 2019

Home * People * Charles Elkan

Charles Elkan [1]

Charles Elkan,
an American mathematician, computer scientist and professor in the computer science and engineering department at University of California, San Diego. His research interests include machine learning, neural networks, fuzzy logic, data mining, and analytics. In 1989, Charles Elkan applied conspiracy numbers to theorem proving [2], similar to Victor Allis' Proof-number search algorithm.

Fuzzy Paradox

Implication

In 1993 Elkan identified a paradox that fuzzy logic operators (min, max, 1-x) applied to the equation of two re-expressions of the material implication a → b

 ~(a & ~b) = (~a & ~b) | b

that is

1 - max(a, 1-b) = max(min(1-a, 1-b), b)

is not true if a < b < 0.5.

Selected Publications

[3] [4]

1988 ...

1990 ...

2000 ...

2010 ...

External Links

References

Up one level