公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

Godel n值命题逻辑中公式的随机真度和形式推演结论的不可靠度估计被引量：5: 2012年; 利用Godel n值命题逻辑赋值域上概率的无穷乘积,在Godeln值命题逻辑系统中引入命题公式的随机真度和不可靠度概念。证明在Godeln值逻辑系统中,一个有效推理结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和。通过不可靠度在全体公式集上建立伪距离,给出基于伪距离和不可靠度的两种近似推理模式。; 吴霞张家录; 关键词：GODEL N值逻辑系统随机真度伪距离

Lukasiewicz n值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计被引量：2: 2012年; 在Lukasiewiczn值命题逻辑系统中引入命题公式的一般真度概念并讨论其性质,说明一般真度满足Kolmogorov公理.在形式推演中,引进公式的不可靠度和前提的必要度概念,证明在Lukasiewiczn值逻辑系统中,一个有效推理的结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和.通过不可靠度在全体公式集上建立逻辑伪距离空间,证明逻辑伪距离空间中没有孤立点,利用逻辑伪距离在全体公式集F(S)中提出两种不同形式的近似推理模式.; 张家录吴霞; 关键词：LUKASIEWICZ 真度伪距离

全选清除导出

共1页<1>

湖南省教育厅科研基金(10C1232)