一种n值逻辑系统中命题的条件真度

发布时间：2018-02-28 22:32

  本文关键词： R-命题逻辑系统 条件真度 近似推理 条件概率 推理规则 演绎定理 原子公式 模糊集 不等式 经典控制理论　出处：《山东大学学报(理学版)》2009年06期 　论文类型：期刊论文

【摘要】：基于条件概率的思想,在n值R0-命题逻辑系统Ln*中引入条件真度的概念,并讨论该条件真度的性质及相应的推理规则。
[Abstract]:Based on the idea of conditional probability, the concept of conditional truth degree is introduced in n-valued R0-propositional logic system Ln *, and the properties of conditional truth degree and the corresponding inference rules are discussed.
【作者单位】： 潍坊学院数学与信息科学学院;山东大学数学学院;
【基金】：国家自然科学基金资助项目(60774100) 山东省自然科学基金资助项目(Y2007A15)
【分类号】：O141.1

【参考文献】

相关期刊论文 前2条

1 刘华文;王国俊;张诚一;;几种逻辑系统中的近似推理理论[J];山东大学学报(理学版);2007年07期

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

【共引文献】

相关期刊论文 前10条

1 王国俊;段巧林;;模态逻辑中的(n)真度理论与和谐定理[J];中国科学（F辑:信息科学）;2009年02期

2 王廷明;;基于标准化表示的命题逻辑公式的D-随机真度[J];中国海洋大学学报(自然科学版);2009年01期

3 王廷明;王爱青;;二值命题逻辑中伪距离的真度表示及其应用[J];青岛理工大学学报;2008年03期

4 王廷明;王爱青;;二值命题逻辑中基于前提信息的Г-真度理论[J];青岛理工大学学报;2008年04期

5 王廷明;王爱青;;二值命题逻辑中的伪距离不等式与近似推理[J];青岛理工大学学报;2009年03期

6 李得超;模糊推理的灵敏度[J];青海大学学报(自然科学版);2004年01期

7 卢延鑫;;经典逻辑在人工智能知识推理中的应用[J];软件导刊;2008年01期

8 李骏;王国俊;;G銉del n值命题逻辑中命题的α-真度理论[J];软件学报;2007年01期

9 李骏;王国俊;;基于支持度理论的广义Modus Ponens问题的最优解[J];软件学报;2007年11期

10 周红军;王国俊;;逻辑系统NMG的满足性和紧致性[J];软件学报;2009年03期

相关会议论文 前8条

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

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

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

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

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

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

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

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

相关博士学位论文 前10条

1 焦晓佑;智能工程推理机制研究及其在电力供需平衡复杂性分析中的应用[D];北京交通大学;2009年

2 林立新;SS7E电力机车电气系统的故障诊断技术研究[D];中南大学;2008年

3 李小申;三维模糊集[D];大连理工大学;2009年

4 郭远华;若干逻辑自动推理方法研究[D];华东师范大学;2010年

5 吴茂念;基于分离的信念更新研究[D];贵州大学;2008年

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

7 刘学生;基于粗集的不确定多属性决策排序法的研究[D];大连理工大学;2009年

8 吴恒洋;概率计算与可能性计算的Domain语义[D];上海师范大学;2007年

9 赖洪亮;Ω-范畴序结构性质的研究[D];四川大学;2007年

10 刘新;三维空间关系的描述及其定性推理[D];山东科技大学;2007年

相关硕士学位论文 前10条

1 王晓宁;两类模糊集的表现定理及其应用[D];辽宁师范大学;2009年

2 朱芳芳;正则剩余格的*-理想及其性质[D];扬州大学;2009年

3 潘道华;基于计算机模拟的不确定性推理研究[D];黑龙江科技学院;2009年

4 吴红霞;偏序、拓扑与子代数偏序的结构性质[D];扬州大学;2008年

5 郭子燕;反模糊粗糙代数[D];江南大学;2008年

6 杜娟;广义模糊BCK-代数和广义模糊环[D];江南大学;2008年

7 王拥兵;模糊文法的逼近性[D];陕西师范大学;2008年

8 李海霞;逻辑代数中若干问题的研究[D];陕西师范大学;2008年

