10.3969/j.issn.1000-2375.2023.00.055
n值R0命题逻辑系统中公式的条件随机真度
基于条件概率的思想和赋值集的随机化方法,在 n值 R0 命题系统中提出公式的条件随机真度,证明条件随机真度的 MP 规则和 HS规则.其次,引入公式间的条件随机相似度和条件随机伪距离,建立条件随机逻辑度量空间,进一步给出在条件 Γ下的近似推理理论.
条件随机真度、条件随机相似度、条件随机逻辑度量空间
46
O141.1(数理逻辑、数学基础)
国家自然科学基金12261090
2024-01-09(万方平台首次上网日期,不代表论文的发表时间)
共8页
133-140