《计算机学报》1980年02期 加入收藏    获取最新 
 广义模糊逻辑和锁语义归结原理
 刘叙华
 　　将命题的真值取在格上的模糊逻辑,我们称为广义模糊逻辑。本文讨论了这种广义模糊逻辑的性质,并证明了,对于一阶谓词公式,在广义模糊逻辑中的不可满足性和在二值逻辑中的不可满足性是等价的。还证明了原始的归结原理在广义模糊逻辑中是完备的。 最后,在模糊逻辑中讨论了涉及子句真值的语义归结原理,对于在广义模糊逻辑中的不可满足配锁子句集,在任意一个模糊解释下,使用语义归结原理,总可演绎出空子句。
【作者单位】：吉林大学
【DOI】：cnki:ISSN:0254-4164.0.1980-02-000
【正文快照】：
　　一己万.会 、J.‘刁 二值逻辑虽然在计算机科学中是一种有效的工具,但是二值逻辑所描述的人的思维活动是一种“是非”分明的思维活动,从而是一种将人类复杂的思维简单化了的模型.因为在现实世界中充满着不确定的,亦即模糊(Fuzzy)的概念,人类的思维活动更像是在模糊的环境中做出
 
 推荐 下载CAJ全文           下载PDF全文
 CAJViewer7.0阅读器支持所有CNKI文件格式，AdobeReader仅支持PDF格式
 【参考文献】 共（4）篇 
 中国期刊全文数据库找到 4 条
 
1刘叙华; 狭义模糊逻辑中的锁语义归结原理 [J]; 吉林大学学报(理学版); 1980年04期
2刘叙华; 一种新的语义归结原理——IDI-归结 [J]; 吉林大学学报(理学版); 1978年02期
3刘叙华; 3型IDI-归结原理 [J]; 吉林大学学报(理学版); 1979年01期
4刘叙华; 使用引理的锁语义归结原理——LI-归结原理 [J]; 吉林大学学报(理学版); 1979年04期
 【引证文献】 共（32）篇 
 中国优秀硕士学位论文全文数据库找到 6 条
 
1邹伟松; 从归结证明树抽取程序 [D];大连理工大学; 2002年
2刘小龙; 模糊推理算法研究 [D];西北大学; 2006年
3王三民; 模糊逻辑形式系统的若干完备性定理 [D];陕西师范大学; 2001年
4何义平; 基于SS-三角模的模糊逻辑系统UL~*的若干问题研究 [D];南昌大学; 2007年
5高小军; 模糊推理的新算法及基于模糊小波网络的自适应控制 [D];西安电子科技大学; 2002年
6刘新; 一种弱BL形式演绎系统及其代数理论 [D];昆明理工大学; 2003年
 中国博士学位论文全文数据库找到 7 条
 
1徐蔚鸿; 模糊智能系统中模糊推理研究 [D];南京理工大学; 2004年
2李文江; 基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究 [D];西南交通大学; 2002年
3陈树伟; 基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究 [D];西南交通大学; 2006年
4夏世芬; 基于Petri网模型的归结自动推理研究 [D];西南交通大学; 2006年
5伊良忠; 格蕴涵代数及语言真值不确定性推理研究 [D];西南交通大学; 2007年
6李海明; 关于格值逻辑及自动推理的研究 [D];西南交通大学; 2003年
7司洪伟; 大挠性航天桁架结构动力学建模及其主动模糊控制研究 [D];国防科学技术大学; 2006年
 中国期刊全文数据库找到 10 条
 
