Symbolic negotiation in linear logic with coalition formation
2006 (English)In: 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Proceedings / [ed] Nishida, T; Klusch, M; Sycara, K; Yokoo, M; Liu, J; Wah, B; Cheung, W; Cheung, YM, IEEE Computer Society, 2006, 298-305 p.Conference paper (Refereed)
In this paper we present a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is extended with negotiation-specific rules. The underlying CPS formalism based on linear logic was previously presented in . Here we extend the formalism with symbolic negotiation and coalition formation rules. Moreover, we position symbolic negotiation regarding other distributed problem solving mechanisms. Although there exist currently several formalisms for symbolic negotiation, none of them seems to involve coalition formation.
Place, publisher, year, edition, pages
IEEE Computer Society, 2006. 298-305 p.
IdentifiersURN: urn:nbn:se:kth:diva-42423DOI: 10.1109/IAT.2006.116ISI: 000245650000047ScopusID: 2-s2.0-38949129091ISBN: 978-0-7695-2748-2OAI: oai:DiVA.org:kth-42423DiVA: diva2:447161
2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT'06; Hong Kong; China; 18 December 2006 through 22 December 2006
QC 201110112011-10-112011-10-102014-11-12Bibliographically approved