Gdel n值命题逻辑系统中命题公式的t真度及近似推理

通过增加两类算子~和Δ对Gdel n值命题逻辑系统进行公理化扩张Gdel(~,Δ),简记为G(~,Δ)。在Gdel^(^,Δ)中提出了命题公式的t真度的定义(t任取~,Δ),讨论了t真度的MP规则、HS规则、交推理规则、并推理规则以及它的一些相关性质;得到了命题公式间的t相似度和t伪距离的概念以及它们的一些相关性质;最后在t逻辑度量空间中提出了3种不同的近似推理模式,并证明了3种近似推理模式间的等价性。

A universal theory of measure and integral on valuation spaces with respect to diverse implication operators

Valuation spaces with respect to diverse implication operators are investigated in a unified way where the Lebesgue measure is a commonly used measure, and it is proved that all the logic formulas are measurable functions with respect to popularly used implication operations. The concept of t-(α-tautology) is introduced and rules of generalized modus ponens (MP) and hypothetic syllogism (HS) are established in the sense of semantics. The concept of truth degree of a logic formula is introduced and rules of integral MP and integral HS are proposed. Finally, a kind of pseudo-metric is introduced to the set consisting of all logic formulas by establishing a universal logical metric space, making it possible to develop a new type of approximate reasoning arise.

增加两类算子的G■del n值命题逻辑系统的t随机真度理论

通过对Godel n值命题逻辑系统进行公理化扩张Godel〜,△,简记为G〜,△,利用赋值集随机化的方法,在Godel〜,△中提出了命题公式的t随机真度的定义(t任取〜,△),研究了t随机真度的MP规则、HS规则、交推理规则和并推理规则以及它的一些相关性质;给出了命题公式间的t随机相似度和I随机伪距离的概念,讨论了它们的一些相关性质;得到了命题公式间理论Г的t随机发散度和t随机相容度的概念以及它们的一些相关性质;最后在随机逻辑度量空间中提出了三种不同的近似推理模式,并证明了三种近似推理模式间的等价性。