Research on protocol of argument-negotiation system based on Agent