9 代建云;有关内导集与逻辑度量的研究[D];陕西师范大学;2008年

10 段景瑶;三种逻辑代数的等价刻画和模糊模态逻辑[D];陕西师范大学;2008年

【二级参考文献】

相关期刊论文 前6条

1 吴洪博,王小敏,韩诚;L~*系统中的模糊演绎定理的改进形式[J];四川大学学报(自然科学版);2005年01期

2 王国俊;广义MP规则[J];陕西师范大学学报(自然科学版);2000年03期

3 王伟,王国俊;伪度量L~*-Lindenbaum代数中基本运算的连续性[J];陕西师范大学学报(自然科学版);2005年02期

4 韩诚,周红军;关于形式系统L~*(强)完备性证明的注记[J];陕西师范大学学报(自然科学版);2005年02期

5 茹永梅;王国俊;;几个三值命题逻辑系统中命题真度的分布[J];陕西师范大学学报(自然科学版);2005年04期

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

【相似文献】

相关期刊论文 前10条

1 田秀芝;求近似推理模型的矩阵计算公式[J];石油化工高等学校学报(自然科学版);1995年03期

2 王晓星;α算子上的近似推理[J];模糊系统与数学;1990年02期

3 应明生;Fuzzy命题逻辑中的Fuzzy推理[J];模糊系统与数学;1989年01期

4 周尚明,魏华梁,贾利民,张锡第;复杂过程建模的模糊集和神经网络方法[J];系统仿真学报;1998年01期

5 宋子伦,付新民;基于主因素的近似推理的矩阵表示[J];武警工程学院学报;2001年06期

6 齐先义;;近似推理[J];海军工程大学学报;1984年02期

7 王涛,吕景贵;关于多变量模糊推理的研究[J];辽宁工学院学报;1996年03期

8 范昭赋,孙吉贵,杨凤杰;模糊控制中近似推理的插值模型[J];吉林大学自然科学学报;1999年01期

9 秦克云，，徐扬，宋振明;基于系统L(X)的几种近似推理[J];模糊系统与数学;1998年02期

10 李东亚;张诚一;王鸿绪;;基于Vague集加权相似度量的近似推理[J];河南师范大学学报(自然科学版);2007年02期

相关会议论文 前10条

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

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

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

4 韩卫;姬琼;;贝叶斯网络的一种近似推理算法[A];2005中国控制与决策学术年会论文集（下）[C];2005年

5 李承家;戴冠中;;模糊控制系统稳定性研究的现状及新进展[A];1997中国控制与决策学术年会论文集[C];1997年

6 李永敏;朱善君;吉吟东;陈湘晖;;一种基于近似推理的数据挖掘算法[A];1998中国控制与决策学术年会论文集[C];1998年

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

8 张尚水;;模糊逻辑[A];全国逻辑讨论会论文选集[C];1979年

9 陈永义;;关于隶属函数与小波基函数的注记[A];2001年中国智能自动化会议论文集（上册）[C];2001年

10 成科扬;;基于集对分析的模糊逻辑及其推理方法研究[A];第二十三届中国控制会议论文集（下册）[C];2004年

相关博士学位论文 前4条

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

2 任芳;正则蕴涵算子与新型模糊逻辑系统的研究[D];陕西师范大学;2005年

3 覃锋;模糊逻辑中若干问题的研究[D];四川大学;2004年

4 林琳;直觉模糊集在近似推理与决策中的应用[D];大连理工大学;2006年

相关硕士学位论文 前10条

1 徐章艳;基于Vague集的近似推理[D];广西师范大学;2000年

2 郭明星;基于模糊推理的城市配电网供电能力评估[D];天津大学;2004年

3 田应忠;基于模糊集的模糊专家系统研究与应用[D];华中科技大学;2004年

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

5 蔡立晶;基于模糊集的三维表示及研究[D];华中科技大学;2004年

6 彭玉兵;粗糙集理论的推广及若干应用问题[D];江西师范大学;2005年

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

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

9 刘俊娜;贝叶斯网络推理算法研究[D];合肥工业大学;2007年

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

本文编号：1549284