Attribute reduction and rule acquisition of formal decision context based on two new kinds of decision rules