Thanks guys. I wasn't sure if it might have been mentioned in Rough Beasts
somewhere that I missed, or if perhaps DRGIII had said definitively whom she was named for somewhere online.
In lieu of anything being explicitly established, I would tend to presume that she's named for A.G. Robinson, too, just because presuming she's named for Jackie Robinson seems a little weird -- "We put the black captain on the ship named after a black athletics pioneer." Plus, I have a hard time picturing Starfleet naming ships of the line after professional athletes, even ones who break racial boundaries.