题名 程度推理与程度控制
1
作者
廉师友
机构
西安石油学院计算机系
出处
《计算机工程与应用》
CSCD
北大核心
2000年第9期72-74,共3页
基金
该文得到陕西省自然科学基金资助
文摘
文章把语言值规则(模糊规则)视为语言值及其程度(隶属度)之间的一种对应关系,提出了程度函数和程度规则的概念,并由此建立了一种称为程度推理和程度控制的推理与控制方法。采用程度推理和程度控制,传统的模糊推理就变为简单的符号推演和函数计算,传统的模糊控制由数值/(语,度)转换、(语,度)变换和(语,度)/数值转换等三步来实现。
关键词
程度 函数
程度 规则
程度推理
程度 控制
模糊推理
Keywords
degree function, degree rule, degree reasoning, degree control
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
题名 知识推理的程度化方法(英文)
2
作者
李骏
王国俊
李建生
机构
兰州理工大学理学院
陕西师范大学数学研究所
出处
《南京大学学报(数学半年刊)》
CAS
2008年第1期1-10,共10页
基金
Supported by the National Natural Science Foundation of China under Grant No.10771129
the Innovation Foundation for Doctors of Shaanxi Normal University and the Outstanding Youth Foundation of Lanzhou University of Technology.
文摘
在知识推理的许多应用领域里,对特定事件和当事人知识的可能性的推理扮演着重要角色.本文提出了一种程度化的知识推理方法,在该推理机制下,可以讨论在给定的Kripke知识结构M中的给定状态s之下一个当事人在多大程度上知道某个事件,最后讨论了这种程度化知识推理的一些重要性质.
关键词
知识推理
KRIPKE结构
程度 化推理
Keywords
reasoning about knowledge
Kripke structure
graded reasoning
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
题名 MTL代数语义上逻辑公式的概率真度
被引量:8
3
作者
左卫兵
机构
华北水利水电大学数学与信息科学学院
出处
《电子学报》
EI
CAS
CSCD
北大核心
2015年第2期293-298,共6页
基金
国家自然科学基金(No.11201145)
河南省教育厅自然科学基金(No.13A110719)
河南省教育厅人文社会科学研究项目(No.2013-QN-295)
文摘
基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计量逻辑学中的相关理论推广到基于MTL代数语义的格值逻辑上,使得在格值逻辑上进行程度化推理成为可能.
关键词
MTL代数
L-赋值
概率真度
概率逻辑度量空间
程度 化推理
Keywords
monoidal t-norm based logic algebra
lattice valued evaluation
probability truth degree
probability logic metric space
graded reasoning
分类号
O141.1
[理学—基础数学]
O189.2
[理学—基础数学]