Some Representation Theorems for Recovering Contraction Relations
Some Representation Theorems for Recovering Contraction Relations
复制标题
恢复收缩关系的一些表示定理
DOI：
10.1007/s11390-005-0536-9
复制
发表时间：
2005-07
影响因子：
0.7
通讯作者：
Hou Ping
中科院分区：
文献类型：
--
作者：
Hou Ping
研究压缩推理关系的一个重要课题是建立压缩推理关系的表示定理。已经采用了各种方法来给出一个广泛的一类收缩运算的表示。然而，在文献中没有任何规范的方法来处理压缩关系的表示结果。最近，为了得到满足弱合取包含（wci）条件的压缩推理关系的表示结果，引入了与规范认知状态相关联的图像结构的概念。基于图像结构，建立了用标准认知AGM状态恢复满足条件CL、CR 1和DR* 的收缩推理关系的3个表示结果。采用了一种独特的技术和统一的证明来表示这些压缩关系，克服了以往压缩关系描述中的核心缺陷。本文还表明，意象结构和规范认知状态不仅可以用来获得wci-恢复收缩关系的表征结果，而且可以为广泛的恢复收缩关系提供语义表征。
One of the important topics in the study of contraction inference relations is to establish the representation theorems for them. Various methods have been employed for giving representation of a broad class of contraction operations. However, there was not any canonical approach to dealing with the representation results for the contraction relations in the literature. Recently, in order to obtain the representation result for recovering contraction inference relations satisfying the condition weak conjunctive inclusion (wci), a notion of an image structure associated with the canonical epistemic state has been introduced. Based on the image structure, this paper establishes three representation results for recovering contraction inference relations which satisfy the conditions CL, CR1 and DR*respectively by the standard epistemic AGM states. A unique technique and uniform proofs to represent these contraction relations are adopted, which could overcome the core objection in previous description of contraction relations. The paper shows as well that the image structure and canonical epistemic states can be used not only to get the representation result for wci-recovering contraction relation, but also to provide semantic characterizations for a wide range of recovering contraction relations.
登录
查看更多内容
DOI：
10.1016/s0004-3702(98)00112-x
发表时间：
1999-03
期刊：
Artif. Intell.
影响因子：
--
作者：
A. Bochman
通讯作者：
A. Bochman
影响因子：
0.6
作者：
A. Bochman
通讯作者：
A. Bochman
影响因子：
0.6
作者：
S. Hansson
通讯作者：
S. Hansson
DOI：
10.1016/0004-3702(92)90041-u
发表时间：
1989-12
期刊：
--
影响因子：
--
作者：
D. Lehmann;M. Magidor
通讯作者：
D. Lehmann;M. Magidor
DOI：
10.1093/logcom/3.3.231
发表时间：
1993-06
期刊：
J. Log. Comput.
影响因子：
--
作者：
M. Freund
通讯作者：
M. Freund