期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
Gdel n值命题逻辑中命题的α-真度理论 被引量:25
1
作者 李骏 王国俊 《软件学报》 EI CSCD 北大核心 2007年第1期33-39,共7页
为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,... 为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示. 展开更多
关键词 α- α-相似度 伪距离
在线阅读 下载PDF
值乘积命题逻辑中命题的α-真度理论 被引量:1
2
作者 龚加安 吴洪博 《河南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第1期8-11,共4页
利用均匀概率空间的无穷乘积,在n值乘积逻辑系统中引入命题的α-真度概念.给出了一般推理规则,利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.
关键词 α- α-相似度 伪距离
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部