The use of paraconsistent logic in negotiation among artificial organizations

The mission of an organization stands for its goals and also leads corrections likely to occur in the posture adopted by the organization before the society. In order to fulfill the goals and achieved the mission of the organization, this one needs to interact with other components of the society. One kind of interaction which is very useful for organizations is the negotiation. To obtain a good result in a negotiation the responsible for the negotiation must use a good negotiation strategy; also he must know how to evaluate an offer according to the organization needings. The result of the offer evaluation will determine the actions that will be taken by the negotiator, either the offer will be accepted or a counter offer will be created. The use of paraconsistent logic provides a natural way, when compared to the utility value approach, to represent and evaluate the offer according to the organization knowledge. This paper presents a paraconsistent approach based on a heuristic of multi-valued decrement list followed by formalization into evidential paraconsistent logic to evaluate offers in a negotiation session.