A Type of Model of Rebut in Argumentation-based Negotiation Based on Agent

After the hypothesis of model has been built,a type of model of rebut in Argumentation-based ne- gotiation based on agent is set up by using the theory of formal logic,and some example is given.Based on it, a formal model of how to evaluate the negotiation strength of rebut in the model is also given,which is a kind of calculation.Finally,by using a relative example in real negotiation of agent,the negotiation strength of rebut in it is calculated after the relative data and weight has been given.Finally verify the validity of these two models.