命题逻辑中的程度化方法

王国俊; 宋建社

您当前的位置：

首页 >

文章列表页 >

命题逻辑中的程度化方法

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

- 命题逻辑中的程度化方法
- Graded Method in Propositional Logic
- 电子学报 2006年34卷第2期页码：252-257
- 作者机构：
  
  1. 陕西师范大学数学研究所,陕西,西安,710062
  2. 西安交通大学基础科学研究中心,陕西,西安,710049
  3. 西安高技术研究所,陕西,西安,710025
  4. 陕西师范大学数学研究所陕西西安,710062
  5. 西安交通大学基础科学研究中心陕西西安,710049
  6. 西安高技术研究所陕西西安,710025
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.10331010;60272022)
- DOI：
  中图分类号： O142
- 网络出版：2006-02-25，
  
  纸质出版：2006
- 稿件说明：
移动端阅览
王国俊, 宋建社. 命题逻辑中的程度化方法[J]. 电子学报, 2006,34(2):252-257.

WANG Guo-jun, SONG Jian-she. Graded Method in Propositional Logic[J]. Acta Electronica Sinica, 2006, 34(2): 252-257.
王国俊, 宋建社. 命题逻辑中的程度化方法[J]. 电子学报, 2006,34(2):252-257. DOI：

WANG Guo-jun, SONG Jian-she. Graded Method in Propositional Logic[J]. Acta Electronica Sinica, 2006, 34(2): 252-257. DOI：

摘要

在二值命题逻辑、各类

值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念

在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次

基于演绎定理建立了程度化的近似推理理论.最后

提出了有限逻辑理论的相容度理论.

Abstract

The concept of proposition induced functions is proposed in the present paper

then the concept of truth degrees is introduced by means of infinite propduct of evenly distributed probability spaces and integrated semantics respectively w.r.t.discrete and continuous situations.Next

a graded approximate reasoning theory is established.Finally

theory of consistency degrees of finite theories is also proposed.

关键词

Keywords

references

浏览量

1350

下载量

CSCD

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

提交

工具集

关联资源

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

依赖公理约简的经典规划方法

一种快速分层递阶DSmT近似推理融合方法(B)

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

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