Title :
A Formal Environment for Describing Negotiation Capabilities
Author :
de la Encina, A. ; Hidalgo-Herrero, Mercedes ; López, Natalia
Author_Institution :
Univ. Complutense de Madrid, Madrid
Abstract :
In this paper we introduce a formal framework to help describing negotiation architectures. The model allows to specify the preferences of the entities involved in the system, and also allows to perform exchanges among the entities appearing in the system. The model is described by using a simple process algebra. By using it, the negotiation entities are easily structured in a hierarchical way. Moreover, it is possible to reason about the Pareto optimality of the distributions obtained after the exchanges.
Keywords :
Pareto optimisation; process algebra; Pareto optimality; formal environment; negotiation capabilities; simple process algebra; Algebra; Cognitive informatics; Decision making; Programming environments; Proposals; System recovery;
Conference_Titel :
Cognitive Informatics, 6th IEEE International Conference on
Conference_Location :
Lake Tahoo, CA
Print_ISBN :
9781-4244-1327-0
Electronic_ISBN :
978-1-4244-1328-7
DOI :
10.1109/COGINF.2007.4341894
