n值逻辑系统中条件随机真度理论

在n值命题逻辑系统中命题的随机真度、随机逻辑度量空间的基础上,给出了修正的n值G¨odel命题逻辑系统中命题的条件真度、条件相似度的概念并讨论了其性质,建立了条件随机逻辑度量空间。     

二值命题逻辑中有限理论数值特征的真度研究

以真度为基础,给出了有限理论的发散度、伪距离和有效度等数值特征的一般真度表示式,并研究了它们之间的关系.     

Lukasiewicz 命题逻辑系统一种新的理论的相容度

根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式.     

On the infinite-valued Łukasiewicz logic that preserves degrees of truth

Łukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Łukasiewicz algebra on the unit real interval. In the literature a deductive system axiomatized in a Hilbert style was associated to it, and was later shown to be semantically defined from Łukasiewicz algebra by using a “truth-preserving” scheme. This deductive system is algebraizable, non-selfextensional and does not satisfy the deduction theorem. In addition, there exists no Gentzen calculus fully adequate for it. Another presentation of the same deductive system can be obtained from a substructural Gentzen calculus. In this paper we use the framework of abstract algebraic logic to study a different deductive system which uses the aforementioned algebra under a scheme of “preservation of degrees of truth”. We characterize the resulting deductive system in a natural way by using the lattice filters of Wajsberg algebras, and also by using a structural Gentzen calculus, which is shown to be fully adequate for it. This logic is an interesting example for the general theory: it is selfextensional, non-protoalgebraic, and satisfies a “graded” deduction theorem. Moreover, the Gentzen system is algebraizable. The first deductive system mentioned turns out to be the extension of the second by the rule of Modus Ponens.While writing this paper, the authors were partially supported by grants MTM2004-03101 and TIN2004-07933-C03-02 of the Spanish Ministry of Education and Science, including FEDER funds of the European Union.     

三值R_0命题逻辑系统中理论的随机发散度

在三值R_0命题逻辑系统中,给出了随机相似度和随机逻辑伪距离的基本性质.然后在随机逻辑度量空间中提出了理论的随机发散度,指出全体原子公式之集在随机逻辑度量空间中未必是全发散的,其是否全发散取决于给定的随机数序的分布.     

逻辑系统G3在非均匀概率空间下命题的真度理论

在离散概率测度空间下定义了三值逻辑（p,q,r）测度,并相应地定义了命题逻辑系统中公式的真度概念;在三值逻辑（1/6．1/3．1/2）测度和（1/7．2/7.4/7）测度下证明了命题逻辑系统G3中全体公式的真度值之集在[0．1]上是稠密的,并给出真度的表达式;利用真度定义公式的相似度和一种伪距离,为—般离散概率空间下三值命题的近似推理理论提供一种可能的框架．     

A uniform approach of linguistic truth values in sensor evaluation

During the sensor evaluation procedure, each valuator uses his/her own ordinary linguistic truth values for the same factor because of different preference. That will brings some disadvantages to aggregate the information. For a uniform criterion, the standard linguistic truth value (SLTV) set is proposed. Based on the former hypothesis of transformation models of linguistic truth values, four transformation models are discussed: the model of point to point, the model of fuzzy set to point, the model of point to fuzzy set and the model of fuzzy set to fuzzy set. An example is to analyze it. Using the applicability measure we can choose appropriate SLTV for the different sensory evaluation system.     

基于区间数贴近度的不确定多属性决策模型

针对只有部分权重信息且属性值以区间数形式给出的多属性决策问题,提出了一种基于区间数贴近度的决策方法.首先讨论了区间数贴近度的定义和性质;然后给出了解决不确定多属性决策问题的一般步骤.并依据传统的逼近理想解的基本思路,以实际评价值与理想解之间的贴近度最大化为目标建立优化模型,从而得到指标权重.进而计算出每个方案与正理想解的相对贴近度,即可得到所有方案的排序结果.方法能充分利用规范化评价的先验信息,评价结果客观可靠,不具有主观随意性.最后通过实例分析验证了该方法的有效性和实用性.     

n值Lukasiewicz命题逻辑系统中公式的随机真度及近似推理

利用赋值集的随机化方法,在n值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和随机伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性.     

严格集压缩映射和凝聚映射的延拓定理及应用(英文)

应用著名的Dugundji延拓定理和Urysohn引理,将Hilbert空间E中有界闭凸集D上的k-集压缩映射和聚映射延拓到全空间,并给出了其在拓扑度计算方面的应用.