Formalized Solutions for Problems of Generalized Modus Ponens under Theory of Sustentation Degree

LI Jun; WANG Guo-jun

您当前的位置：

首页 >

文章列表页 >

Formalized Solutions for Problems of Generalized Modus Ponens under Theory of Sustentation Degree

更新时间：2025-07-16

- Formalized Solutions for Problems of Generalized Modus Ponens under Theory of Sustentation Degree
- Acta Electronica Sinica Vol. 36, Issue 11, Pages: 2190-2194(2008)
- 作者机构：
  
  1. 兰州理工大学理学院,甘肃,兰州,730050
  2. 陕西师范大学数学研究所,陕西,西安,710062
  3. 兰州理工大学理学院甘肃兰州,730050
  4. 陕西师范大学数学研究所陕西西安,710062
- 作者简介：
- 基金信息：
- DOI：
  CLC： O142
- Published：2008
- 稿件说明：
移动端阅览
LI Jun, WANG Guo-jun. Formalized Solutions for Problems of Generalized Modus Ponens under Theory of Sustentation Degree[J]. Acta Electronica Sinica, 2008, 36(11): 2190-2194.
DOI：

LI Jun, WANG Guo-jun. Formalized Solutions for Problems of Generalized Modus Ponens under Theory of Sustentation Degree[J]. Acta Electronica Sinica, 2008, 36(11): 2190-2194. DOI：

摘要

在

n值R

命题逻辑系统L

emn中

基于命题的真度概念提出了命题之间的支持度

并利用支持度的思想引入了广义MP问题以及集体广义MP问题的一种新型求解机制

并给出了解的存在性定理.本文的工作进一步从语构和语义两个方面为模糊推理的三I算法奠定了逻辑基础.本文的方法是一种程度化的方法

这就使得求解过程从算法上实现成为可能

并对知识的程度化推理有所启示.

Abstract

By means of truth degrees of formulas

the present paper puts forward a new concept of sustentation degree among formulas in n-valued-R0 propositional logic.A new kind solving mechanism based on the idea of sustentation degree for problems of generalized modus ponens

as well as collective generalized modus ponens are introduced

existence theorems of solutions are proved.This work further lays a logical foundation for Triple-I methods of fuzzy reasoning both syntactically and semantically.The graded method presented in this paper makes the algorithmic realization of solution procedure possible and serves as a guideline for the graded reasoning about knowledge.

关键词

Keywords

references

Views

646

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Distribution of the Symmetrical Logic Formulas in the Classical Logic Metric Space

The Properties of Truth Degrees of Formulas in (3n+1) -Valued Logic System R₀L

Z (2)-Normable Linear Structure on Classical Logic Metric Space

Unified Theory of Truth Degrees in n-Valued S-MTL Propositional Logic

The Form of Mean Representation of Truth Degree with Applications in Quantitative Logic

Related Author

HU Ming-di

WANG Guo-jun

WU Hong-bo

ZHOU Jian-ren

ZHANG Qiong

HU Ming-di

WANG Guo-jun

LI Jun

Related Institution

Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai China

Institute of Mathematics Shaanxi Normal University Xi’an Shaanxi China

Shanghai Key Laboratory of Trustworthy Computing, East China Normal University

College of Mathematics and Information Science,Shanxi Normal University,,Shaaxi

Institute of Mathematics,Shaanxi Normal University,,Shaannxi

⁰