格值命题逻辑系统中基于滤子的MP归结演绎

发布时间：2018-04-04 11:48

  本文选题：格蕴涵代数　切入点：格值命题逻辑　出处：《模糊系统与数学》2009年01期

【摘要】：给出了格值命题逻辑系统中子句的极简规则型范式,定义了M P归结。结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤子的M P归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理。为进一步研究格值逻辑的自动归结推理奠定了理论基础。
[Abstract]:In this paper, the minimal rule form normal form of clauses in lattice-valued propositional logic system is given, and the M P resolution is defined.Combined with the properties of filter in lattice implication algebra, the deduction of M P resolution based on filter and its semantic and grammatical properties in lattice-valued propositional logic system are studied, and the reliability and completeness theorem of resolution deduction are proved.It lays a theoretical foundation for further research on automatic reasoning of lattice valued logic.
【作者单位】： 西南交通大学数学系;
【基金】：国家自然科学基金资助项目(60474022) 西南交通大学基金资助项目(2006B09)
【分类号】：O141.1

【参考文献】

相关期刊论文 前1条

1 徐扬;;格蕴涵代数[J];西南交通大学学报;1993年01期

【共引文献】

相关期刊论文 前10条

1 潘小东;徐扬;;Linguistic Truth Values Lattice Implication Algebras[J];Journal of DongHua University;2006年06期

2 龙希庆;徐扬;顾秀梅;;Some Properties of α-Subsets[J];Journal of DongHua University;2006年06期

3 费秀海;胡方汉;张海芳;;格蕴涵代数、MV-代数和有界可换的BCK-代数[J];硅谷;2008年02期

4 段景瑶;;R_0代数,MV代数的等价刻画[J];兰州理工大学学报;2009年03期

5 朱怡权;;R_0-代数的Boole可补元与直积分解[J];高校应用数学学报A辑(中文版);2006年04期

6 王丰效;关于弱FI代数的几个结果[J];固原师专学报;2002年03期

7 龚加安;吴洪博;;BR_0代数中素理想的拓扑空间[J];纺织高校基础科学学报;2009年03期

8 李晓冰;;格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理[J];电脑知识与技术;2009年33期

9 秦学成;刘春辉;;基于HFI代数的模糊命题演算的形式演绎系统[J];赤峰学院学报(自然科学版);2010年01期

10 刘春辉;秦学成;;剩余格的准滤子拓扑空间[J];赤峰学院学报(自然科学版);2010年02期

相关会议论文 前3条

1 ;A Method of Linguistic Truth-valued Reasoning in Risk Assessment[A];Proceedings of the First International Conference on Risk Analysis and Crisis Response[C];2007年

2 赖家俊;潘小东;徐开俊;徐扬;;基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究[A];第六届中国不确定系统年会论文集[C];2008年

3 王国俊;;Fuzzy逻辑与有序代数[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

相关博士学位论文 前9条

1 郭远华;若干逻辑自动推理方法研究[D];华东师范大学;2010年

2 李晓冰;基于语言真值格值逻辑的归结自动推理研究[D];西南交通大学;2008年

3 伊良忠;格蕴涵代数及语言真值不确定性推理研究[D];西南交通大学;2007年

4 薛占熬;柔性区间逻辑及推理研究[D];西北工业大学;2006年

5 周平;基于格蕴涵代数的格值逻辑中的近似推理研究[D];西南交通大学;2007年

6 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年

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

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

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

相关硕士学位论文 前7条

1 朱芳芳;正则剩余格的*-理想及其性质[D];扬州大学;2009年

2 陈晓娟;WDRL半群的研究[D];江南大学;2009年

3 白利军;格蕴涵代数与相关逻辑代数关系的研究[D];西南交通大学;2007年

4 许格妮;偏序集上的S代数及其与若干代数的关系[D];陕西师范大学;2007年

5 刘敏;关于逻辑代数与系统的若干问题研究[D];陕西师范大学;2007年

6 李慧玲;多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度[D];辽宁师范大学;2007年

7 刘新;一种弱BL形式演绎系统及其代数理论[D];昆明理工大学;2003年

【相似文献】

相关期刊论文 前10条

1 王学芳,徐扬,宋振明;格蕴涵代数的单性与周期性[J];西南交通大学学报;2003年01期

2 王学芳,徐扬,宋振明;格蕴涵代数中滤子的若干性质[J];西南交通大学学报;2001年05期

3 刘军,徐扬;格蕴涵代数的滤子与结构[J];科学通报;1997年10期

4 秦克云,徐扬;格蕴涵代数的超滤[J];西南交通大学学报(自然科学版);1999年01期

5 王伟,徐扬,宋振明;格蕴涵代数中滤子的逻辑性质(英文)[J];数学季刊;2001年03期

6 徐扬;格蕴涵代数及基于格蕴涵代数的格值逻辑系统的研究[J];邯郸师专学报;1999年03期

7 宋振明,徐杨;格蕴涵代数上的同余关系[J];应用数学;1997年03期

8 王树泉;S(n)-θ-闭空间与乘积空间[J];曲阜师范大学学报(自然科学版);1997年04期

9 刘用麟;格蕴涵代数的Fuzzy LI—理想(英文)[J];南平师专学报;2004年04期

10 马骏,徐扬;关于格蕴涵代数的余元及结构[J];模糊系统与数学;2005年01期

相关会议论文 前10条

1 秦克云;徐扬;;格蕴涵代数中模糊滤子的若干性质[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

2 陈学友;;德摩根代数上的理想[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

3 苏珂;;优化问题中基于线性系统求解的滤子方法[A];第八届中国青年运筹信息管理学者大会论文集[C];2006年

4 斯钦孟克;;L-ws紧集[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

5 王华;;一种信赖域SQP滤子方法的局部收敛性[A];第八届中国青年运筹信息管理学者大会论文集[C];2006年

6 周武能;;半正则强F紧性[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

7 濮定国;姚红亮;;滤子QP-free方法(英文)[A];中国运筹学会第八届学术交流会论文集[C];2006年

8 濮定国;潘淑珍;;滤子-弱NCP函数SQP方法(英文)[A];中国运筹学会第八届学术交流会论文集[C];2006年

9 潘淑珍;濮定国;;一种新的弱NCP函数SQP滤子方法(英文)[A];第八届中国青年运筹信息管理学者大会论文集[C];2006年

10 杨云;;软代数中的Fuzzy中理想[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

相关重要报纸文章 前1条

1 本报记者 幸福;遇到难题从不绕着走[N];大庆日报;2008年

相关博士学位论文 前10条

1 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年

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

3 夏世芬;基于Petri网模型的归结自动推理研究[D];西南交通大学;2006年

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

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

6 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年

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

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

9 陈树伟;基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究[D];西南交通大学;2006年

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

相关硕士学位论文 前10条

1 张宝华;关于格蕴涵代数性质的研究[D];西南交通大学;2003年

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

3 苏忍锁;剩余格与基于剩余格的几类代数系统的关系[D];陕西师范大学;2004年

4 刘新;一种弱BL形式演绎系统及其代数理论[D];昆明理工大学;2003年

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

6 李宁;Locale的Hausdorff分离公理的滤子式刻划[D];辽宁师范大学;2004年

7 李兴宽;BCK代数与De Morgan等代数的关系研究[D];昆明理工大学;2006年

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

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

10 王福昌;股票价格预测与股票期权定价[D];大连理工大学;2000年

，

本文编号：1709834