一类二值谓词逻辑中公式的准真度理论

发布时间：2018-03-18 04:35

  本文选题：谓词逻辑　切入点：有限解释　出处：《陕西师范大学学报(自然科学版)》2005年01期 　论文类型：期刊论文

【摘要】：在二值谓词逻辑中引入了一阶语言的一类特殊解释,该类解释中的解释域取为非空有限集.在此基础上基于有限均匀分布概率测度空间的可数无穷乘积引入了逻辑公式的相对真度与准真度概念,证明了关于准真度而言MP规则与HS规则成立,并基于准真度对全体谓词公式之集进行了分类.准真度理论虽然并不与逻辑有效公式以及矛盾式概念完全吻合,但可证明存在一类公式,对该类公式而言,逻辑有效性等价于准真度为1,矛盾性等价于准真度为0.所以准真度为1或0分别是逻辑有效公式或矛盾式概念的一种推广.
[Abstract]:A kind of special interpretation of first order language is introduced in the binary predicate logic. Based on the countable infinite product of the finite uniform distribution probability measure space, the concepts of relative truth degree and quasi-truth degree of logical formula are introduced. It is proved that MP rule and HS rule hold true for quasi-truth degree, and the set of all predicate formulas is classified on the basis of quasi-truth degree. But it can be proved that there exists a kind of formula. For this kind of formula, the logical validity is equivalent to the quasi-truth degree 1, and the contradiction is equivalent to the quasi-truth degree 0. Therefore, the quasi-truth degree of 1 or 0 is a generalization of the logical efficient formula or the concept of contradiction, respectively.
【作者单位】： 陕西师范大学数学与信息科学学院 陕西师范大学数学与信息科学学院 陕西师范大学数学与信息科学学院
【基金】：国家自然科学基金重点资助项目(10331010)
【分类号】：O141.1

【参考文献】

相关期刊论文 前6条

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

2 吴望名;参数Kleene系统中的广义重言式[J];模糊系统与数学;2000年01期

3 吴洪博;G銉del逻辑系统中的广义重言式理论[J];模糊系统与数学;2000年04期

4 裴道武,李骏;积逻辑系统中的广义重言式(英文)[J];模糊系统与数学;2002年04期

5 李骏,袁和军;积分语义学中的积分相似度、伪距离与近似推理理论[J];陕西师范大学学报(自然科学版);2002年01期

6 王国俊,王伟;逻辑度量空间[J];数学学报;2001年01期

【共引文献】

相关期刊论文 前10条

1 刘宏岚;高庆狮;杨炳儒;;多值逻辑中的命题相关性与逻辑运算研究[J];北京科技大学学报;2007年S2期

2 郑亚林;Fuzzy逻辑新进展[J];宝鸡文理学院学报(自然科学版);2000年01期

3 郑亚林,白永成,黄宏科,黄德隆;基于带Fuzzy壳Boole代数和修正的Gaines-Rescher蕴涵算子的险象识别逻辑[J];宝鸡文理学院学报(自然科学版);2000年02期

4 辛晓东,尤飞;乘积R_0-代数上的若干映射性质[J];宝鸡文理学院学报(自然科学版);2000年02期

5 许文艳,韩诚;R_0代数中的真布尔元[J];宝鸡文理学院学报(自然科学版);2003年04期

6 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期

7 刘东利,茹永梅;经典二值逻辑系统L中的MT问题[J];宝鸡文理学院学报(自然科学版);2005年04期

8 杜亚灵;尹贻林;;基于模糊逻辑的公共项目风险分配模型[J];北京理工大学学报(社会科学版);2008年03期

9 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期

10 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期

相关会议论文 前10条

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

2 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年

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

4 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

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

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

7 潘小东;徐扬;;基于格值命题逻辑的语言真值不确定性推理方法[A];第八届中国不确定系统年会论文集[C];2010年

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

9 潘小东;;模糊一阶逻辑研究进展综述[A];第十届中国不确定系统年会、第十四届中国青年信息与管理学者大会论文集[C];2012年

