Godel n 值命题逻辑中公式的随机真度和形式推演结论的不可靠度估计

摘要：

利用Godeln值命题逻辑赋值域上概率的无穷乘积,在Godeln值命题逻辑系统中引入命题公式的随机真度和不可靠度概念.证明在Godel n值逻辑系统中,一个有效推理结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和,通过不可靠度在全体公式集上建立伪距离,给出基于伪距离和不可靠度的两种近似推理模式.

关键词：Godel n 值逻辑系统、随机真度、不可靠度、必要度、伪距离、近似推理

所属期刊栏目：26

分类号：O141(数理逻辑、数学基础)

资助基金：湖南省重点建设学科项目;湖南省教育厅科学研究项目10C1232;湘南学院科研项目08Y027

在线出版日期：2012-10-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：24-34