Theory contraction and base contraction unified
Theory contraction and base contraction unified
复制标题
DOI：
10.2307/2275221
复制
发表时间：
1993-06
影响因子：
0.6
通讯作者：
S. Hansson
中科院分区：
文献类型：
--
作者：
S. Hansson
为一个理论（信念集）构造一个收缩算子的一种方法是给它分配一个基（信念基）和该基的一个部分交收缩算子。公理化特征给出的理论压缩，以这种方式产生的（各种类型的）部分满足基压缩。
Abstract One way to construct a contraction operator for a theory (belief set) is to assign to it a base (belief base) and an operator of partial meet contraction for that base. Axiomatic characterizations are given of the theory contractions that are generated in this way by (various types of) partial meet base contractions.