Rationality Efficient LanguagesEfficient Languages
Cooperative approach
players use a meta–language to find the best language
minimizeE l(
‖s−iw(s)‖)
=
∫
Sl(
‖s−iw(s)‖)
F(ds) over measurable
functionsw:S→W andi:W→STheorem
Efficient languages exist.Remark
Proof requires analysis of optimal signaling systemswgiven some
interpretationi; then essentially compactness and continuity...