Logic for Automated Negotiation in E-Business

Automated negotiation is an important applying field of agent theory and technology. For the current agent theoretical models have some troubles´ in explaining the agent´s negotiation behaviors, this paper defines utility as costs and incomes coming from transformation from one negotiation´s possible state to another, this lead to a semantic model fitting the agent´s automated negotiation. Then, on base of the classical belief-desire-intention model, a logic named BDI-U is completely proposed, which can support the agent´s negotiating behavior. The work performs five steps: designing formal language, designing semantic model, explaining semantics, proposing and explaining axiom, proving validity proof for the axioms.