Entra en configuracion de sonido de la PS3 y marcas el HDMI como salida de sonido, en la siguiente opcion marcas los codecs de sonido soportados por tu receptor AV y Listo.

Eso suponiendo que tienes la PS3 conectada por HDMI al receptor y este tambien por HDMI al TV.

Yo el Sonido lo tengo por optico porque mi receptor no tiene HDMI