Logical properties of belief-revision-based bargaining solution

Research output: Chapter in Book / Conference PaperConference Paperpeer-review

3 Citations (Scopus)

Abstract

This paper explores logical properties of belief-revision-based bargaining solution. We first present a syntax-independent construction of bargaining solution based on prioritized belief revision. With the construction, the computation of bargaining solution can be converted to the calculation of maximal consistent hierarchy of prioritized belief sets. We prove that the syntax-independent solution of bargaining satisfies a set of desired logical properties for agreement function and negotiation function. Finally we show that the computational complexity of beliefrevision- based bargaining can be reduced to δP2 [O(log n)].

Original languageEnglish
Title of host publicationAI 2006
Subtitle of host publicationAdvances in Artificial Intelligence - 19th Australian Joint Conference on Artificial Intelligence, Proceedings
PublisherSpringer Verlag
Pages79-89
Number of pages11
ISBN (Print)9783540497875
DOIs
Publication statusPublished - 2006
Event19th Australian Joint Conference onArtificial Intelligence, AI 2006 - Hobart, TAS, Australia
Duration: 4 Dec 20068 Dec 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4304 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference19th Australian Joint Conference onArtificial Intelligence, AI 2006
Country/TerritoryAustralia
CityHobart, TAS
Period4/12/068/12/06

Keywords

  • Automated negotiation
  • Bargaining theory
  • Belief revision

Fingerprint

Dive into the research topics of 'Logical properties of belief-revision-based bargaining solution'. Together they form a unique fingerprint.

Cite this