Reaching agreements through argumentation: a logical model and implementation
Artificial Intelligence
A Framework for Multi-Agent Belief Revision, Part I: The Role of Ontology
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Strategic trading agents via market modelling
ACM SIGecom Exchanges
Logical foundations of negotiation: outcome, concession and adaptation
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Negotiation as mutual belief revision
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
A computational model of logic-based negotiation
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Mutual belief revision: semantics and computation
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Logical properties of belief-revision-based bargaining solution
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Hi-index | 0.00 |
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.