[论文解读] Meaning Negotiation as Inference

Elisa Burato, Matteo Cristani+1 more|arXiv (Cornell University)|Jan 23, 2011

Multi-Agent Systems and Negotiation参考文献 48被引用 6

一句话总结

本文提出了一种适用于任意数量参与者的通用意义协商（MN）模型，将MN视为一种推理过程，其中参与方通过协商共同约束（角度）来确定术语意义。通过博弈论模型——双边MN使用讨价还价博弈，多边MN使用英式拍卖——作者形式化了通过推理系统（MND）达成一致的过程，确保一致性和充分性，使参与方能够在无需完全共识或依赖外部权威的情况下达成可接受的共同观点。

ABSTRACT

Meaning negotiation (MN) is the general process with which agents reach an agreement about the meaning of a set of terms. Artificial Intelligence scholars have dealt with the problem of MN by means of argumentations schemes, beliefs merging and information fusion operators, and ontology alignment but the proposed approaches depend upon the number of participants. In this paper, we give a general model of MN for an arbitrary number of agents, in which each participant discusses with the others her viewpoint by exhibiting it in an actual set of constraints on the meaning of the negotiated terms. We call this presentation of individual viewpoints an angle. The agents do not aim at forming a common viewpoint but, instead, at agreeing about an acceptable common angle. We analyze separately the process of MN by two agents (\emph{bilateral} or \emph{pairwise} MN) and by more than two agents (\emph{multiparty} MN), and we use game theoretic models to understand how the process develops in both cases: the models are Bargaining Game for bilateral MN and English Auction for multiparty MN. We formalize the process of reaching such an agreement by giving a deduction system that comprises of rules that are consistent and adequate for representing MN.

研究动机与目标

• 解决分布式系统中因参与方对术语意义存在不同观点而带来的意义协商（MN）挑战。
• 开发一种适用于任意数量参与方的通用MN模型，避免依赖外部权威或固定协议。
• 将协商过程形式化为一种逻辑推理系统，通过对话推导出可接受的共同角度。
• 分别使用博弈论框架——讨价还价博弈用于双边MN，英式拍卖用于多边MN——来建模双边与多边MN。
• 确保形式化系统在表示真实协商动态时既具可靠性又具充分性，且不假设参与方的可信度或真实性。

提出的方法

• 将每个参与方的观点表示为对术语意义的约束集合，称为“角度”——即个体知识的形式化表达。
• 使用讨价还价博弈建模双边MN，参与方通过迭代调整其角度以达成相互可接受的提议。
• 使用英式拍卖框架建模多边MN，其中第一个参与方提出一个角度，其他参与方按顺序接受或拒绝。
• 定义一个推理系统MND，包含推导出以同意或不同意结尾的对话流的推理规则。
• 使用如(RD-Ag)等规则，允许参与方基于对提议方的信任，以轻信方式接受其不完全认同的提议。
• 根据参与方知识之间的逻辑关系，对分歧类型进行形式化分类——绝对分歧、本质分歧、相对分歧与相容性分歧。

实验结果

研究问题

• RQ1 如何将意义协商建模为一种可扩展至任意数量参与方的逻辑推理过程？
• RQ2 何种博弈论机制最能体现双边与多边意义协商的动力学特征？
• RQ3 如何设计一个推理系统，以确保在推导协商对话流时具有一致性和充分性？
• RQ4 该系统必须满足哪些形式属性（例如，可靠性、完备性），才能在现实世界应用中保持可靠？
• RQ5 信任与策略行为如何影响意义协商的结果？这些因素又如何被形式化建模？

主要发现

• 所提出的MND推理系统为将意义协商建模为逻辑推理过程提供了正式、一致且充分的框架。
• 讨价还价博弈能有效建模双边MN，使参与方通过迭代优化其角度实现相互接受。
• 英式拍卖为多边MN提供了一种可扩展的机制，参与方按顺序评估提议，最终达成一个共同可接受的角度。
• 该系统允许参与方在无需完全共识或合并所有观点的前提下达成一致，从而保留了各自的视角。
• 分歧被正式划分为四类——绝对分歧、本质分歧、相对分歧与相容性分歧——依据参与方知识之间的逻辑关系。
• 该模型支持对提议的轻信接受，使即使参与方不完全认同，也能在基于对提议方信任的前提下推进协商。