题名 知识推理的程度化方法(英文)
1
作者
李骏 王国俊 李建生
机构
兰州理工大学理学院 陕西师范大学数学研究所
出处
《南京大学学报（数学半年刊）》
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
2
作者
左卫兵
机构
华北水利水电大学数学与信息科学学院
出处
《电子学报》
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
[理学—基础数学]
