《中国科技信息》2008年08期 加入收藏    获取最新    一阶谓词公式集的一类内蕴模糊子集   秦晓燕   　　在公式集中定义了每个公式的真度其实也就给出了公式集上的一个内蕴模糊子集。本文在二值谓词逻辑系统中引入一类特殊解释,即论域有限的解释,给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义,从而得到谓词公式集的一类内蕴模糊子集。并证明了这种相对真度也具有与命题逻辑系统中公式的真度相应的某些性质,如MP规则与HS规则。本文为建立谓词逻辑系统中的近似推理理论提供了理论基础。 【作者单位】：山西师范大学数学与计算机科学学院 041004 【关键词】：内蕴集;模糊子集;相对真度;有限解释 【分类号】：O159 【DOI】：CNKI:SUN:XXJK.0.2008-08-023 【正文快照】： 　　1965年Zadeh首次提出了模糊集的概念。设X是非空集,则称映射A:X→[0,1]为X的模糊子集,对每个x∈X,A(x)称为x属于A的隶属度。对于逻辑系统中的公式集,公式的真度可以看作是公式集的一个模糊子集,又由于这个模糊子集完全由公式自身决定,因而又称这个模糊子集为公式集内蕴的模糊子   推荐 CAJ下载           PDF下载   CAJViewer7.0阅读器支持所有CNKI文件格式，AdobeReader仅支持PDF格式   An intrinsic fuzzy set on the predicate formulas   Qin Xiaoyan College of Mathematics and Computer Science;Shanxi Teachers' University;Linfen 041004;Shanxi;China   　We can get an intrinsic fuzzy set on the set of formulas if we give the degree of every formula.The present paper introducesa k indo fs pecial interpretation in two-valued predicate logic,i.e.the finite interpretations,and proposes the definition of the relative degree of a predicate formula relative to a specific interpretation,then we get an intrinsic fuzzy set on the predicate formulas.Then some inclusions corresponding to the theory of truth degrees of propositions in two-valued logic are proved such as Rule MP and Rule HS.Based on the present paper we can build the theory of approximate reasoning in predicatel ogics. 【Keyword】：intrinsic set;fuzzy subset;relative degree;finite interpretation   【参考文献】   共（8）篇    中国期刊全文数据库 找到 6 条   1 裴道武,李骏; 积逻辑系统中的广义重言式(英文) [J]; 模糊系统与数学; 2002年04期 2 吴望名; 参数Kleene系统中的广义重言式 [J]; 模糊系统与数学; 2000年01期 3 吴洪博; Gdel逻辑系统中的广义重言式理论 [J]; 模糊系统与数学; 2000年04期 4 王国俊; 修正的Kleene系统中的Σ-(α-重言式)理论 [J]; 中国科学E辑; 1998年02期 5 王国俊 ,傅丽 ,宋建社; Theory of truth degrees of propositions in two-valued logic [J]; Science in China,Ser.A; 2002年09期 6 李骏,袁和军; 积分语义学中的积分相似度、伪距离与近似推理理论 [J]; 陕西师范大学学报(自然科学版); 2002年01期  西文参考文献 找到 2 条   1 G. J. Wang, Y. Leung; Integrated semantics and logic metric spaces [M];Fuzzy Sets and Systems; 2003年 2 Mathmatics of Fuzzy logic[M]. [M];; 1998年   【共引文献】   共（398）篇    中国优秀硕士学位论文全文数据库 找到 10 条   1 朱华; 格蕴涵代数中滤子和理想的研究 [D];西南交通大学; 2005年 2 郭元春; 模糊选择函数合理性条件的研究 [D];太原理工大学; 2005年 3 张会娟; Schwartz理论的模糊化研究 [D];太原理工大学; 2006年 4 郑慕聪; 余剩余格及其应用 [D];陕西师范大学; 2005年 5 周湘南; 理论的相容度及效应代数的滤子与商 [D];陕西师范大学; 2005年 6 颉永建; 广义剩余格与广义R_0-代数 [D];陕西师范大学; 2005年 7 孟艳平; 扰动模糊命题逻辑系统的语义 [D];辽宁师范大学; 2005年 8 李丽; 模糊时序命题逻辑系统的语义 [D];辽宁师范大学; 2005年 9 汪德刚; 模糊模态命题逻辑及其广义重言式 [D];辽宁师范大学; 2005年 10 吴凤干; 直觉模糊命题逻辑系统的语义 [D];辽宁师范大学; 2005年  中国博士学位论文全文数据库 找到 10 条   1 胡世凯; 关于模糊算子的研究 [D];四川大学; 2004年 2 傅丽; 缺省逻辑的扩充 [D];陕西师范大学; 2005年 3 任芳; 正则蕴涵算子与新型模糊逻辑系统的研究 [D];陕西师范大学; 2005年 4 覃锋; 模糊逻辑中若干问题的研究 [D];四川大学; 2004年 5 王学芳; 基于格蕴涵代数的格值逻辑及其模型论的研究 [D];西南交通大学; 2004年 6 奚小勇; 关于Domain函数空间的若干问题 [D];四川大学; 2005年 7 王瑞英; I-fuzzy拓扑空间中若干问题的研究 [D];首都师范大学; 2005年 8 斐峥; 基于神经网络的自动推理理论及方法的研究 [D];西南交通大学; 2002年 9 樊磊; Domain理论中若干问题的研究 [D];首都师范大学; 2001年 10 李文江; 基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究 [D];西南交通大学; 2002年  中国期刊全文数据库 找到 10 条   1 张广济,于明业,周丽馥; BCI-代数中的(s,t]-模糊理想和R-模糊理想 [J]; 大连大学学报; 2004年06期 2 闵祥参; 基于模糊逻辑的击键特征用户认证系统 [J]; 电脑开发与应用; 2006年03期 3 韩莹,陈森发; 有限扰动模糊命题逻辑系统的Σ-广义矛盾式 [J]; 东南大学学报(自然科学版); 2005年05期 4 陈图云,孟艳平; 扰动模糊集相似度限定推理方法 [J]; 辽宁工程技术大学学报; 2004年04期 5 王会勇,赵海良,杨晓伟; 基于拓扑变换的一种不确定性推理方法 [J]; 重庆交通学院学报; 2004年01期 6 陈图云,韩莹,廖士中; 扰动模糊逻辑I~2的最大子代数及其广义重言式 [J]; 工程数学学报; 2003年02期 7 刘用麟,张小红; 伪NM代数及其性质 [J]; 工程数学学报; 2006年04期 8 陈图云,孟艳平; 模糊集相似度限定推理方法 [J]; 工程数学学报; 2005年02期 9 裴道武,姜慧; 一个新的模糊谓词演算形式系统 [J]; 东北师大学报(自然科学版); 2003年01期 10 张家录; 形式演绎系统L~*的运算与弱演绎定理 [J]; 湘南学院学报; 2004年02期  中国重要会议论文全文数据库 找到 1 条   1 陈图云,陈文丽; 修正的Atanassov逻辑及其广义重言式 [A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集 [C]; 2002年   【二级参考文献】   共（19）篇    中国期刊全文数据库 找到 6 条   1 吴望名; Fuzzy蕴涵代数 [J]; 模糊系统与数学; 1990年01期 2 王国俊; 修正的Kleene系统中的Σ-(α-重言式)理论 [J]; 中国科学E辑; 1998年02期 3 王国俊; 模糊命题演算的一种形式演绎系统 [J]; 科学通报; 1997年10期 4 王国俊; 一类代数上的逻辑学(Ⅱ) [J]; 陕西师范大学学报(自然科学版); 1997年03期 5 杨晓斌,张文修; Lukasiewicz系统中的广义重言式理论 [J]; 陕西师范大学学报(自然科学版); 1998年04期 6 王国俊; 一类代数上的逻辑学(Ⅰ) [J]; 陕西师范大学学报(自然科学版); 1997年01期  西文参考文献 找到 10 条   1 Wang G J; Theory of -( -tautologues) in revised Kleene system [M];Science in China(Ser. E); 1998年 2 Klement E P, Novara M; A survey on different triangular norm-based fuzzy logics [M];Fuzzy Sets and Systems; 1999年 3 Pei D W; The operation and deductive theorem in the formal deductive system L* [M];Ibid; 2001年 4 Pavelka, J; On fuzzy logic I, II, III, Zeitschr.f. Math. Logik u. Grundlagen d [M];Math; 1979年 5 Wang G J; On the Logic Foundation of Fuzzy Reasoning [M];Information Science; 1999年 6 Wang G J; On the logic foundation of fuzzy reasoning [M];Inform. Sci; 1999年 7 Wang Guojun; On the logic foundation of fuzzy reasoning [M];Infor Sci; 1999年 8 Pei D W, Wang G J; The completeness and applications of the formal system L* [M];Science in China(Ser. F); 2002年 9 Zadeh, L. A; Similarity relations and fuzzy ordering [M];Information Sciences; 1971年 10 Wang G J; A formal deductive system for fuzzy propositional calculus [M];Chinese Sci . Bull; 1997年   【相似文献】    中国期刊全文数据库   1 孔德芳; 模糊概念、模糊子集与模糊数学 [J];济宁师专学报; 1995年03期; 29-30 2 宋兆鸿,王蕙华; 模糊可拓子集及其性质 [J];广东工业大学学报; 1989年01期; 14-20 3 罗景仁; 关于模糊子集贴近度的几点注记 [J];西北大学学报(自然科学版); 1983年04期; 17-19 4 杨勇,王建州,李廉; 环中的α-cut模糊理想 [J];兰州大学学报(自然科学版); 2006年03期; 111-113 5 杨勇,王建州; 环中模糊子集的一种序关系 [J];兰州大学学报(自然科学版); 2003年02期; 20-21 6 汪培庄; 模糊数学简介(Ⅰ) [J];数学的实践与认识; 1980年02期; 46-60 7 赵汝怀,陈小君; 模糊子集贴近度的普遍定义与模糊度 [J];西安交通大学学报; 1981年06期; 25-32 8 昌玮; 多变量模糊控制器的两种算法 [J];河南科学; 1992年01期; 76-81 9 管斌; 2型Fuzzy集的扩张原理 [J];大连海事大学学报; 1989年02期; 109-113 10 瑨厍; 宏观经济发展的综合性预测 [J];预测; 1988年01期; 12-16  中国重要会议论文全文数据库   1 李茂旺,刘唐伟; 基于模糊贴近度的最佳井位预测 [A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集 [C]; 2000年 2 廖祖华,胡宇红; F*—正则子半群 [A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集 [C]; 2000年 3 姚炳学; 环上的模糊拟理想与模糊双理想 [A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集 [C]; 1998年 4 张运杰,邹开其; 模糊子群的等价类与群的分类 [A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集 [C]; 1998年 5 马生全; 模糊复围道积分 [A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集 [C]; 2002年 6 江浩,连级三; 微机模糊控制在直流调速系统中的应用 [A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集 [C]; 1990年

相关期刊  >  China Auto  >  船艇  >  电器  >  国际化工信息  >  国际石油经济  >  汽车工业研究  >  上海工业  >  石油化工技术与经济  >  橡胶科技市场  >  冶金管理  >  中国医药导报  >  云南电业  >  中船重工  >  中国电力企业管理  >  中国核工业  >  中国机电工业  >  中国金属通报  >  中国军转民  >  中国石油企业  >  中国石油石化  相关机构  > 济宁师专学报  > 广东工学院管理工程系  > 石油大学  > 西北大学计算机科学系  > 西北师范大学数学与信息科学学院  > 兰州大学数学与统计学院  > 兰州大学信息科学与工程学院  > 甘肃兰州  > 兰州大学数学系  > 北京师范大学数学系  > 西安交通大学数学系  > 河南省数学研究所  > 大连海运学院基础部数学教研室  > 国家统计局  相关作者  > 孔德芳  > 王蕙华  > 杨勇  > 李廉  > 赵汝怀  > 昌玮  > 瑨厍  > 宋兆鸿  > 罗景仁  > 王建州  > 汪培庄  > 陈小君  > 管斌