  In previous work, I introduced a measure-conjugacy invariant for sofic group
actions called sofic entropy. Here it is proven that the sofic entropy of an
amenable group action equals its classical entropy. The proof uses a new
measure-conjugacy invariant called upper-sofic entropy and a theorem of Rudolph
and Weiss for the entropy of orbit-equivalent actions relative to the orbit
change $\sigma$-algebra.
