基础生成的多元部分收缩的一个公理化刻画(英文) |
| |
引用本文: | 斯文·汉森. 基础生成的多元部分收缩的一个公理化刻画(英文)[J]. 逻辑学研究, 2012, 0(1): 1-10 |
| |
作者姓名: | 斯文·汉森 |
| |
作者单位: | 瑞典皇家理工学院哲学系 |
| |
摘 要: | 这篇论文结合了两种信念收缩的 AGM 框架的推广,分别为:(1)基础生成收缩,其中信念集的变化是从某个信念基的变化生成的;(2)多元收缩,其中几个句子一次过同时被消去。本文引入了一个结合以上两种推广的运算,"基础生成的多元部分收缩",并将其进行了公理化刻画。
|
关 键 词: | 基础生成 公理化 收缩 刻画 信念 推广 结合 部分 论文 框架 |
An Axiomatic Characterization of Base-Generated Multiple Partial Meet Contraction |
| |
Affiliation: | Sven Ove Hansson Division of Philosophy,KTH Royal Institute of Technology |
| |
Abstract: | This paper combines two generalizations of the AGM(Alchourr’on ardenfors Makinson) framework for belief contraction,namely(1) base-generated contraction,in which changes on the belief set are generated from changes on an underlying beliefbase,and(2)multiple contraction,in which several sentences are removed at one and the same time.An operation that combines the two generalizations,base-generated multiple partial meet contraction,is introduced and axiomatically characterized. |
| |
Keywords: | |
本文献已被 CNKI 维普 等数据库收录! |
|