DocumentCode
1561710
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
fYear
2007
Firstpage
222
Lastpage
231
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/COGINF.2007.4341894
Filename
4341894
Link To Document