Abstrakt. I detta dokument presenteras en logisk förhandlingslösning baserad på Zhang och Zhangs ramverk. Det visas att om efterfrågan uppsättningar av spelare är logiskt slutna, lösningen uppfyller en fast punkt egendom, som säger att resultatet av förhandlingar är resultatet av ömsesidig tro översyn. Resultatet är intressant inte bara därför att det ger en önskvärd logisk egenskap hos förhandlingslösning utan också skapar en koppling mellan förhandlingsteori och multiagentisk trosrevision.
REF visade att en översyn av lösningen uppfyller villkoret med fasta punkter.
A fixed-point property of logic-based bargaining solution
{'venue': 'In AI 2008', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}