二值谓词逻辑中公式的向量真度

发布时间：2017-11-08 19:08

  本文关键词：二值谓词逻辑中公式的向量真度

  更多相关文章： 计量逻辑 向量真度 准真度 概率测度

【摘要】：首次将谓词逻辑系统中一阶语言的有限解释按照其论域的势进行分层,提出每一层解释类下公式的n真度,最终给出公式向量真度的定义,更直观精确地刻画一阶公式的真实程度.接着证明向量真度的一些基本性质,指出向量真度保持谓词逻辑形式推理的MP规则、HS规则与推广规则,从而为进一步在谓词逻辑系统中开展近似推理研究提供一种可能的框架.
【作者单位】： 西南交通大学
【基金】：国家自然科学基金项目(No.61175055) 四川省科技支撑计划项目(No.2011FZ0051)资助
【分类号】：O141.1
【正文快照】： 1引言数理逻辑的特点在于符号化与形式化,而计算数学则似乎是远离形式推理的完全不同的学科.如果将程度化思想与数值计算引入到数理逻辑中,那么将使形式推理更灵活,更具有实际应用价值.事实上,早在20世纪50年代,文献[1]就用“指派真值”反应逻辑公式真实度的做法将程度化思想

【参考文献】

中国期刊全文数据库 前9条

1 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期

2 ;Theory of truth degrees of formulas in ■ukasiewicz n-valued propositional logic and a limit theorem[J];Science in China(Series F:Information Sciences);2005年06期

3 ;Theory of truth degrees of propositions in the logic system L_n~*[J];Science in China(Series F:Information Sciences);2006年04期

4 ;Randomization of classical inference patterns and its application[J];Science in China(Series F:Information Sciences);2007年06期

5 ;Theory of (n) truth degrees of formulas in modal logic and a consistency theorem[J];Science in China(Series F:Information Sciences);2009年01期

6 ;Borel probabilistic and quantitative logic[J];Science China(Information Sciences);2011年09期

7 王国俊,秦晓燕,周湘南;一类二值谓词逻辑中公式的准真度理论[J];陕西师范大学学报(自然科学版);2005年01期

8 王国俊;高香妮;;命题逻辑系统中理论的真度概念及其应用[J];陕西师范大学学报(自然科学版);2009年05期

9 崔美华;;n值Lukasiewicz命题逻辑系统中公式的随机真度及近似推理[J];应用数学学报;2012年02期

【共引文献】

中国期刊全文数据库 前10条

1 刘保翠;王国俊;;命题集F(S)基于相似关系定义的拓扑[J];安康学院学报;2007年03期

2 王廷明;;二值命题逻辑中的蕴涵度量与近似推理[J];重庆师范大学学报(自然科学版);2009年03期

3 亓正坤;王廷明;丁洁玉;;二值命题逻辑中限制逻辑等价关系及其应用[J];东北师大学报(自然科学版);2012年02期

4 王廷明;;二值命题逻辑中Г-的蕴涵距离和近似推理[J];德州学院学报;2008年06期

5 袁彦莉;张兴芳;;G_n命题逻辑系统中绝对真度的理论研究[J];德州学院学报;2009年04期

6 王廷明;;二值命题逻辑中有限理论的相对偏差及其应用[J];德州学院学报;2010年02期

7 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

8 王国俊;惠小静;;概率逻辑学基本定理的推广[J];电子学报;2007年07期

9 张东晓;李立峰;;二值命题逻辑公式的语构程度化方法[J];电子学报;2008年02期

10 胡明娣;王国俊;;对称逻辑公式在经典逻辑度量空间中的分布[J];电子学报;2011年02期

中国重要会议论文全文数据库 前4条

1 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年

2 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

3 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年

4 张凤姣;张兴芳;李成允;;G銉del逻辑中真值函数特征及真度分布[A];第八届中国不确定系统年会论文集[C];2010年

中国博士学位论文全文数据库 前7条

1 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年

2 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年

3 韩邦合;赋值代数分裂算法与隐性半环赋值研究[D];陕西师范大学;2011年

4 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

5 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年

6 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年

7 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年

中国硕士学位论文全文数据库 前10条

1 邓富喜;n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性[D];兰州理工大学;2011年

2 范欣;几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较[D];陕西师范大学;2011年

3 徐晓亮;家用伙伴机器人控制系统的研制[D];哈尔滨工业大学;2011年

4 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

5 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

6 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年

7 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

8 周湘南;理论的相容度及效应代数的滤子与商[D];陕西师范大学;2005年

9 李晓冰;区间值模糊命题逻辑的广义拟重言式及其真度[D];辽宁师范大学;2005年

10 李璧镜;Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间[D];陕西师范大学;2006年

【二级参考文献】

中国期刊全文数据库 前10条

1 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

2 张东晓;李立峰;;二值命题逻辑公式的语构程度化方法[J];电子学报;2008年02期

3 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

4 王国俊 ,傅丽 ,宋建社;Theory of truth degrees of propositions in two-valued logic[J];Science in China,Ser.A;2002年09期

5 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑:技术科学;1998年02期

6 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑:技术科学;1999年01期

7 惠小静;王国俊;;经典推理模式的随机化研究及其应用[J];中国科学(E辑:信息科学);2007年06期

8 ;Theory of truth degrees of formulas in ■ukasiewicz n-valued propositional logic and a limit theorem[J];Science in China(Series F:Information Sciences);2005年06期

9 ;Theory of truth degrees of propositions in the logic system L_n~*[J];Science in China(Series F:Information Sciences);2006年04期

10 ;Randomization of classical inference patterns and its application[J];Science in China(Series F:Information Sciences);2007年06期

【相似文献】

中国期刊全文数据库 前10条

1 马华孝;;2~3值逻辑系统的基本运算规则与物理模型[J];四川大学学报(工程科学版);1986年03期

2 马巧云;吴洪博;;逻辑系统W,W,W_n中的广义矛盾式[J];西安文理学院学报(自然科学版);2006年03期

3 马巧云;吴洪博;赵艳;;逻辑系统鄘、W、W_n中的广义矛盾式及一种降级算法[J];纯粹数学与应用数学;2007年04期

4 陈宗升;于西昌;李成允;;逻辑系统G銉del,Luk,L*中命题真度值的分布[J];计算机工程与应用;2009年13期

5 马巧云;吴洪博;;逻辑系统H_t中的三-Ⅰ算法[J];计算机工程与应用;2009年20期

6 李绍勇;李成允;;n值逻辑系统子代数个数之讨论[J];计算机工程与应用;2009年27期

7 马巧云;吴洪博;;否定度理论及其在模糊推理中的应用[J];西安文理学院学报(自然科学版);2010年03期

8 杨安洲;;逻辑系统(谓词系统)L(w1,w)的(≤w1,infinite)-紧性(英文)[J];前沿科学;2010年03期

9 王庆平;王大全;张兴芳;;n值命题逻辑系统中公式真度的进一步研究[J];模糊系统与数学;2009年01期

10 李友雨;张兴芳;李成允;;公式真度的大小之比较[J];模糊系统与数学;2011年02期

中国重要会议论文全文数据库 前10条

1 陈永义;;NF逻辑系统[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

2 任燕;王洪丽;鲁忠良;;模糊逻辑的紧致性与模糊理论相容度[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年

3 王国俊;;Fuzzy逻辑与有序代数[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

4 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年

5 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年

6 霍书全;鞠实儿;;SLO的代数结构[A];开放类逻辑论文集[C];2004年

7 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

8 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年

9 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年

10 朱剑英;肖奚安;朱梧i，

本文编号：1158428