推理闭包算子及其诱导的空间
本文选题：模糊逻辑 切入点：命题演算 出处：《西北大学学报(自然科学版)》2008年01期 论文类型：期刊论文
【摘要】：目的建立一般非空集合X上的结论闭域和推理空间理论,并对它们的性质进行初步的探讨。方法通过对命题演算系统的共同特征的研究,在公式集的幂集格上得到了一般命题演算系统共同满足的一个推理闭包算子,再借助通过拓扑闭包算子建立拓扑空间的思想提出了推理闭包空间理论。结果探求推理闭包空间的初步性质和模糊命题演算系统的基本性质。结论通过推理闭包空间的建立,丰富了模糊逻辑的研究方法,沟通了拓扑学和逻辑学之间的联系。
[Abstract]:Aim to establish the conclusion closed field and inference space theory on the general nonempty set X, and to discuss their properties. Methods by studying the common characteristics of the propositional calculus system, In this paper, we obtain a reasoning closure operator which the general propositional calculus system satisfies on the power set lattice of the formula set. With the help of the idea of establishing topological space by topological closure operator, the theory of reasoning closure space is put forward. Results the preliminary properties of reasoning closure space and the basic properties of fuzzy propositional calculus system are discussed. It enriches the research methods of fuzzy logic and communicates the relationship between topology and logic.
【作者单位】： 陕西师范大学数学研究所
【基金】：国家自然科学基金(10471083) 陕西师范大学重点科研基金(995130)
【分类号】：O141.1
【参考文献】
相关期刊论文 前7条
1 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期
2 吴洪博,文秋梅;基础L~*系统的一种扩张——Lukasiewicz系统[J];模糊系统与数学;2002年02期
3 吴洪博,王小敏,韩诚;L~*系统中的模糊演绎定理的改进形式[J];四川大学学报(自然科学版);2005年01期
4 吴洪博;基础R_(0-)代数与基础L~*系统[J];数学进展;2003年05期
5 任芳;刘新颜;;关于正则蕴涵算子[J];西北大学学报(自然科学版);2005年06期
6 董乐红;耿国华;赵清;;基于模糊推理的青铜器鉴定专家系统[J];西北大学学报(自然科学版);2006年02期
7 邵晓丽;吴洪博;;关于BR_0-代数弱完备性的证明[J];西北大学学报(自然科学版);2007年03期
【共引文献】
相关期刊论文 前10条
1 王延军;;Lω-空间中的ω~*T_i分离性(Ⅱ)[J];安徽大学学报(自然科学版);2008年04期
2 王延军;马保国;;L-smooth拓扑空间的弱T_2分离性[J];安徽师范大学学报(自然科学版);2006年05期
3 张红杰;吴洪博;;BR_0代数中的滤子与理想[J];安康学院学报;2007年01期
4 汪义瑞;;预拓扑空间的单点紧化[J];安康学院学报;2009年05期
5 龚加安;吴洪博;;BR_0代数的模糊滤子与模糊素滤子[J];安康学院学报;2009年06期
6 吴洪博;;基于非交换剩余格的(α,β]-模糊滤子(上)[J];安康学院学报;2011年02期
7 吴洪博;;基于非交换剩余格的(α,β]-模糊滤子(下)[J];安康学院学报;2011年03期
8 李文;关于L-fuzzy拓扑空间的分离公理的讨论[J];鞍山师范学院学报;2005年02期
9 吴雪芝;段慧仙;张杰;;L-fuzzy Domain及其等价刻画[J];北方工业大学学报;2006年03期
10 段慧仙;张杰;;L-双模糊连续论域[J];北方工业大学学报;2008年01期
相关会议论文 前10条
1 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年
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];2010年
9 潘小东;;模糊一阶逻辑研究进展综述[A];第十届中国不确定系统年会、第十四届中国青年信息与管理学者大会论文集[C];2012年
10 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
相关博士学位论文 前10条
1 郭建胜;效应代数及伪BL-代数结构的研究[D];陕西师范大学;2010年
2 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年
3 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年
4 韩召伟;几类基于量子逻辑的自动机的代数及逻辑刻画[D];陕西师范大学;2011年
5 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年
6 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年
7 邹丽;基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究[D];西南交通大学;2010年
8 于海田;民航安全分析与管理研究[D];上海大学;2011年
9 岳立柱;模糊结构元理论拓展及其决策应用[D];辽宁工程技术大学;2011年
10 范永青;几类复杂动态系统稳定及同步控制研究[D];广东工业大学;2012年
相关硕士学位论文 前10条
1 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大学;2010年
2 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年
3 刘琪;正态云模型模糊推理系统及其应用研究[D];郑州大学;2010年
4 鹿文慧;基于重心法的Boolean模糊系统及其概率表示理论[D];大连理工大学;2010年
5 袁英敏;基于CRI方法的重心法模糊系统及概率表示[D];大连理工大学;2010年
6 王云涛;基于二Ⅰ算法的模糊系统的构造及其概率表示[D];大连理工大学;2010年
7 许筱婷;基于本体论的知识表达[D];湘潭大学;2010年
8 刘婷;软集合理论在模糊逻辑代数中的应用研究[D];江南大学;2010年
9 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年
10 赵力;模糊推理的三Ⅰ算法研究[D];山东大学;2010年
【二级参考文献】
相关期刊论文 前10条
1 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期
2 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑:技术科学;1998年02期
3 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑:技术科学;1999年01期
4 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑:技术科学;2002年02期
5 应明生;允许修改推理规则的开放逻辑[J];科学通报;1996年11期
6 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期
7 吴望名;Fuzzy蕴涵代数[J];模糊系统与数学;1990年01期
8 吴望名;关于模糊逻辑的—场争论[J];模糊系统与数学;1995年02期
9 吴洪博;基础R_(0-)代数与基础L~*系统[J];数学进展;2003年05期
10 吴洪博,文秋梅;L~*系统中的模糊演绎定理[J];陕西师范大学学报(自然科学版);2001年01期
【相似文献】
相关期刊论文 前10条
1 胡世冿;■值命楲演算的有z档木哂泻痚x完全性的子系}q[J];数学学报;1955年02期
2 胡世冿;;一P 值命楲演算的i嗽靃J];中国科学A辑;1950年Z1期
3 王世强;命题演算的一系公理[J];数学学报;1952年04期
4 胡世华,陈强业;四值命题演算与四色问题(英文)[J];数学学报;1951年03期
5 李凤鸣;命题演算范式定理的布尔证明[J];内蒙古师范大学学报(自然科学汉文版);1979年00期
6 肖奚安,朱梧i，
本文编号：1556523
本文链接：https://www.wllwen.com/shekelunwen/ljx/1556523.html
