Semantics for E-Commerce Oriented Automated Negotiation Communication Language

Existing Agent communication language KQML (Knowledge Query Manipulation Language) has obvious flaw in semantic definition, more over, its function is insufficient in describing negotiation. This paper expands the speech acts of KQML, defines semantics of the new proposed speech acts base on a complete agent theoretical model. On the other hand, 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 the transformation of the possible negotiation states. This lead to a semantic model fitting the agent's automated negotiation. Then, on the basis of the classical Belief-Desire-Intention model, a model named BDI-U is completely proposed, which can support design and development of negotiating agent communication language. The work performs four steps: designing formal language, designing semantic model, explaining semantics, and defining semantics of negotiation communication language.