Logical representation of preferences for group decision making