On the logic of iterated belief revision
Artificial Intelligence
Reaching agreements through argumentation: a logical model and implementation
Artificial Intelligence
Belief Fusion: Aggregating Pedigreed Belief States
Journal of Logic, Language and Information
Arbitration (or How to Merge Knowledge Bases)
IEEE Transactions on Knowledge and Data Engineering
A Logical Framework for Evolution of Specifications
ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
A Framework for Argumentation-Based Negotiation
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A negotiation-style framework for non-prioritised revision
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Logic-based approaches to information fusion
Information Fusion
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
A Fixed-Point Property of Logic-Based Bargaining Solution
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Logical foundations of negotiation: outcome, concession and adaptation
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
An ordinal bargaining solution with fixed-point property
Journal of Artificial Intelligence Research
Belief change based on global minimisation
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A logical model of Nash bargaining solution
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Algorithms and application in decision-making for the finest splitting of a set of formulae
Knowledge-Based Systems
On the measure of conflicts: Shapley Inconsistency Values
Artificial Intelligence
A logic-based axiomatic model of bargaining
Artificial Intelligence
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Logical properties of belief-revision-based bargaining solution
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Selective revision by deductive argumentation
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process
Fundamenta Informaticae
The process of reaching agreement in meaning negotiation
Transactions on Computational Collective Intelligence VII
Confluence operators and their relationships with revision, update and merging
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
This paper presents a logical framework for negotiation based on belief revision theory. We consider that a negotiation process is a course or multiple courses of mutual belief revision. A set of AGM-style postulates are proposed to capture the rationality of competitive and cooperative behaviors of negotiation. We first show that the AGM revision and its iterated extension is a special case of negotiation function. Then we show that a negotiation function can be constructed by two related iterated belief revision functions under a certain coordination mechanism. This provides a qualitative method for constructing negotiation space and rational concessions. It also shows glimpse of how to express game-theoretical concepts in logical framework.