模态逻辑中公式的模态真度

发布时间：2017-10-26 07:07

  本文关键词：模态逻辑中公式的模态真度

  更多相关文章： 模态逻辑 (n)模态真度 (n)模态相似度 (n)模态伪距离 (n)模态度量空间

【摘要】：在模态逻辑中提出了公式的模态真度理论,即D真度与?真度。先给出在一个给定Kripke模型之下的模态真度理论,此后利用均匀概率思想,提出了更为合理的(n)模态真度理论,定义了两公式之间的(n)模态相似度,并由此导出了(n)模态伪距离,得到了相应的模态度量空间。结果同文[9]相比更能体现模态词的思想特点,从而为在模态逻辑中展开近似推理提供一个可能的框架。
【作者单位】： 西安石油大学理学院;
【关键词】： 模态逻辑 (n)模态真度 (n)模态相似度 (n)模态伪距离 (n)模态度量空间
【基金】：国家自然科学基金No.90610012~~
【分类号】：O141.1
【正文快照】： 其中Φ是若干原子命题之集。式(1)的意义是:(1)"p?Φ啜p是模态公式,^也是可驳公式;(2)若A是模态公式,则?A也是模态公式;(3)若A啜B是模态公式,则AúB也是模态公式;(4)若A是模态公式,则?A也是模态公式。以下用Form(?啜Φ)表示全体模态公式之集,此外,还在全体模态逻辑公式集中引

【参考文献】

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

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

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

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

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

【共引文献】

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

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

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

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

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

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

6 张宇卓,李洪兴;基于变权理论的模糊推理前提约化的一类方法[J];北京师范大学学报(自然科学版);2005年02期

7 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

8 吴恒洋,韩诚;非全序R_0代数的结构[J];纯粹数学与应用数学;2004年01期

9 裴道武,姜慧;一个新的模糊谓词演算形式系统[J];东北师大学报(自然科学版);2003年01期

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

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

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

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

3 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年

4 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

5 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

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

7 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

8 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年

9 沈晖;基于知识管理的企业集成支撑技术研究[D];清华大学;2003年

10 刘晓红;关于企业人力资源评价信息处理系统的研究[D];西南交通大学;2004年

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

1 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年

2 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年

3 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年

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

5 常瑶芝;L～*谓词逻辑与R_0代数性质新探[D];陕西师范大学;2003年

6 王龙春;L～*系统中的一类广义重言式与L～*系统的一种扩张[D];陕西师范大学;2003年

7 兰蓉;t-模与蕴涵算子的同构及广义重言式理论[D];陕西师范大学;2003年

8 张花荣;代数系统的可嵌入性[D];陕西师范大学;2003年

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

10 贾国恒;卢卡西维茨多值逻辑及其与一些逻辑的比较[D];河南大学;2003年

【二级参考文献】

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

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

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

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

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

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

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

7 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑;2002年02期

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

9 裴道武,王国俊;形式系统L~*的扩张L_n~*及其完备性[J];中国科学E辑;2003年04期

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

【相似文献】

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

1 王士铁;模态逻辑与程序验证[J];厦门大学学报(自然科学版);1985年03期

2 范荣强;;缺省模态逻辑[J];广东技术师范学院学报;1993年04期

3 余泉;王驹;;模态描述逻辑的模型[J];南京大学学报数学半年刊;2007年02期

4 姚从军;;古典命题逻辑与模态命题逻辑的自然推理系统之比较[J];湖南科技学院学报;2008年09期

5 马海斌;王国俊;;模态R_0代数与模态滤子的若干性质[J];陕西师范大学学报(自然科学版);2009年04期

6 李芸,董克诚;模态逻辑系统S5的本原运算子集[J];河北大学学报(自然科学版);1997年04期

7 宫宁生，何嘉鹏，施庆生;正规模态逻辑S_4的表推演系统TS_4[J];南京建筑工程学院学报;1995年02期

8 高恒珊;量词模态逻辑的代数语义学(Ⅰ)——关于S5情形[J];数学学报;1987年06期

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

10 宫宁生，，张东摩，朱梧i

本文编号：1097553