模态逻辑系统S4中的度量结构

发布时间：2018-03-16 03:27

  本文选题：近似推理　切入点：模态逻辑　出处：《山东大学学报(理学版)》2016年02期 　论文类型：期刊论文

【摘要】：在模态逻辑S4中通过有限模型建立了模态公式的(n)真度理论,研究了模态逻辑S4中命题的(n)真度的性质。提出了模态公式间的(n)相似度理论,并由此在全体公式集中,建立了(n)伪距离,得出了(n)模态逻辑S4的度量空间,该空间以经典逻辑度量空间为子空间,提出了一种模态逻辑S4中近似推理的框架。
[Abstract]:In modal logic S4, through finite model, the theory of the degree of truth of the modal formula is established, the properties of the proposition of the proposition in the modal logic S4 are studied, and the theory of similarity degree between the modal formulas is put forward, and the theory of similarity degree is set up in the whole formula. In this paper, the pseudo-distance is established, and the metric space of S4 of modal logic is obtained. This space takes the classical logic metric space as the subspace, and puts forward a framework of approximate reasoning in modal logic S4.
【作者单位】： 陕西师范大学数学与信息科学学院;
【基金】：国家自然科学基金重点项目(11531009);国家自然科学基金面上项目(61572016)
【分类号】：O141.1

【参考文献】

相关期刊论文 前3条

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

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

3 李玲玲;吴洪博;;BR_0-分配性及其推广[J];山东大学学报(理学版);2012年02期

【共引文献】

相关期刊论文 前10条

1 于海;詹婉荣;张瑞玲;;模态逻辑S4的覆盖语义及其完备性[J];电子学报;2012年04期

2 于鸿丽;吴洪博;;多值逻辑系统H_α中的子代数理论[J];计算机工程与应用;2008年05期

3 李顺琴;王国俊;;修正的G銉del逻辑系统中子代数的广义重言式理论[J];计算机工程与应用;2008年36期

4 卫利萍;薛占熬;岑枫;;G銉del区间值逻辑系统的广义拟重言式[J];计算机工程与应用;2009年06期

5 魏海新;;修正的Kleene系统中子代数的广义重言式理论[J];计算机工程与应用;2009年22期

6 李顺琴;王国俊;;系统H_α中的子代数的广义重言式理论[J];计算机工程与应用;2010年08期

7 于鸿丽;吴洪博;;逻辑系统H_α中广义语义MP规则证明的改进[J];计算机工程与应用;2010年22期

8 魏海新;;G銉del系统中一类子代数上的广义重言式理论[J];计算机工程与应用;2010年29期

9 刘华丽;;模态逻辑中公式的模态真度[J];计算机工程与应用;2010年31期

10 李修清;;G銉del逻辑系统中1/2-子代数上的广义重言式理论[J];计算机工程与应用;2011年05期

相关博士学位论文 前4条

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

2 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

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

4 时慧娴;模态逻辑的计量化研究及其在模型检验中的应用[D];陕西师范大学;2013年

相关硕士学位论文 前10条

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

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

3 韩莹;扰动模糊命题逻辑及其广义重言式[D];辽宁师范大学;2003年

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

5 孟艳平;扰动模糊命题逻辑系统的语义[D];辽宁师范大学;2005年

6 李丽;模糊时序命题逻辑系统的语义[D];辽宁师范大学;2005年

7 汪德刚;模糊模态命题逻辑及其广义重言式[D];辽宁师范大学;2005年

8 吴凤干;直觉模糊命题逻辑系统的语义[D];辽宁师范大学;2005年

9 关晓红;多值逻辑系统H_α与偏蕴涵代数[D];陕西师范大学;2007年

10 李慧玲;多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度[D];辽宁师范大学;2007年

【二级参考文献】

相关期刊论文 前10条

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

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

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

4 李骏;王国俊;;n值Lkasiewicz命题逻辑中命题的α-真度理论[J];计算机工程与应用;2006年31期

5 张兴芳;孟广武;张安英;;蕴涵算子族及其应用[J];计算机学报;2007年03期

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

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

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

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

10 韩邦合;王国俊;;二值逻辑中命题的条件真度理论[J];模糊系统与数学;2007年04期

【相似文献】

相关期刊论文 前10条

1 李娜;魏燕侠;;国内模态逻辑哲学问题研究述评[J];自然辩证法研究;2007年11期

2 邹晶,邱伟德;中介模态逻辑——形式系统及语义[J];数学研究与评论;1991年02期

3 周祯祥;模态算子与全称量词──蒙太古构造的一个模态逻辑公理系统[J];自然辩证法通讯;1997年03期

4 孙希文;模态逻辑的闭包代数值模型(一)[J];哈尔滨工业大学学报;1983年04期

5 张闵敏;关于经验论模态词相互关系的注记[J];解放军理工大学学报(自然科学版);2003年04期

6 姜桂飞;;基于认知逻辑的模态逻辑运用的实在性分析[J];毕节学院学报;2011年04期

7 程晓春，孙吉贵，刘叙华;模态逻辑D演绎过程的化简规则[J];吉林大学自然科学学报;1995年02期

8 赵贤;;基于基底系统的双模态逻辑系统研究[J];系统科学学报;2013年02期

9 孙吉贵，刘叙华;强模态归结[J];吉林大学自然科学学报;1996年01期

10 潘孝铭;模态逻辑两个定理的基于向前向后方法的证明[J];北京工商大学学报(自然科学版);2002年04期

相关会议论文 前10条

1 孙卫民;;模态逻辑中几个概念的发展[A];1994年逻辑研究专辑[C];1994年

2 何庸;;《广义模态逻辑》值得细读[A];1995年逻辑研究专辑[C];1995年

3 冯棉;;模态逻辑研究中的若干问题[A];1993年逻辑研究专辑[C];1993年

4 孙希文;;模态逻辑模型的嵌入定理[A];1994年逻辑研究专辑[C];1994年

5 李娜;;认识论模态逻辑E-系统的布尔值模型[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

6 楚白;;有穷深度的模态逻辑[A];2005年逻辑研究专辑[C];2005年

7 王阳;;模态逻辑·形式语义·文本符号[A];2003年逻辑研究专辑[C];2003年

8 裘江杰;;一类认知词模态逻辑Ⅰ:基础逻辑[A];2007年全国现代逻辑学术研讨会论文集[C];2007年

9 刘邦凡;;一个知识表示的广义模态逻辑方案[A];2007年全国现代逻辑学术研讨会论文集[C];2007年

10 刘邦凡;何向东;;一个“知识”定义的逻辑解释[A];2007年现代逻辑与逻辑史研讨会论文集[C];2007年

相关博士学位论文 前3条

1 史t，

本文编号：1618144