位置：成果数据库 > 期刊 > 期刊详情页
几种逻辑系统中的近似推理理论
  • ISSN号：1671-9352
  • 期刊名称：《山东大学学报：理学版》
  • 时间：0
  • 分类：O141.1[理学—数学;理学—基础数学]
  • 作者机构：[1]海南师范大学数学系,海南海口571158, [2]山东大学数学与系统科学学院,山东济南250100, [3]陕西师范大学数学研究所,陕西西安710062
  • 相关基金：基金项目：国家自然科学基金重点项目（10331010）;国家自然科学基金资助项目（60364001;70461001）
作者： 刘华文[1,2,3], 王国俊[3], 张诚一[1]
关键词： 命题逻辑, 近似推理, 真度, 逻辑度量, propositional logic, approximate reasoning, truth degree, logic metric
中文摘要：

借助于逻辑系统中命题的真度理论，引入命题之间的逻辑度量的概念，并讨论其性质，以此在几种常见的逻辑系统中讨论近似推理问题。

英文摘要：

First, by means of the truth degree theory of propositions in logic system, the concept of logic metric between proposi- tions is introduced and its properties are discussed. Then, the approximate reasoning problems in several common logic systems are investigated.

同期刊论文项目
序、拓扑及形式语义学的数学基础
期刊论文 202 会议论文 2 著作 1
基于知识粒度空间理论的生态省建设专家支持系统
期刊论文 68 会议论文 7 获奖 2 著作 1
基于相似度量的近似推理方法研究
期刊论文 88 会议论文 6
同项目期刊论文
Subsystems of a topological sy
A note on implicators based on
Quantum finite automata and qu
Comparison of deduction theore
Lukasiewicz 命题集的积分真度、
IL型三I 算法及其还原性
几类n值逻辑系统中的MP滤子
拟连续Domain上的扩张定理
概率逻辑学基本定理的推广
二值命题逻辑中理论的发散性、相
四种命题逻辑中公式的相对Γ－重
几个三值命题逻辑系统中命题真度
一类二值谓词逻辑中公式的准真度
HC-偏序集的若干性质
Hausdorff拓扑与Scott拓扑的对偶
有限偏序集的Cartesian积的收缩
局部强紧空间的Hoare空间与Smyth空间
z-代数偏序集的范畴特征
关于拟连续Domain的一个注记
广义完全分配偏序集的若干性质
强Raney偏序集
正则关系与正规空间
半连续格和半代数格的映射性质
An intrinsic fuzzy set on the
Several classes of implication
正则关系与完全正则空间
计量逻辑学 (I)
三I算法的统一形式
Lukasiewicz 命题逻辑系统中的赋
无前提规范闭缺省理论的扩充的构
命题逻辑中的程度化方法
基于种群分类解决遗传算法的“早
开滤子Domain的分配性
实时半盲非线性均衡算法：N-伪递
W的正规子Ro-代数及其应用
L-Fuzzy 拓扑空间中的 l- 聚点和
Ro-代数[0，1]的子代数与广义重
紧Hausdorff测度空间上的Riemann
模糊测度Shapley熵的完备化
函数空间连续性的一个注记
关于混合Domain的几个问题
关于积Domain上的Scott拓扑和连
FMP问题的构造性方法
locale的弱拓扑表达
命题逻辑中极大和谐理论之集上的
系统Hα中广义语义MP规则与广义
基于正则蕴涵算子的三I算法的性
Boole代数上的度量结构及其在命
F(S)在Lukasiewicz逻辑系统中的
一阶逻辑完备性定理的新代数证明
拟Z-连续Domain与Z-交连续Domain
伪度量L*- - Lindenbaum代数中基
G?del n 值命题逻辑中命题的α－
A note on stratified L-real li
Z-拟代数Domain
Fuzzy实直线上级数的绝对收敛性
平移空间上的线型结构
广义(超连续格的关系表示
拟Z-代数domain
根与F(S)中的近似推理
Multi-criteria decision-making
Order environments of topologi
命题演算系统L*与谓词演算系统K*
Lukasiewicz n 值命题逻辑中公式
基于正则蕴涵算子与强否定的支持
命题公式集F(S)的基于Ro—算子的
Priestley Spaces, Quasi-hypera
Completely regular paracompact
Maximum density for the Sierpi
经典推理模式的随机化研究及其应
概率逻辑伪度量空间及其性质
半连续格上的半Scott拓扑和半Law
A fuzzy approach for blind equ
An equivalence relation charac
Quasicontinuous domains and ge
A topological characterization
A new consistency index based
Generalized consistency degree
超连续Domain与拟超连续Domain
基于双参数可变阈值的雷达脉冲分
关于三 I FMT 问题的若干注记
三 I 方法综述－它的提出、发展
一阶谓词模糊公式的区间解释真度
Unified forms of Triple I meth
Regular relations and strictly
Regular relations and monotone
完备格的关系表示定理及其应用
论G?del 蕴涵算子不宜于用于建立
Lattices of quotients of compl
Consistency degrees of finite
Unified forms of fully implica
Characterizations of maximal c
Residuated lattices and lattic
A 16-classification partition
一种求概念格属性约简的方法
Convex power domain and Vietor
Formalized theory of general f
Endographic approach on suprem
从事实逻辑到任务逻辑
Ro-代数的Fuzzy MP滤子
Remarks on Completely Regular
Regular relations and complete
拟连续Domain的若干拓扑性质
Regular relations and normalit
基础Ro－代数的正规MP滤子和布尔
二值命题逻辑中命题的条件真度理
概念格属性约简的判定
一类Lukasiewicz n+1 值逻辑系统
Consistency degrees of theorie
多值逻辑系统Wn中 (- - 三I问题
累积缺省逻辑的扩充
扩充与缺省规则的简化和分类
弱空间式locale
广义Frame
RL型蕴涵与Fuzzy推理的三I算法
Representability of default lo
Completion of the Shapley entr
A Constructive Proof of The Ge
Weinian Zhang, Discrete dynami
正则余剩余格的特征及其应用
n 值Lukasiewicz 命题逻辑中命题
Ro-代数的Ro-语义集上的拓扑
逻辑系统L*n 中命题的真度理论
Conic functions on metric spac
关于K的三种模糊模态逻辑
系统L^＊中极大相容理论的结构刻画和紧致性定理
经典推理模式的随机化研究及其应用（Ⅱ）
MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用
命题演算系统L~*中的Boole型理论
广义Smooth格
强Sober空间的若干性质
Smooth格和强Smooth格
Z-连通代数偏序集及其范畴
伪Scott拓扑与伪Scott开滤子
人工智能中缺省逻辑的可表示性
计量逻辑学（Ⅰ）
Z-半连续偏序集的性质
拟Z-连续Domain的基
广义λ完全分配格的关系表示
拟半连续格
Exact偏序集的乘积和映射性质
Z-连续偏序集的特征与稠密度
Z-极小集及其对Z-连续偏序集的应用
半Smooth格
全蕴涵多Ⅰ算法及其在多准则决策中的应用
强代数格的拓扑表示定理
效应代数中的模糊滤子
修正的Product逻辑系统中的广义矛盾式
平移空间的线性结构
拟Z-极小集及其应用
二值逻辑中命题的条件真度理论
超连续Domain与拟超连续Domian
几类基于L＊上二元聚合算子的蕴涵
广义完全极小集及其应用
Z-连续Domain关于Z-子空间的遗传性
一致连续偏序集的特征和浓度
n元三值函数可由L3^＊中公式导出的充要条件
一类Lukasiewicz n＋1值逻辑系统中VDF问题的求解理论
系统Hα中的子代数的广义重言式理论
拓扑系统的子系统
基于模糊推理方法的企业预警模型
二值命题逻辑中的三种Г近似推理模式及其等价性
多值命题逻辑中逻辑理论的拓扑刻画
关于Boole语义的真度不变性定理
三Ⅰ方法综述——它的提出、发展、应用和逻辑版本
关于三I FMT问题的若干注记
四种命题逻辑中公式的相对Γ-重言度理论
关于一致连续偏序集的若干性质
Z-连通连续偏序集的权的一些性质
基于支持度理论的广义Modus Ponens问题的最优解
剩余格中的Fuzzy（P）滤子
IL型三I算法及其还原性
Lukasiewicz命题逻辑系统中的赋值决定公式问题
n值Lkasiewicz命题逻辑中命题的α-真度理论
余剩余格的理想和嵌入定理
二值命题逻辑中理论的发散性、相容性及其拓扑刻画
拟Z-连续domain和Z-交连续domain
广义Frame的谱空间
A Remark on WaUman Compactification of Locales
双定向完备偏序集上的双Scott拓扑
Some Properties of Morphisms in Effect Algebras
Boole代数的等价刻画
二值命题逻辑F（S_n）中的基本推理链
F（Sn）中公式集Γ的全体结论之集D（Γ）的结构
二值命题逻辑F（Sn）在可证等价意义下的一般表示
Lukasiewicz命题集的积分真度、发散度与相容度的分布
缺省逻辑的Roos扩充
关于偏序集上的关联蕴涵代数
偏蕴涵代数
系统Ha中广义语义MP规则与广义语义HS规则
基于L^＊和Luk逻辑系统的反向三I算法的统一形式
NML代数的滤子及其结构
NML代数的性质及其滤子与理想
Function S-Rough Sets and two
Approximate Reasoning based on
Fuzzy congruence on Bi-semirin
Note on fuzzy entropy of vague
区域生态水平评价问题中的权重挖
S-粗信息矩阵与它的动态特征
Fuzzy congruence on the semiri
Vague 集相似度的积分表示
Vague集的模糊逼近与模糊熵
关于Vague值转化为Fuzzy值的方法
有界闭模糊复数集上映射的几个不
知识过滤与属性f-迁移依赖
On Measures of Similarity betw
充分非线性Dullin-Gottwald-Holm
关于粗糙模糊集的相似度量
区域经济发展水平评价中的权重挖
The infinite vectors and infin
The Cardinality and Representa
Fuzzy controller based on the
基于正规三角模糊集相似度量的模
基于B/S的网络编辑部系统的设计
规律推理与规律挖掘
The Entropy for Fuzzy Rough Se
知识分辨与分辨特性
f-Heredity Knowledge and f-Her
基于椭圆曲线的数字水印签署-认
The groups of infinite inverti
求粗糙集正域POS_c(D)的表上作业
On Perturbation Properties of
On Pertuebation Properties of
基于JAVA的教师管理系统中几个关
二级传递性与二级传递模糊矩阵
L-fuzzy半群上L-fuzzy同余的新刻
Rough Fuzzy集及其相似度量
模糊群的模糊同态
Fuzzy HX环
半群环的S-弱正则性
基于FCM和粗糙集属性重要度理论
Similarity Measures on Three K
HX 环与幂环的构造
WEB教师管理系统的体系结构和权
λ-粗模糊集的分解
四元数体上线性方程组的加正定权
模糊半理想的对应定理
基于极大模糊熵原理的模糊推理反
两类模糊系统具有插值性的充要条
On the well-posedness problem
加法可逆半环上的Fuzzy同余
关于VAGUE 集的相似度量
Approximate Reasoning on the s
基于三I算法的模糊系统及其响应
有限容幂群的置换表示
∨─∧模糊关系方程的传递解
有限容幂群的正则表示
-规律推理与规律挖掘
S-Rough Sets and F-hiding Know
Transformation and entropy for
Function s-rough sets and mini
Isomorphic fuzzy sets and fuzz
On Measuring the Similarity be
基于逐点优化模糊推理的模糊控制
半单Hopf代数的Noether定理
知识过滤与属性f-迁移依赖
粗糙集理论在高校教学质量评价分
区域可持续发展“生存支持系统”
粗规律F-分解与规律识别
两类正规模糊集的相似度量
关于模糊粗糙集的一个注记
关于模糊粗糙集的相似度量
全蕴涵多Ⅰ算法及其在多准则决策
Fuzzy Inference based on Simil
全蕴涵多Ⅰ算法及其在多准则决策中的应用
全蕴涵多Ⅰ算法及其在多准则决策中的应用
基于Vague集加权相似度量的近似推理
基于Vague集加权相似度量的近似推理
函数单向S-粗集与系统状态检测-识别
（F，F）-规律推理与规律挖掘
（F，F）-规律推理与规律挖掘
直觉模糊子环及其同构
直觉模糊商群及其同构
直觉模糊商群及其同构
有界闭模糊复数集上映射的几个不动点性质
有界闭模糊复数集上映射的几个不动点性质
VaRue集的模糊逼近与模糊熵
VaRue集的模糊逼近与模糊熵
概率S-粗集与它的生成结构
概率S-粗集与它的生成结构
基于不同度量方法的Vague集的相似度量比较
基于不同度量方法的Vague集的相似度量比较
S-rough sets and the discovery of F-hiding knowledge
S-rough sets and the discovery of F-hiding knowledge
Transformation and entropy for fuzzy rough sets
Transformation and entropy for fuzzy rough sets
含参量曲面积分
单元素迁移与S-粗集的动态结构特征
静态粗相似度的特征
超代数结构研究进展
充分非线性Dullin-Gottwald-Holm方程的Cauchy问题
S-粗集与F^--隐藏知识发现
F-规律推理与规律挖掘
函数S-粗集与图像识别
环的弱正则性
粗糙群的同构
f-heredity knowledge and f-heredity mining
Function S-rough sets and two law forecast
L-模糊等价关系的同态与同构及推广
基于JAVA的教师管理系统中几个关键功能的设计
期刊信息
  • 《山东大学学报：理学版》
  • 北大核心期刊（2011版）
  • 主管单位:中华人民共和国教育部
  • 主办单位:山东大学
  • 主编：刘建亚
  • 地址：济南市经十路17923号
  • 邮编：250061
  • 邮箱：xblxb@sdu.edu.cn
  • 电话：0531-88396917
  • 国际标准刊号：ISSN：1671-9352
  • 国内统一刊号：ISSN：37-1389/N
  • 邮发代号:24-222
  • 获奖情况:
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,中国中国科技核心期刊,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,英国英国皇家化学学会文摘
  • 被引量:6243