1刘叙华; 使用约化的锁语义归结原理 [J]; 电子学报; 1983年02期
2邓安生，张丽荣; 不确定性的定量度量和定性度量 [J]; 东北师大学报(自然科学版); 1995年03期
3刘富春; 再扩充模糊逻辑中归结方法的有效性 [J]; 广东工业大学学报; 2006年01期
4邓安生，张军; 布尔算子Fuzzy逻辑公式的λ－恒假性 [J]; 东北师大学报(自然科学版); 1995年02期
5朱怡权; R_0-代数的Boole可补元与直积分解 [J]; 高校应用数学学报A辑(中文版); 2006年04期
6刘富春; 归结与调解方法的有效性和完备性——基于扩充模糊逻辑 [J]; 计算机工程与应用; 2006年02期
7陈康，陈天殷; 变频模糊控制技术应用于分体式空调器 [J]; 机电工程; 1994年04期
8刘富春; 再扩充模糊逻辑中逻辑程序的模型论语义和不动点语义研究 [J]; 模糊系统与数学; 2006年02期
9应明生; 模糊逻辑的再扩充 [J]; 计算机学报; 1992年02期
10刘叙华,安直; 算子Fuzzy逻辑及其归结推理的改进 [J]; 计算机学报; 1990年12期
 【共引文献】 共（15）篇 
 中国博士学位论文全文数据库找到 5 条
 
1李文江; 基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究 [D];西南交通大学; 2002年
2陈树伟; 基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究 [D];西南交通大学; 2006年
3夏世芬; 基于Petri网模型的归结自动推理研究 [D];西南交通大学; 2006年
4伊良忠; 格蕴涵代数及语言真值不确定性推理研究 [D];西南交通大学; 2007年
5李海明; 关于格值逻辑及自动推理的研究 [D];西南交通大学; 2003年
 中国期刊全文数据库找到 10 条
 
1刘叙华; 使用约化的锁语义归结原理 [J]; 电子学报; 1983年02期
2刘叙华,杨玉普; LINEAR SEMI-LOCK RESOLUTION [J]; Chinese Science Bulletin; 1991年09期
3刘叙华; Horn集上的输入半锁归结原理 [J]; 科学通报; 1985年16期
4刘叙华,杨玉普; 线性半锁归结方法 [J]; 科学通报; 1990年18期
5刘叙华; 狭义模糊逻辑中的锁语义归结原理 [J]; 吉林大学学报(理学版); 1980年04期
6刘叙华,肖红; 算子Fuzzy逻辑和λ-归结方法 [J]; 计算机学报; 1989年02期
7刘叙华; 3型IDI-归结原理 [J]; 吉林大学学报(理学版); 1979年01期
8刘叙华; 使用引理的锁语义归结原理——LI-归结原理 [J]; 吉林大学学报(理学版); 1979年04期
9刘叙华; 三种归结原理间的相容性问题 [J]; 软件学报; 1992年02期
10蔡经球; 负超有序消解原理 [J]; 厦门大学学报(自然科学版); 1981年03期
 【同被引文献】 共（459）篇 
 中国优秀硕士学位论文全文数据库找到 1 条
 
1朱华; 格蕴涵代数中滤子和理想的研究 [D];西南交通大学; 2005年
 中国博士学位论文全文数据库找到 6 条
 
1陈树伟; 基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究 [D];西南交通大学; 2006年
2孟丹; 基于格蕴涵代数的格值逻辑系统的归结自动推理研究 [D];西南交通大学; 2004年
3王学芳; 基于格蕴涵代数的格值逻辑及其模型论的研究 [D];西南交通大学; 2004年
4赵光峰; 格蕴涵代数与图的升分解问题的研究 [D];西南交通大学; 2002年
5马骏; 基于格蕴涵代数的格值逻辑系统及其自动推理的研究 [D];西南交通大学; 2002年
6王伟; 格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究 [D];西南交通大学; 2002年
 中国期刊全文数据库找到 10 条
 
