# 社会程序的形式化进路

> 【EN】Social procedures that have algorithmic aspects can often be improved by redesign. This holds for voting and other peaceful decision making procedures, for match-making, for auctioning, for fair division of estates, and for many procedures of distributive justice. The algorithmic aspects can be analyzed with formal methods. The term “social software” was coined by Rohit Parikh (2002) for the emerging interdisciplinary enterprise that is concerned with the design and analysis of algorithms that regulate social processes. Such analysis and (re-)design uses methods from logic, game theory and theoretical computer science. [ 1 ] The goals of research in formal approaches to social procedures are modeling social situations, developing theories of correctness, and (re-)designing social procedures, ideally leading to new social behavior. … 【中】该词条讨论被称为“社会软件”的交叉领域：凡带有算法成分的社會程序，都可通过重新设计加以改进。分析工具来自逻辑、博弈论与理论计算机科学。内容涵盖公平分割（多人分蛋糕、所罗门的判决）、稳定婚姻问题与盖尔-沙普利算法、大学宿舍分配程序、共同知识在社会程序中的作用，以及策略性推理与合作。

- ID: m13317
- 分类: culture
- 领域: 哲学

## 定义

把投票、拍卖、婚配、遗产分割、分配正义等带有算法成分的社會程序当作可形式化分析与重新设计的算法来研究，借以改进其公平性与效率。 脚手架作用：- 程序建模：把投票拍卖等程序抽象为输入到输出的映射。 - 激励分析：分析规则下的策略空间，预判操纵行为。 - 规则重设：按公平与效率目标重新设计分配规则。

## 机制

社会程序可抽象为从输入（参与者偏好与主张）到输出（分配结果）的映射，因而适用算法分析。博弈论刻画规则下的策略激励，逻辑刻画公共信息条件，复杂性理论刻画抗操纵性，三者共同解释程序为何产生公平结果。

## 练习

1) 把待研究的社会流程抽象为算法，明确输入、参与者与输出；2) 用公平、无嫉妒、稳定性、抗操纵等形式标准检验现行程序；3) 定位失效环节并重新设计规则，比较新旧方案的性质差异。

## 脚手架用法

- 程序建模：把投票拍卖等程序抽象为输入到输出的映射。 - 激励分析：分析规则下的策略空间，预判操纵行为。 - 规则重设：按公平与效率目标重新设计分配规则。

[阅读网页](https://thinkingmodels.site/entries/detail/m13317)