命题逻辑中的程度化方法

发布时间：2018-05-15 06:22

  本文选题：命题逻辑 + 诱导函数　； 参考：《电子学报》2006年02期

【摘要】：在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最后,提出了有限逻辑理论的相容度理论.
[Abstract]:The concept of inductive function of propositions is introduced in binary propositional logic, n-valued propositional logic and fuzzy propositional logic. On this basis, the concept of truth degree of propositions is introduced for discrete and continuous cases, respectively, by means of infinite product and integral semantics of uniform probabilistic space. Secondly, an approximate reasoning theory based on deductive theorem is established. Finally, the compatibility degree theory of finite logic theory is proposed.
【作者单位】： 陕西师范大学数学研究所 西安高技术研究所
【基金】：国家自然科学基金(No.1033101060272022)
【分类号】：O141.1

【参考文献】

相关期刊论文 前3条

1 王国俊,任燕;Lukasiewicz命题集的发散性与相容性[J];工程数学学报;2003年03期

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

3 王国俊,宋庆燕;一种新型的三I算法及其逻辑基础[J];自然科学进展;2003年06期

【共引文献】

相关期刊论文 前10条

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

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

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

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

5 李立峰;;一类基于R_0蕴涵算子的模糊概念格[J];宝鸡文理学院学报(自然科学版);2007年02期

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

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

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

9 尤飞,杨昔阳,李洪兴;模糊蕴涵算子及其构造(Ⅲ)——由三角模或余三角模构造的模糊蕴涵算子[J];北京师范大学学报(自然科学版);2004年04期

10 尤飞,李洪兴;模糊蕴涵算子及其构造(Ⅳ)——模糊蕴涵算子的对偶算子[J];北京师范大学学报(自然科学版);2004年05期

相关会议论文 前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 王国俊;;数理逻辑中的数值化方法(英文)[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

相关博士学位论文 前10条

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

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

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

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

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

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

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

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

9 范永青;几类复杂动态系统稳定及同步控制研究[D];广东工业大学;2012年

10 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年

相关硕士学位论文 前10条

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

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

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

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

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

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

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

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

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

10 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

【二级参考文献】

相关期刊论文 前10条

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

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

3 裴道武,王国俊;形式系统鈦~*的完备性及其应用[J];中国科学E辑:技术科学;2002年01期

4 李洪兴,苗志宏,王加银,李洪兴,李洪兴;四级倒立摆的变论域自适应模糊控制[J];中国科学E辑:技术科学;2002年01期

5 宋士吉,吴澄;模糊推理的反向三I算法[J];中国科学E辑:技术科学;2002年02期

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

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

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

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

10 王国俊;MV-代数、BL-代数、R_0-代数与多值逻辑[J];模糊系统与数学;2002年02期

【相似文献】

相关期刊论文 前10条

1 左卫兵;;一种非均匀概率空间下二值命题逻辑中命题的真度理论[J];河北师范大学学报(自然科学版);2008年01期

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

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

4 马丽娜;王国俊;;Lukasiewicz三值逻辑中命题的真度值之集在[0,1]上的分布[J];山东大学学报(理学版);2009年10期

5 关晓红;李骏;;一种非均匀概率空间下逻辑系统G_3中命题的真度理论[J];兰州理工大学学报;2009年05期

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

7 李骏,黎锁平,兰倩;一类n值命题逻辑系统中改进的相似度及伪距离[J];甘肃工业大学学报;2003年02期

8 何应灿;真值表的判定方法[J];思维与智慧;1982年06期

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

10 左卫兵;;逻辑系统G_3在非均匀概率空间下命题的真度理论[J];数学研究;2008年02期

相关会议论文 前10条

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

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

3 徐扬;;基于格值命题逻辑L_(vpl)的近似推理[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

4 程里春;;近似推理的几个定理[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

5 任平;喻东;黄颖强;;近似推理模式的行为科学研究[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

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

7 张永清;;准优模糊蕴涵与近似推理[A];数学及其应用文集——中南模糊数学和系统分会第三届年会论文集（上卷）[C];1995年

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

9 徐扬;;格值命题逻辑公式及其L真(假)性[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

10 张清宇;;古典命题逻辑的证伪系统[A];1996年逻辑研究专辑[C];1996年

相关重要报纸文章 前10条

1 佟芳;首届生命基因高峰论坛举行[N];科技日报;2009年

2 佟佳芳;奋斗攻关四十载 自主创新结硕果[N];科技日报;2009年

3 高南生（作者单位：秦安县教师进修学校）;中学数学学习指南[N];甘肃日报;2005年

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

5 华南师范大学政治与行政学院 胡泽洪;哲学逻辑的发展趋势及其对我们的启示[N];光明日报;2008年

6 陈波;逻辑学与理性精神[N];光明日报;2003年

7 贾春华 王永炎;“方证论治系统”原理论思考[N];中国中医药报;2006年

8 哲科;哲学所举办第二届青年学术论坛[N];中国社会科学院院报;2008年

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

10 中国科学院计算技术研究所 常亮邋史忠植;语义Web的逻辑基础[N];计算机世界;2007年

相关博士学位论文 前10条

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

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

3 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

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

5 孙燕;基于机器学习技术的《伤寒论》方证分析方法研究[D];北京中医药大学;2007年

6 贾春华;基于命题逻辑的《伤寒论》方证理论体系研究[D];北京中医药大学;2006年

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

8 白治江;基于遗传算法的模糊系统研究[D];华东师范大学;2006年

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

10 吴瑕;基于扩展规则的定理证明的研究[D];吉林大学;2006年

相关硕士学位论文 前10条

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

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

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

4 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

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

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

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

8 刘保翠;命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论[D];陕西师范大学;2008年

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

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

，

本文编号：1891334