1汪培庄,张洪敏; 真值流推理及其动态分析 [J]; 北京师范大学学报(自然科学版); 1989年01期
2李道国,苗夺谦,张红云; 粒度计算的理论、模型与方法 [J]; 复旦学报(自然科学版); 2004年05期
3王士同; 基于区间值模糊集的学习空间描述及其模糊归纳学习算法研究 [J]; 电子学报; 1995年12期
4范俊波，靳蕃，史燕; 模糊联想记忆的一种有效学习算法 [J]; 电子学报; 1996年01期
5王国俊; 三角型模糊数空间的均匀性 [J]; 纯粹数学与应用数学; 1997年02期
6缪炳祺,曲广吉,夏邃勤,程道生; 关于柔性航天器动力学模型降阶问题 [J]; 中国工程科学; 2001年11期
7王毅，吴德隆; 航天柔性多体动力学及其发展 [J]; 导弹与航天运载技术; 1995年01期
8赵国伟,黄海,夏人伟; 柔性自适应桁架及其振动最优控制实验 [J]; 北京航空航天大学学报; 2005年04期
9张天平,朱清,张惠艳,顾海军; 基于积分型李亚普诺夫函数的直接自适应模糊控制(英文) [J]; Journal of Southeast University; 2003年01期
10王国俊; 三角型模糊数空间的可分性、局部紧性和完备性 [J]; 工程数学学报; 1996年03期
 西文参考文献找到 10 条
 
1Zadeh L A; Outline of a new approach to the analysis of complex systems and decision processes [M];IEEE Trans. Systems Man Cybernet; 1973年
2Mamdani E H; Application of fuzzy logic to approximate reasoning using lingustic systems [M];IEEE Trans. Comput; 1977年
3Buckley J, Hayashi Y; Can approximate reasoning be consistent ? [M];Fuzzy Sets and Systems; 1994年
4Dubois D, Prade H, Lang J; Fuzzy sets in approximate reasoning, part 1-2 [M];Fuzzy Sets and Systems; 1991年
5Wang G J; On logic foundations of fuzzy modus ponens and fuzy wodus tollens [M];J. Fuzzy Math; 1997年
6Wang G J; On the logic foundation of fuzzy reasoning [M];Information Sciences; 1999年
7Elkan C; The paradoxical success of fuzzy logic [M];IEEE Expert; 1994年
8Wang G J; On the Structure of Value functional bag mappings [M];Fuzzy Sets and Systems; 1998年
9Wang G J; Fuzzy continuous input -output controllers are universal approximators [M];Fuzzy Sets and Systems; 1998年
10Buckley J, Hayashi Y; Fuzzy input -output controllers are universal approximators [M];Fuzzy Sets and Systems; 1993年
 【二级参考文献】 共（3）篇 
 中国期刊全文数据库找到 3 条
 
1刘叙华; 一种新的语义归结原理——IDI-归结 [J]; 吉林大学学报(理学版); 1978年02期
2刘叙华; 3型IDI-归结原理 [J]; 吉林大学学报(理学版); 1979年01期
3刘叙华; 使用引理的锁语义归结原理——LI-归结原理 [J]; 吉林大学学报(理学版); 1979年04期
 【二级引证文献】 共（164）篇 
 中国优秀硕士学位论文全文数据库找到 10 条
 
1李丽; 模糊时序命题逻辑系统的语义 [D];辽宁师范大学; 2005年
2张宇卓; 区间值模糊命题逻辑及其广义重言式 [D];辽宁师范大学; 2003年
3韩莹; 扰动模糊命题逻辑及其广义重言式 [D];辽宁师范大学; 2003年
4李晓冰; 区间值模糊命题逻辑的广义拟重言式及其真度 [D];辽宁师范大学; 2005年
5王亚杰; 热泵空调系统多元控制方法设计研究 [D];吉林大学; 2004年
6公茂财; 列车轴温探测系统数据处理算法及实现 [D];西安电子科技大学; 2005年
7张林伟; 基于遗传算法的模糊控制系统的研究 [D];长春理工大学; 2006年
8周丽莉; 两种模糊命题逻辑的公式的概率真度 [D];辽宁师范大学; 2007年
9马丽娜; 剩余格中的几类Fuzzy滤子和Fuzzy同余关系 [D];陕西师范大学; 2006年
10茹永梅; 经典逻辑系统（？）中的MT问题及公式的真度理论 [D];陕西师范大学; 2006年
 中国博士学位论文全文数据库找到 10 条
 
