一种基于算法机制设计的社会法则合成方法.pdfVIP

软件学报

ISSN

1000-9825,

CODEN

RUXUEWE-mail:

jos@

JournalofSoftware,2024,35(3):1440−1465

[doi:

10.13328/ki.jos.006825]

©中国科学院软件研究所版权所有.Tel:

+86-10

*

一种基于算法机制设计的社会法则合成方法

1,2122

吴

骏,

曹

杰,

王崇骏,

谢俊元

1(南京财经大学

江苏省电子商务重点实验室,

江苏

南京

210023)

2(计算机软件新技术国家重点实验室

(南京大学),

江苏

南京

210023)

通信作者:

王崇骏,

E-mail:

chjwang@

摘要:

社会法则是在多Agent系统中为确立某种目标属性而对各个Agent实施的行为限制集合.

在Agent具有

“个体理性”及“私有信息”的“策略情况”下,

社会法则合成问题不应建模成通常的优化问题,

而应建模成算法机制设

计问题.

“最小化副作用”经常是社会法则需要满足的基本要求.

从博弈论的角度来看,

“最小化副作用”与“最大化社

会福利”的概念紧密相关,

可以将“最小化副作用的社会法则合成”建模为一种效率机制设计问题.

不仅需要为给定

目标属性找到有效且社会福利最大的社会法则,

还需要向Agent支付适当的金额,

以实现激励相容性和个体理性.

首先基于VCG机制设计一种名叫VCG-SLM的效率机制,

证明它可满足所有必需的形式属性.

然而,

由于发现可

NP

证明该机制的计算是一个FP-完全问题,

针对性地提出该机制的一种基于整数规划的实现方式VCG-SLM-ILP,

基于ATL语义将分配及支付的计算转化为整数规划,

并严格地证明其正确性,

从而可有效利用目前已非常成熟的

工业级整数规划求解器,

成功解决棘手的机制计算问题.

关键词:

多Agent系统;

社会法则;

算法机制设计

中图法分类号:

TP18

中文引用格式:

吴骏,

曹杰,

王崇骏,

谢俊元.

一种基于算法机制设计的社会法则合成方法.

软件学报,

2024,

35(3):

1440–1465.

http://

/1000-9825/6825.htm

英文引用格式:

Wu

J,

Cao

J,

Wang

CJ,

Xie

JY.

Social

Law

Synthesizing

Method

Based

on

Algorithmic

Mechanism

Design.

Ruan

Jian

Xue

Bao/Journal

of

Software,

2024,

35(3):

1440–1465

(in

Chinese).

/1000-9825/6825.htm

SocialLawSynthesizingMethodBasedonAlgorithmicMechanismDesign

1,2122

WU

Jun,

CAO

Jie,

WANG

Chong-Jun,

XIE

Jun-Yuan

1(Jiangsu

Provincial

Key

Laboratory

of

E-Business,

Nanjing

University

of

Finance

and

Economics,

Nanjing

210023,

China)

2(State

Key

Laboratory

for

Novel

Software

Technology

(Nanjing

University),

N