14
On the logic of theory change: Partial meet contraction and revision functions
Source-backed paraphrase
论文在解决什么
用 expansion、contraction 与 revision 的形式区分新增、放弃和在冲突后恢复一致性，并刻画哪些操作可由 partial meet 表示。
Source-backed paraphrase
关键抓手
- contraction 从 deductively closed theory 中放弃命题及维持 closure 所必须一并放弃的内容；Levi identity 把 revision 表成先 contraction 掉新命题的否定，再加入新命题。（§1）
- A ⟂ x 是 A 中所有不推出 x 的 maximal subsets；partial meet 由 selection function 选一组 remainders 后取交集，并把 maxichoice 与 full meet 作为极端情况。（§1–§2）
- closure、inclusion、vacuity、success、preservation、recovery 六条基本 postulates 与 partial meet contraction 之间给出双向 representation result。（§2）
Evidence boundary
仍未证明什么
这条 public note 尚未单独整理 evidence limits；请以标注的 reading scope 与原文为准，不从空缺补写结论。
Editorial synthesis / question
编者判断
继续追问
selection function 可以在形式上挑选“最佳” remainders，但重要性从何而来？若选择由 opaque model 作出，逻辑 postulates 如何与 provenance 和授权结合？
Editorial transfer · 编者设计建议
读完，可以怎样借用
初读线索 · 基于本条已标注的阅读范围，仍待全文与实现核验。下面的迁移对照尚未执行。
- 什么时候有用
- 遇到新旧说法冲突，需要讲清楚系统做的是添加、放弃还是接受新说法后的调整。
- 可以借哪一步
- 先用 expansion / contraction / revision 区分变更意图，并把选择保留哪些理由的规则写出来。
- 先做什么对照
- 在一个可手工检查的小命题集里加入冲突，比较两个不同保留策略会丢掉什么；检查选择依据能否向读者说明。
- 带走时的边界
- 这是 skim 范围下的形式化思考线索，尚未逐行复核证明或执行对照。postulates 不会替你决定何种来源、偏好或主体具有权威。
阅读依据：既有札记 “关键抓手”：§§1–2；“继续追问”：selection function 的依据。
含当前正文、出处、阅读范围与接续线索；链接的全文不随包附带。