1徐蔚鸿; 模糊智能系统中模糊推理研究 [D];南京理工大学; 2004年
2刘辉; 时滞热工系统规则自组织模糊控制方法 [D];哈尔滨工业大学; 2004年
3常钢; 民航机场停机位分配与优化技术研究 [D];西北工业大学; 2006年
4李文江; 基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究 [D];西南交通大学; 2002年
5韩诚; R_0代数及Vague集的相似度理论 [D];陕西师范大学; 2006年
6陈树伟; 基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究 [D];西南交通大学; 2006年
7陈增明; 群决策环境下证据理论决策方法研究与应用 [D];合肥工业大学; 2007年
8王学芳; 基于格蕴涵代数的格值逻辑及其模型论的研究 [D];西南交通大学; 2004年
9马骏; 基于格蕴涵代数的格值逻辑系统及其自动推理的研究 [D];西南交通大学; 2002年
10斐峥; 基于神经网络的自动推理理论及方法的研究 [D];西南交通大学; 2002年
 中国期刊全文数据库找到 10 条
 
1邓安生; Fuzzy算子运算的一种新语义解释 [J]; 东北师大学报(自然科学版); 1993年01期
2刘云翔,孙吉贵; 模糊集合的语义 [J]; 长春工程学院学报(自然科学版); 2003年03期
3刘富春; 再扩充模糊逻辑中归结方法的有效性 [J]; 广东工业大学学报; 2006年01期
4郑亚林,海焕智,白永成; 3I方案下的Fuzzy推理算法 [J]; 宝鸡文理学院学报(自然科学版); 2001年02期
5邓安生，张军; 布尔算子Fuzzy逻辑公式的λ－恒假性 [J]; 东北师大学报(自然科学版); 1995年02期
6裴道武; 关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述 [J]; 工程数学学报; 2004年02期
7邓安生; 布尔算子模糊逻辑中的删除策略 [J]; 东北师大学报(自然科学版); 1998年01期
8邓安生,赵宏亮; 多项式意义下模糊算子运算定义的唯一性 [J]; 东北师大学报(自然科学版); 1998年03期
9邓安生; 不确定性在推理过程中传播的行为特征 [J]; 东北师大学报(自然科学版); 1997年03期
10何颖俞,王国俊; L~*-Lindenbaum代数的结构与L~*公理系统的简化形式 [J]; 工程数学学报; 1998年01期
 中国重要会议论文全文数据库找到 4 条
 
