五值非线性序集逻辑系统中命题真度的分布

发布时间：2018-02-03 07:34

  本文关键词： 逻辑系统 非线性序集 真度 推理规则　出处：《山东大学学报(理学版)》2009年01期 　论文类型：期刊论文

【摘要】：利用势为5的均匀概率空间的无穷乘积在五值非线性序集逻辑系统L25中引入了公式的真度概念,给出了真度的一些推理规则,并证明了全体公式的真度值之集在[0,1]上是稠密的,给出了全体公式概率真度的表达通式,为在非线性序集逻辑系统L25中建立近似推理理论提供了一种可能的框架。
[Abstract]:By using the infinite product of the uniform probability space with potential of 5, the concept of the true degree of the formula is introduced in the five-valued nonlinear ordered set logic system L25, and some reasoning rules of the truth degree are given. It is proved that the set of true degree values of all formulas is obtained in. [In this paper, the general expression of probability truth degree of all formulas is given, which provides a possible framework for the establishment of approximate reasoning theory in nonlinear ordered set logic system L25.
【作者单位】： 潍坊学院数学与信息科学学院;
【分类号】：O141.1
【正文快照】： 文献[1]基于均匀概率的思想在经典二值命题逻辑中提出了公式的真度概念,并提出了一种近似推理的框架,文献[2-4]分别讨论了Lukasiewicz逻辑系统、乘积逻辑系统、标准序列逻辑系统、Godel逻辑系统中公式的真度理论,文献[5-6]基于上述真度理论研究了相关系统中的近似推理理论,本

【参考文献】

相关期刊论文 前3条

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

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

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

【共引文献】

相关期刊论文 前10条

1 裴道武;关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述[J];工程数学学报;2004年02期

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

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

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

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

6 李骏;王国俊;;逻辑系统L_n~*中命题的真度理论[J];中国科学E辑;2006年06期

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

8 张兴芳;孟广武;;一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用[J];计算机科学;2005年10期

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

10 王伟,王国俊;论G銉del蕴涵算子不宜用于建立模糊逻辑系统[J];模糊系统与数学;2005年02期

相关会议论文 前2条

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

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

相关博士学位论文 前1条

1 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

相关硕士学位论文 前10条

1 周湘南;理论的相容度及效应代数的滤子与商[D];陕西师范大学;2005年

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

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

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

5 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

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

7 张东晓;逻辑公式的语构真度和构造性三I算法[D];陕西师范大学;2006年

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

9 曹汝鸣;不完全信息数据库的理论研究[D];南京航空航天大学;2006年

10 韩邦合;计量逻辑学中的近似推理与二值逻辑中命题的条件真度理论[D];陕西师范大学;2007年

【二级参考文献】

相关期刊论文 前10条

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

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

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

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

5 李骏;王国俊;;逻辑系统L_n~*中命题的真度理论[J];中国科学E辑;2006年06期

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

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

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

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

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

【相似文献】

相关期刊论文 前10条

1 赵鹏;姚从军;;三值逻辑系统的分析与比较[J];毕节学院学报;2011年06期

2 蔡曙山;白晨;衣新发;韩旭;;推理在学习与认知中的作用[J];重庆理工大学学报(社会科学);2011年08期

3 左卫兵;;三值命题逻辑随机化的注记[J];河北师范大学学报(自然科学版);2011年04期

4 冯棉;;一类命题逻辑的一般弱框架择类语义[J];逻辑学研究;2011年02期

5 郭建萍;;殊途同归的意义理论——逻辑视野中的戴维森与达米特意义理论[J];哲学动态;2011年06期

6 刘新文;;皮尔士存在图的形式推演系统[J];毕节学院学报;2011年05期

7 吴新民;;时态逻辑与时间思想的语言哲学维度[J];湖南社会科学;2011年04期

8 谭智奇;;探析逻辑哲学“不是什么”和“是什么”[J];传承;2011年21期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前10条

1 张学立;;从逻辑哲学的观点看金岳霖先生的逻辑信条[A];1997年逻辑研究专辑[C];1997年

2 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

3 郭世铭;;多主体认知逻辑系统(语法部分)[A];1998年逻辑研究专辑[C];1998年

4 赵总宽;;辩证模态命题逻辑系统DMT与实然世界语义学[A];1997年逻辑研究专辑[C];1997年

5 李小五;;沈有鼎论直观与逻辑[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年

6 郭世铭;;二重命题逻辑系统■_4[A];1993年逻辑研究专辑[C];1993年

7 杜国平;;金岳霖逻辑观述评[A];2000年逻辑研究专辑[C];2000年

8 ;贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会在花溪召开[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年

9 赵总宽;;辩证道义命题逻辑系统DDMT与道义实然世界语义学[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

10 宋文淦;;问题逻辑系统E[A];1996年逻辑研究专辑[C];1996年

相关重要报纸文章 前4条

1 本报记者 周静;第四届全国性逻辑系统、智能科学与信息科学学术会议在筑召开[N];贵州日报;2008年

2 本报记者 周静;贵州制约逻辑学会致力学界发展[N];贵州日报;2009年

3 中山大学逻辑与认知研究所 熊明辉;逻辑与认知[N];社会科学报;2002年

4 沙青;“意义”的追问与探求[N];光明日报;2006年

相关博士学位论文 前10条

1 冯彦波;合并逻辑方法研究[D];南开大学;2010年

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

3 戴细华;多值逻辑语义博弈[D];中山大学;2006年

4 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

5 张立娜;个体词的逻辑语义[D];清华大学;2007年

6 娄永强;信息流理论的逻辑研究[D];南开大学;2009年

7 郭佳宏;理想自省主体的信念修正[D];中山大学;2006年

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

9 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年

10 张世宁;广义量词理论研究[D];南开大学;2010年

相关硕士学位论文 前10条

1 夏梦;金岳霖逻辑与逻辑系统思想述评[D];西南师范大学;2002年

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

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

4 萧瑶;信念修正逻辑初探[D];西南大学;2008年

5 张丽;时态公开宣告逻辑初探[D];西南大学;2009年

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

7 李建生;n值逻辑系统中命题的绝对真度及其随机化理论[D];兰州理工大学;2008年

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

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

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

，

本文编号：1486809