A fixed-point property of logic-based bargaining solution

Dongmo Zhang; Wayne Wobcke; Mengjie Zhang

A fixed-point property of logic-based bargaining solution

Dongmo Zhang, Wayne Wobcke, Mengjie Zhang

School of Computer, Data & Mathematical Sciences

Research output: Chapter in Book / Conference Paper › Conference Paper

Abstract

This paper presents a logic-based bargaining solution based on Zhang and Zhang's framework. It is shown that if the demand sets of players are logically closed, the solution satisfies a fixed-point property, which says that the outcome of bargaining is the result of mutual belief revision. The result is interesting not only because it presents a desirable logical property of bargaining solution but also establishes a link between bargaining theory and multi-agent belief revision.

Original language	English
Title of host publication	AI 2008: Advances in Artificial Intelligence: 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 1-5, 2008: Proceedings
Publisher	Springer
Number of pages	12
ISBN (Print)	9783540893776
Publication status	Published - 2008
Event	Australasian Joint Conference on Artificial Intelligence - Duration: 1 Dec 2013 → …

Conference

Conference	Australasian Joint Conference on Artificial Intelligence
Period	1/12/13 → …

Keywords

logic programming
fixed point theory
intelligent control systems
logic
artificial intelligence
negotiation

Cite this

@inproceedings{237e875822fb4d5c8aeef8346d096c50,

title = "A fixed-point property of logic-based bargaining solution",

abstract = "This paper presents a logic-based bargaining solution based on Zhang and Zhang's framework. It is shown that if the demand sets of players are logically closed, the solution satisfies a fixed-point property, which says that the outcome of bargaining is the result of mutual belief revision. The result is interesting not only because it presents a desirable logical property of bargaining solution but also establishes a link between bargaining theory and multi-agent belief revision.",

keywords = "logic programming, fixed point theory, intelligent control systems, logic, artificial intelligence, negotiation",

author = "Dongmo Zhang and Wayne Wobcke and Mengjie Zhang",

year = "2008",

language = "English",

isbn = "9783540893776",

booktitle = "AI 2008: Advances in Artificial Intelligence: 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 1-5, 2008: Proceedings",

publisher = "Springer",

note = "Australasian Joint Conference on Artificial Intelligence ; Conference date: 01-12-2013",

}

TY - GEN

T1 - A fixed-point property of logic-based bargaining solution

AU - Zhang, Dongmo

AU - Wobcke, Wayne

AU - Zhang, Mengjie

PY - 2008

Y1 - 2008

N2 - This paper presents a logic-based bargaining solution based on Zhang and Zhang's framework. It is shown that if the demand sets of players are logically closed, the solution satisfies a fixed-point property, which says that the outcome of bargaining is the result of mutual belief revision. The result is interesting not only because it presents a desirable logical property of bargaining solution but also establishes a link between bargaining theory and multi-agent belief revision.

AB - This paper presents a logic-based bargaining solution based on Zhang and Zhang's framework. It is shown that if the demand sets of players are logically closed, the solution satisfies a fixed-point property, which says that the outcome of bargaining is the result of mutual belief revision. The result is interesting not only because it presents a desirable logical property of bargaining solution but also establishes a link between bargaining theory and multi-agent belief revision.

KW - logic programming

KW - fixed point theory

KW - intelligent control systems

KW - logic

KW - artificial intelligence

KW - negotiation

UR - http://handle.uws.edu.au:8081/1959.7/45296

M3 - Conference Paper

SN - 9783540893776

BT - AI 2008: Advances in Artificial Intelligence: 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 1-5, 2008: Proceedings

PB - Springer

T2 - Australasian Joint Conference on Artificial Intelligence

Y2 - 1 December 2013

ER -

A fixed-point property of logic-based bargaining solution

Abstract

Conference

Keywords

Other files and links

Fingerprint

Cite this