Charles Elkan

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 …

  • Charles Elkan, David McAllester (1988). Automated Inductive Reasoning about Logic Programs. 5. ICLP / SLP
  • Charles Elkan (1989). Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving. IJCAI 1989, pdf

1990 …

2000 …

2010 …

References

  1. Homegage - Charles Elkan
  2. Charles Elkan (1989). Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving. IJCAI 1989, pdf
  3. dblp: Charles Elkan
  4. Charles Elkan - Selected publications
  5. k-means clustering from Wikipedia

Up one level