Valuation structure
Valuation structure
复制标题
DOI：
10.2178/jsl/1190150026
复制
发表时间：
2002-03
影响因子：
0.6
通讯作者：
Zhaohui Zhu;Zhenghua Pan;Shifu Chen;Wujia Zhu
中科院分区：
文献类型：
--
作者：
Zhaohui Zhu;Zhenghua Pan;Shifu Chen;Wujia Zhu
摘要本文介绍了与优惠模型相关的估价结构。基于KLM赋值结构，我们给出了一种正则化方法来获得满足INJ性质的任意偏好关系的内射偏好模型，并给出了文献中出现的内射偏好关系表示定理的统一证明.特别是，我们表明，在任何命题语言（有限或无限），一个优惠推理关系满足INJ当且仅当它可以表示为一个标准的优惠模型。这个结论推广了Freund的结果。此外，我们证明，当语言是有限的，我们的框架是足够的，以建立一个表示定理的任何内射关系。
Abstract This paper introduces valuation structures associated with preferential models. Based on KLM valuation structures, we present a canonical approach to obtain injective preferential models for any preferential relation satisfying the property INJ, and give uniform proofs of representation theorems for injective preferential relations appeared in the literature. In particular, we show that, in any propositional language (finite or infinite), a preferential inference relation satisfies INJ if and only if it can be represented by a standard preferential model. This conclusion generalizes the result obtained by Freund. In addition, we prove that, when the language is finite, our framework is sufficient to establish a representation theorem for any injective relation.