10 陈图云;陈文丽;;修正的Atanassov逻辑及其广义重言式[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

相关博士学位论文 前10条

1 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年

2 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年

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

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

5 韩召伟;几类基于量子逻辑的自动机的代数及逻辑刻画[D];陕西师范大学;2011年

6 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年

7 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年

8 邹丽;基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究[D];西南交通大学;2010年

9 于海田;民航安全分析与管理研究[D];上海大学;2011年

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

相关硕士学位论文 前10条

1 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大学;2010年

2 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年

3 鹿文慧;基于重心法的Boolean模糊系统及其概率表示理论[D];大连理工大学;2010年

4 袁英敏;基于CRI方法的重心法模糊系统及概率表示[D];大连理工大学;2010年

5 王云涛;基于二Ⅰ算法的模糊系统的构造及其概率表示[D];大连理工大学;2010年

6 许筱婷;基于本体论的知识表达[D];湘潭大学;2010年

7 刘婷;软集合理论在模糊逻辑代数中的应用研究[D];江南大学;2010年

8 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年

9 赵力;模糊推理的三Ⅰ算法研究[D];山东大学;2010年

10 吴媛;剩余格的模糊滤子和广义模糊滤子[D];西北大学;2011年

【二级参考文献】

相关期刊论文 前10条

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

2 裴道武 ,王国俊;The completeness and applications of the formal system B[J];Science in China(Series F:Information Sciences);2002年01期

3 ;A formal deductive system for fuzzy propositional calculus[J];Chinese Science Bulletin;1997年18期

4 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

5 吴望名;Fuzzy蕴涵代数[J];模糊系统与数学;1990年01期

6 裴道武;形式演绎系统L~*中的懔运算与演绎定理[J];模糊系统与数学;2001年01期

7 王国俊;一类代数上的逻辑学(Ⅰ)[J];陕西师范大学学报(自然科学版);1997年01期

8 王国俊;一类代数上的逻辑学(Ⅱ)[J];陕西师范大学学报(自然科学版);1997年03期

9 杨晓斌,张文修;Lukasiewicz系统中的广义重言式理论[J];陕西师范大学学报(自然科学版);1998年04期

10 裴道武,王国俊;一种新的模糊逻辑代数系统[J];西南交通大学学报;2000年05期

【相似文献】

相关期刊论文 前10条

1 张兴芳,孟广武;模糊谓词逻辑公式的有限和可数解释真度理论[J];聊城师院学报(自然科学版);2004年04期

2 李骏,兰倩,黎锁平;Lukasiewicz三值命题逻辑中命题的真度理论[J];模糊系统与数学;2004年04期

3 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑;2005年06期

4 李骏,黎锁平,夏亚峰;Lukasiewicz n值命题逻辑中命题的真度理论[J];数学学报;2004年04期

5 陈世鸿,彭蓉,吴志远;FLL语言的说明性语义与过程性语义[J];武汉大学学报(自然科学版);1999年03期

6 李骏,兰倩,夏亚峰;标准序列逻辑系统S_3中命题的真度值之集在[0,1]上的分布[J];甘肃工业大学学报;2003年04期

7 隋云云;;逻辑系统L_4~2中公式的相似度[J];潍坊学院学报;2011年04期

8 茹永梅;;两个特殊逻辑系统G_n和Π_n中的相似度与伪距离[J];浙江工贸职业技术学院学报;2008年01期

9 李成允;张兴芳;;L~*逻辑系统中的函数决定公式问题[J];山东大学学报(理学版);2009年12期

10 隋云云;;逻辑系统G_4~2中命题的真度[J];潍坊学院学报;2010年02期

相关会议论文 前10条

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

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

3 王国俊;;数理逻辑中的数值化方法(英文)[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

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

5 刘壮虎;;复合谓词的逻辑系统[A];2000年逻辑研究专辑[C];2000年

6 刘壮虎;;几类性质词的逻辑特征[A];第二届中国南北哲学论坛暨“哲学的当代意义”学术研讨会论文集[C];2005年

7 李娜;;我讲《数理逻辑》课程的方法[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

8 陈勇;戴先中;孟正大;;多移动机器人可重构物流系统建模方法[A];2005全国自动化新技术学术交流会论文集（三）[C];2005年

9 郭曙纶;陆汝占;陈玉泉;高峰;;论动词的逻辑论元[A];第三届全国语言文字应用学术研讨会论文集[C];2004年

10 陈其楼;潘正华;;谓词逻辑中有关函数及其部分性质的形式描述[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

相关重要报纸文章 前10条

1 本报记者 邓小敏 特约记者 特约记者 文火玉;在市区有限解除烟花爆竹燃放禁令[N];韶关日报;2005年

2 王苏伊 王立嘉;想在北京买假名牌难了[N];市场报;2005年

3 马根喜;欧盟有限解除活禽进口禁令[N];国际商报;2007年

4 小马;走近LCD[N];中国电脑教育报;2002年

5 晚心;黑龙江将率先推出中医药发展条例[N];中国高新技术产业导报;2008年

6 金娜;皮装选购有诀窍[N];大众科技报;2000年

7 $$点评嘉宾 首都经贸大学经济研究所教授 $$吴少平 北大经济系教授 钟伟 $$本版采写 刘凌林;利润水分怎么挤？[N];中国企业报;2001年

8 吴挺;进军专业绘图市场[N];计算机世界;2003年

9 马国川;国企改制应该法律先行[N];中国经济时报;2006年

10 马国川;国企MBO解禁应该法律先行[N];经理日报;2006年

相关博士学位论文 前10条

1 李益发;密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑[D];解放军信息工程大学;2001年

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

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

4 张继华;科学探究推理研究[D];西南大学;2012年

5 王谷亮;DNA聚合酶β在烷化剂MNNG引起的非定标性突变中的作用[D];浙江大学;2002年

6 陈书义;面向融合的移动通信网络安全关键技术研究[D];东北大学;2009年

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

8 石振国;资源网络的精化学习及应用研究[D];上海大学;2011年

9 彭君;领域软件开发中体系结构元模型及模型转换方法研究[D];吉林大学;2010年

10 聂大海;语言指称的同一性与必然性[D];吉林大学;2011年

相关硕士学位论文 前10条

1 高香妮;命题逻辑系统中理论的真度概念及其应用[D];陕西师范大学;2010年

2 李海亚;n值SMTL系统中命题的∑-（[α，，β]-真度）理论[D];兰州理工大学;2012年

3 谢晶晶;L_n系统和L_n*系统中的真度理论[D];陕西师范大学;2012年

4 崔艳丽;R_0代数的简化以及相对真度的相关性质研究[D];陕西师范大学;2010年

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

6 任鹏飞;命题逻辑公式集上的相似度、伪距离与近似推理[D];西北大学;2008年

7 茹永梅;经典逻辑系统（？）中的MT问题及公式的真度理论[D];陕西师范大学;2006年

8 高菲菲;多值命题逻辑中若干逻辑理论的拓扑刻画[D];陕西师范大学;2008年

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

10 张琼;BL_△~*形式系统与NM（?）形式系统的研究[D];陕西师范大学;2010年

本文编号：1628043