Theories for Computing Prosocial Behavior