MENTAL MODEL · M13317
社会程序的形式化进路
Formal Approaches to Social Procedures
更新于 2026-09-10
CORE DEFINITION · 核心定义
把投票、拍卖、婚配、遗产分割、分配正义等带有算法成分的社會程序当作可形式化分析与重新设计的算法来研究，借以改进其公平性与效率。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
- 程序建模：把投票拍卖等程序抽象为输入到输出的映射。 - 激励分析：分析规则下的策略空间，预判操纵行为。 - 规则重设：按公平与效率目标重新设计分配规则。
anchor
锚定快速决策
社会程序可抽象为从输入（参与者偏好与主张）到输出（分配结果）的映射，因而适用算法分析。博弈论刻画规则下的策略激励，逻辑刻画公共信息条件，复杂性理论刻画抗操纵性，三者共同解释程序为何产生公平结果。
MINIMUM ACTION · 最小行动
进行中 0/3在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- plato.stanford.eduhttps://plato.stanford.edu/entries/social-procedures/verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。