Lukasiewicz n值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计

张家录; 吴霞

doi:10.3969/j.issn.0372-2112.2012.10.030

您当前的位置：

首页 >

文章列表页 >

Lukasiewicz n值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计

学术论文 | 更新时间：2025-07-16

- Lukasiewicz n值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计
- The Generally Truth Degrees of Formulas in n-Valued Lukasiewicz Propositional Logic and the Estimation of Uncertainty Degree of Conclusion in Formal Inference
- 电子学报 2012年40卷第10期页码：2085-2090
- 作者机构：
  
  湘南学院数学系,湖南,郴州,423000
- 作者简介：
- 基金信息：
  
  湖南省重点建设学科资助项目;湖南省教育厅科学研究项目 (No.10C1232)
- DOI：10.3969/j.issn.0372-2112.2012.10.030
  中图分类号： O142
- 纸质出版：2012
- 稿件说明：
移动端阅览
张家录, 吴霞. Lukasiewicz n值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计[J]. 电子学报, 2012,40(10):2085-2090.

ZHANG Jia-lu, WU Xia. The Generally Truth Degrees of Formulas in n-Valued Lukasiewicz Propositional Logic and the Estimation of Uncertainty Degree of Conclusion in Formal Inference[J]. Acta Electronica Sinica, 2012, 40(10): 2085-2090.
张家录, 吴霞. Lukasiewicz n值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计[J]. 电子学报, 2012,40(10):2085-2090. DOI： 10.3969/j.issn.0372-2112.2012.10.030.

ZHANG Jia-lu, WU Xia. The Generally Truth Degrees of Formulas in n-Valued Lukasiewicz Propositional Logic and the Estimation of Uncertainty Degree of Conclusion in Formal Inference[J]. Acta Electronica Sinica, 2012, 40(10): 2085-2090. DOI： 10.3969/j.issn.0372-2112.2012.10.030.

摘要

在Lukasiewicz

值命题逻辑系统中引入命题公式的一般真度概念并讨论其性质

说明一般真度满足Kolmogorov公理.在形式推演中

引进公式的不可靠度和前提的必要度概念

证明在Lukasiewicz

值逻辑系统中

一个有效推理的结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和.通过不可靠度在全体公式集上建立逻辑伪距离空间

证明逻辑伪距离空间中没有孤立点

利用逻辑伪距离在全体公式集

(

)中提出两种不同形式的近似推理模式.

Abstract

This paper introduces the concept of truth degrees of propositions in

-valued Lukasiewicz logical system by means of the infinite product of probability on the value domain.By discussing the properties of truth degree we illustrate that the truth degree satisfies Kolmogorov axioms.By introducing the concepts of uncertainty degree of formulas and essentialness degree of premises we prove that the uncertainty degree of conclusion is less than or equal to the sum of the product of uncertainty degree of every premise and its essentialness degree in formal inference.By using uncertainty degree we establish logic pseudo-metric space on formulas

set

and proved that the logic pseudo-metric space has not isolated point.Moreover

we propose two different approximate reasoning models in the formulas set.

关键词

Keywords

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

(3n+1)值逻辑系统R₀L中公式的真度性质

对称逻辑公式在经典逻辑度量空间中的分布

经典逻辑度量空间中的模2次范整线性空间结构

n值S-MTL命题逻辑系统中公式真度的统一理论

基于支持度理论的广义MP问题的形式化解