1于津,刘叙华; 基于不确定、不精确知识的推理系统-UKRS [A];1996年中国智能自动化学术会议论文集（上册） [C]; 1996年
2洪平洲,黎爱平; 基于Lukasiewicz蕴涵算子的三I FMT算法 [A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集 [C]; 2002年
3黄丽,李中夫; 基于三/算法的多规则模糊推理 [A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集 [C]; 2000年
4孟丹,陈图云; 模糊推理的三Ⅰ原则贴近算法 [A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集 [C]; 2000年
 【相似文献】 
 中国期刊全文数据库
 
1刘叙华; 广义模糊逻辑和锁语义归结原理 [J];计算机学报; 1980年02期; 3-17
2应明生; 模糊逻辑的再扩充 [J];计算机学报; 1992年02期; 80-82
3 模糊逻辑 [J];四川林勘设计; 1994年02期; 60
4刘叙华; 锁语义归结原理和模糊逻辑 [J];计算机研究与发展; 1980年09期; 59-62
5 模糊逻辑录像资料有售 [J];微型机与应用; 1993年04期; 48
6王文沛; 借助于模糊逻辑在CAD系统中显示素织物 [J];国外丝绸; 1996年01期; 7-10
7杨英; 模糊逻辑和自动化管理系统 [J];管理科学文摘; 1997年02期; 41
8何建华,杨宗凯,王殊; 基于神经网络和模糊逻辑的智能火灾探测 [J];华中理工大学学报; 1997年02期; 10-13
9张树群,林森茂,陈彩生; 采用阴影投射法实现的光学并行模糊逻辑 [J];中国激光; 1993年07期; 42-46
10王世同,陈剑夫,高群; 模糊语义量化下的模糊数据库查询系统FRES [J];微计算机应用; 1989年06期; 22-26
 中国优秀硕士学位论文全文数据库
 
1吉张媛; 通用模糊PROLOG方法及其应用 [D];西北工业大学; 2006年
2畅春玲; 元胞自动机模型应用及模糊元胞自动机 [D];大连海事大学; 2005年
3石莲; 基于模糊描述逻辑ALC～*的灵活规划求解 [D];吉林大学; 2006年
4付婧娇; 遗传算法的研究及其在系统辨识中的应用 [D];华北电力大学（河北）; 2006年
5张志华; EW仿真教练控制训练管理编辑及智能评估的实现 [D];电子科技大学; 2005年
6王彦春; 图像检测系统开发及基于漠糊逻辑的图像算法研究 [D];大连海事大学; 2002年
7曾浩; 一种量子逻辑系统的应用研究 [D];苏州大学; 2005年
8申徐洲; 基于Agent的智能交通控制的研究 [D];大庆石油学院; 2006年
9陈立君; 基于模糊规则的教学评价系统设计与实现 [D];天津师范大学; 2004年
10欧阳彦琨; 基于击键动力学身份识别的高校网络招生管理系统 [D];西南交通大学; 2005年
 中国博士学位论文全文数据库
 
1Pouran Behnia; 伊朗中部Saghand-Chadormalu地区矿床勘查的地理空间数据建模 [D];武汉大学; 2004年
2文海家; 基于GIS的滑坡灾变智能预测系统及应用研究 [D];重庆大学; 2004年
3曹渝昆; 基于神经网络和模糊逻辑的智能推荐系统研究 [D];重庆大学; 2006年
4付景广; 指纹识别中若干关键算法的研究 [D];中国科学院研究生院（软件研究所）; 2003年
 中国重要会议论文全文数据库
 
1孙涛,张宏建,胡赤鹰; 基于模糊逻辑融合算法的气液两相流流型辨识方法 [A];中国仪器仪表学会第三届青年学术会议论文集（上） [C]; 2001年
2卢达,浦炜,陈金星,谢铭培; 一种基于模糊逻辑的字符印刷结构归类法 [A];1999年中国智能自动化学术会议论文集（上册） [C]; 1999年
3高钦和,成曙; 软计算的概念及应用 [A];1996年中国智能自动化学术会议论文集（上册） [C]; 1996年
4姚若河; 一个应用Neuro-Fuzzy的教学评估系统 [A];1997中国控制与决策学术年会论文集 [C]; 1997年
5刘云翔,吴伟昶,林家骏; 基于t-norm算子的模糊逻辑及其语义 [A];2006年全国理论计算机科学学术年会论文集 [C]; 2006年
6赵建业,余道衡; 一种基于模糊细胞神经网络的多值图像分割新方法 [A];中国体视学学会图像分析专业、中国体视学学会仿真与虚拟现实专业、中国航空学会信号与信息处理专业第一届联合学术会议论文集 [C]; 2000年
7韩亚红,由勇,由俊生; 基于广义预测控制的DFS控制方法的研究 [A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（上） [C]; 2006年
8李平,章毅; 结合复杂网络的PCNN图像分割法 [A];2006全国复杂网络学术会议论文集 [C]; 2006年
9赵晓哲,缪旭东,刘兴林,梁义芝; 利用并行模糊推理提高决策支持系统的效能 [A];1994中国控制与决策学术年会论文集 [C]; 1994年
10郑时,郑文,金霞; 基于模糊神经控制的区域经济评价系统的设计与实现 [A];2007年中国智能自动化会议论文集 [C]; 2007年