Symbolic Negotiation in Linear Logic with Coalition Formation

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 [7]...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kungas, Peep, Matskin, Mihhail
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Adaptive systems Applied computing > Operations research > Decision analysis Artificial intelligence Computer science Computing methodologies > Artificial intelligence > Distributed artificial intelligence > Cooperation and coordination Computing methodologies > Artificial intelligence > Distributed artificial intelligence > Intelligent agents Humans Information science Information systems > Information systems applications > Decision support systems Intelligent agent Logic Multiagent systems partial deduction Problem-solving
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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 [7]. 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.
DOI:	10.1109/IAT.2006.116