A Sort of Method for Rule Conflict Detection and Resolution Based on Post Constraint