Knowledge reduction in decision formal contexts